Hang analysis: fighting responsiveness bugs. - Xi Wang 005; Zhenyu Guo; Xuezheng Liu; Zhilei Xu; Haoxiang Lin; Xiaoge Wang; Zheng Zhang 001 (EuroSys, 2008)

R2: An Application-Level Kernel for Record and Replay. - Zhenyu Guo; Xi Wang 005; Jian Tang; Xuezheng Liu; Zhilei Xu; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (OSDI, 2008)

Conditional correlation analysis for safe region-based memory management. - Xi Wang 005; Zhilei Xu; Xuezheng Liu; Zhenyu Guo; Xiaoge Wang; Zheng Zhang 001 (PLDI, 2008)

MODIST: Transparent Model Checking of Unmodified Distributed Systems. - Junfeng Yang; Tisheng Chen; Ming Wu 007; Zhilei Xu; Xuezheng Liu; Haoxiang Lin; Mao Yang 004; Fan Long; Lintao Zhang; Lidong Zhou (NSDI, 2009)

Language-based replay via data flow cut. - Ming Wu 007; Fan Long; Xi Wang 005; Zhilei Xu; Haoxiang Lin; Xuezheng Liu; Zhenyu Guo; Huayang Guo; Lidong Zhou; Zheng Zhang 001 (SIGSOFT FSE, 2010)

Data-driven synthesis for object-oriented frameworks. - Kuat Yessenov; Zhilei Xu; Armando Solar-Lezama (OOPSLA, 2011)

Tracking Rootkit Footprints with a Practical Memory Analysis System. - Weidong Cui; Marcus Peinado; Zhilei Xu; Ellick Chan (USENIX Security Symposium, 2012)

MSL: A Synthesis Enabled Language for Distributed Implementations. - Zhilei Xu; Shoaib Kamil 001; Armando Solar-Lezama (SC, 2014)

Modular Synthesis of Sketches Using Models. - Rohit Singh 002; Rishabh Singh; Zhilei Xu; Rebecca Krosnick; Armando Solar-Lezama (VMCAI, 2014)

MSL: a synthesis enabled language for distributed high performance computing implementations. - Zhilei Xu (2016)

基于图的高维数据分类Ratio Cut模型及其快速算法 (Graph-based Ratio Cut Model for Classification of High-dimensional Data and Fast Algorithm). - Shixiu Zheng; Zhenkuan Pan 001; Zhilei Xu (计算机科学, 2018)

Comparisons of different methods for balanced data classification under the discrete non-local total variational framework. - Shixiu Zheng; Zhilei Xu; Huan Yang 001; Jintao Song; Zhenkuan Pan 001 (Math. Found. Comput., 2019)

A time-varying neural network for solving minimum spanning tree problem on time-varying network. - Zhilei Xu; Wei Huang 008; Jinsong Wang (Neurocomputing, 2021)

PPMLAC: high performance chipset architecture for secure multi-party computation. - Xing Zhou; Zhilei Xu; Cong Wang; Mingyu Gao 001 (ISCA, 2022)

A wave time-varying neural network for solving the time-varying shortest path problem. - Zhilei Xu; Wei Huang 008; Jinsong Wang (Appl. Intell., 2022)

The minimum regret path problem on stochastic fuzzy time-varying networks. - Wei Huang 008; Zhilei Xu; Liehuang Zhu (Neural Networks, 2022)

Hybrid Ensemble Polynomial Neural Network Classifier: Analysis and Design. - Mingjie Gao; Wei Huang 008; Zhilei Xu; Sung-Kwun Oh (CSCWD, 2024)

Temporal Sequential Wave Neural Network for Solving the Optimal Cognitive Subgraph Query Problem. - Jiaqian Bi; Zhilei Xu; Qing Yu (ICIC (3), 2024)

An adaptive time-varying neural network for solving K optimal time-varying destroy locations query problem. - Zhilei Xu; Wei Huang 008 (Knowl. Based Syst., 2024)

Multi-label learning with incomplete labels via dual manifold mappings. - Rui Huang 004; Zhilei Xu (Int. J. Mach. Learn. Cybern., 2024)