| MODIST: Transparent model checking of unmodified distributed systems J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ... Proc. of USENIX Symposium on Networked Systems Design & Implementation (NSDI), 2009 | 332 | 2009 |
| R2: An application-level kernel for record and replay Z Guo, X Wang, J Tang, X Liu, Z Xu, M Wu, MF Kaashoek, Z Zhang Proceedings of the 8th USENIX conference on Operating systems design and …, 2008 | 239 | 2008 |
| Tracking Rootkit Footprints with a Practical Memory Analysis System. W Cui, M Peinado, Z Xu, E Chan USENIX Security Symposium, 601-615, 2012 | 66 | 2012 |
| Hang analysis: Fighting responsiveness bugs X Wang, Z Guo, X Liu, Z Xu, H Lin, X Wang, Z Zhang ACM SIGOPS Operating Systems Review 42 (4), 177-190, 2008 | 36 | 2008 |
| Modular synthesis of sketches using models R Singh, R Singh, Z Xu, R Krosnick, A Solar-Lezama International Conference on Verification, Model Checking, and Abstract …, 2014 | 31 | 2014 |
| Data-driven synthesis for object-oriented frameworks K Yessenov, Z Xu, A Solar-Lezama ACM SIGPLAN Notices 46 (10), 65-82, 2011 | 29 | 2011 |
| PPMLAC: high performance chipset architecture for secure multi-party computation X Zhou, Z Xu, C Wang, M Gao International Symposium on Computer Architecture, 2022 | 23 | 2022 |
| Language-based replay via data flow cut M Wu, F Long, X Wang, Z Xu, H Lin, X Liu, Z Guo, H Guo, L Zhou, Z Zhang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 21 | 2010 |
| MSL: a synthesis enabled language for distributed implementations Z Xu, S Kamil, A Solar-Lezama High Performance Computing, Networking, Storage and Analysis, SC14 …, 2014 | 17 | 2014 |
| Automatic Program Partition For Targeted Replay M Wu, F Long, Z Xu, X Liu, H Lin, Z Guo, Z Zhang, L Zhou US Patent App. 12/951,253, 2012 | 17 | 2012 |
| Demand-driven analysis of pointers for software program analysis and debugging W Cui, M Peinado, Z Xu US Patent 8,589,888, 2013 | 16 | 2013 |
| Conditional correlation analysis for safe region-based memory management X Wang, Z Xu, X Liu, Z Guo, X Wang, Z Zhang ACM SIGPLAN Notices 43 (6), 45-55, 2008 | 10 | 2008 |
| MSL: a synthesis enabled language for distributed high performance computing implementations Z Xu Massachusetts Institute of Technology, 2016 | | 2016 |
| Synthesizing framework uses from program behavior data Z Xu Massachusetts Institute of Technology, 2011 | | 2011 |
| Language-Based Replay via Data Flow Cut F Long, M Wu, X Wang, Z Xu, H Lin, X Liu, Z Guo, H Guo, L Zhou, Z Zhang | | |
Ming WuMicrosoft Researchยืนยันอีเมลแล้วที่ microsoft.com
