| Stable deterministic multithreading through schedule memoization H Cui 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010 | 154 | 2010 |
| 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 | 110 | 2011 |
| Verifying systems rules using rule-directed symbolic execution H Cui, G Hu, J Wu, J Yang ACM SIGPLAN Notices 48 (4), 329-342, 2013 | 93 | 2013 |
| 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 | 90 | 2016 |
| 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 | 75 | 2010 |
| 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 | 50 | 2011 |
| 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 | 48 | 2012 |
| 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 | 46 | 2014 |
| 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 | 45 | 2016 |
| 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 | 31 | 2013 |
| Methods, systems, and media for providing determinism in multithreaded programs J Yang, H Cui, J Wu US Patent 9,454,460, 2016 | 22 | 2016 |
| Loop and library fusion E Bendersky, R Hundt, M Heffernan, J Wu US Patent 9,798,527, 2017 | 17 | 2017 |
| Methods, systems, and media for protecting applications from races J Yang, H Cui, J Wu US Patent 9,038,048, 2015 | 14 | 2015 |
| 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 | 13 | 2013 |
| 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 | | |
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityEmail verificata su cs.columbia.edu