Follow
Jingyue Wu
Jingyue Wu
Verified email at nvidia.com - Homepage
Title
Cited by
Cited by
Year
Stable deterministic multithreading through schedule memoization
H Cui
9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010
1542010
Efficient deterministic multithreading through schedule relaxation
H Cui, J Wu, J Gallagher, H Guo, J Yang
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
1092011
Verifying systems rules using rule-directed symbolic execution
H Cui, G Hu, J Wu, J Yang
ACM SIGPLAN Notices 48 (4), 329-342, 2013
922013
gpucc: an open-source GPGPU compiler
J Wu, A Belevich, E Bendersky, M Heffernan, C Leary, J Pienaar, B Roune, ...
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
902016
Bypassing races in live applications with execution filters
J Wu, H Cui, J Yang
9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010
742010
Optimizing Data Partitioning for {Data-Parallel} Computing
Q Ke, V Prabhakaran, Y Xie, Y Yu, J Wu, J Yang
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011
502011
Sound and precise analysis of parallel programs through schedule specialization
J Wu, Y Tang, G Hu, H Cui, J Yang
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
482012
Making parallel programs reliable with stable multithreading
J Yang, H Cui, J Wu, Y Tang, G Hu
Communications of the ACM 57 (3), 58-69, 2014
462014
Optimizing data partitioning for data-parallel computing
Q Ke, V Prabhakaran, Y Xie, Y Yu, J Wu, J Yang
US Patent 9,235,396, 2016
432016
Effective dynamic detection of alias analysis errors
J Wu, G Hu, Y Tang, J Yang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
302013
Methods, systems, and media for providing determinism in multithreaded programs
J Yang, H Cui, J Wu
US Patent 9,454,460, 2016
222016
Loop and library fusion
E Bendersky, R Hundt, M Heffernan, J Wu
US Patent 9,798,527, 2017
172017
Methods, systems, and media for protecting applications from races
J Yang, H Cui, J Wu
US Patent 9,038,048, 2015
142015
Determinism is overrated: What really makes multithreaded programs hard to get right and what can be done about it
J Yang, H Cui, J Wu
5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13), 2013
132013
Executing computational graphs on graphics processing units
J Wu, CD Leary
US Patent App. 16/433,819, 2019
2019
Executing computational graphs on graphics processing units
J Wu, CD Leary
US Patent 10,325,340, 2019
2019
Methods, Systems, and Media for Protecting Applications from Races
J Yang, J Wu, H Cui
US Patent App. 14/681,872, 2015
2015
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters
J Wu
Columbia University, 2014
2014
Make Parallel Programs Reliable with Stable Multithreading
J Wu, G Hu, Y Tang, J Yang, H Cui, J Gallagher, CC Tsai
2013
Making Parallel Programs Reliable with Stable Multithreading Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope …
J Yang, H Cui, J Wu, Y Tang, G Hu
The system can't perform the operation now. Try again later.
Articles 1–20