Zhilei Xu

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 6

Top Venues

VMCAI

Math. Found. Comput.

Appl. Intell.

ISCA

Massachusetts Institute of Technology, Cambridge, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, USA

PHD

Publications

Xing Zhou, Zhilei Xu, Cong Wang, Mingyu Gao
PPMLAC: high performance chipset architecture for secure multi-party computation. ISCA (2022)
Zhilei Xu, Wei Huang, Jinsong Wang
A wave time-varying neural network for solving the time-varying shortest path problem. Appl. Intell. 52 (7) (2022)
Wei Huang, Zhilei Xu, Liehuang Zhu
The minimum regret path problem on stochastic fuzzy time-varying networks. Neural Networks 153 (2022)
Zhilei Xu, Wei Huang, Jinsong Wang
A time-varying neural network for solving minimum spanning tree problem on time-varying network. Neurocomputing 466 (2021)
Shixiu Zheng, Zhilei Xu, Huan Yang, Jintao Song, Zhenkuan Pan
Comparisons of different methods for balanced data classification under the discrete non-local total variational framework. Math. Found. Comput. 2 (1) (2019)
Shixiu Zheng, Zhenkuan Pan, Zhilei Xu
基于图的高维数据分类Ratio Cut模型及其快速算法 (Graph-based Ratio Cut Model for Classification of High-dimensional Data and Fast Algorithm). 计算机科学 45 (6A) (2018)
Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama
MSL: A Synthesis Enabled Language for Distributed Implementations. SC (2014)
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
Modular Synthesis of Sketches Using Models. VMCAI (2014)
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Tracking Rootkit Footprints with a Practical Memory Analysis System. USENIX Security Symposium (2012)
Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama
Data-driven synthesis for object-oriented frameworks. OOPSLA (2011)
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
Language-based replay via data flow cut. SIGSOFT FSE (2010)
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI (2009)
Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang
Hang analysis: fighting responsiveness bugs. EuroSys (2008)
Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
R2: An Application-Level Kernel for Record and Replay. OSDI (2008)
Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang
Conditional correlation analysis for safe region-based memory management. PLDI (2008)

Zhilei Xu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhilei Xu