Παρακολούθηση
Zhilei Xu
Zhilei Xu
Shanghai Jiao Tong University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csail.mit.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
3322009
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
2392008
Tracking Rootkit Footprints with a Practical Memory Analysis System.
W Cui, M Peinado, Z Xu, E Chan
USENIX Security Symposium, 601-615, 2012
662012
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
362008
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
302014
Data-driven synthesis for object-oriented frameworks
K Yessenov, Z Xu, A Solar-Lezama
ACM SIGPLAN Notices 46 (10), 65-82, 2011
292011
PPMLAC: high performance chipset architecture for secure multi-party computation
X Zhou, Z Xu, C Wang, M Gao
International Symposium on Computer Architecture, 2022
232022
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
212010
MSL: a synthesis enabled language for distributed implementations
Z Xu, S Kamil, A Solar-Lezama
High Performance Computing, Networking, Storage and Analysis, SC14 …, 2014
172014
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
172012
Demand-driven analysis of pointers for software program analysis and debugging
W Cui, M Peinado, Z Xu
US Patent 8,589,888, 2013
162013
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
102008
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–15