Zhilei Xu

According to our database, Zhilei Xu authored at least 16 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

The minimum regret path problem on stochastic fuzzy time-varying networks.

Wei Huang, Zhilei Xu, Liehuang Zhu

Neural Networks, 2022

A wave time-varying neural network for solving the time-varying shortest path problem.

Zhilei Xu, Wei Huang, Jinsong Wang

Appl. Intell., 2022

PPMLAC: high performance chipset architecture for secure multi-party computation.

Xing Zhou, Zhilei Xu, Cong Wang, Mingyu Gao

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

2021

A time-varying neural network for solving minimum spanning tree problem on time-varying network.

Zhilei Xu, Wei Huang, Jinsong Wang

Neurocomputing, 2021

2019

Comparisons of different methods for balanced data classification under the discrete non-local total variational framework.

Shixiu Zheng, Zhilei Xu, Huan Yang, Jintao Song, Zhenkuan Pan

Math. Found. Comput., 2019

2018

基于图的高维数据分类Ratio Cut模型及其快速算法 (Graph-based Ratio Cut Model for Classification of High-dimensional Data and Fast Algorithm).

Shixiu Zheng, Zhenkuan Pan, Zhilei Xu

计算机科学, 2018

2016

MSL: a synthesis enabled language for distributed high performance computing implementations.

Zhilei Xu

PhD thesis, 2016

2014

Modular Synthesis of Sketches Using Models.

Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

MSL: A Synthesis Enabled Language for Distributed Implementations.

Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama

Proceedings of the International Conference for High Performance Computing, 2014

2012

Tracking Rootkit Footprints with a Practical Memory Analysis System.

Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2011

Data-driven synthesis for object-oriented frameworks.

Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Language-based replay via data flow cut.

Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

MODIST: Transparent Model Checking of Unmodified Distributed Systems.

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Conditional correlation analysis for safe region-based memory management.

Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

R2: An Application-Level Kernel for Record and Replay.

Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Hang analysis: fighting responsiveness bugs.

Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008