Zhilei Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSCWD | Hybrid Ensemble Polynomial Neural Network Classifier: Analysis and Design. | Mingjie Gao, Wei Huang, Zhilei Xu, Sung-Kwun Oh |
| 2022 | ISCA | PPMLAC: high performance chipset architecture for secure multi-party computation. | Xing Zhou, Zhilei Xu, Cong Wang, Mingyu Gao |
| 2014 | SC | MSL: A Synthesis Enabled Language for Distributed Implementations. | Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama |
| 2014 | VMCAI | Modular Synthesis of Sketches Using Models. | Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama |
| 2011 | OOPSLA | Data-driven synthesis for object-oriented frameworks. | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
| 2009 | NSDI | 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 |
| 2008 | EuroSys | Hang analysis: fighting responsiveness bugs. | Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang |
| 2008 | OSDI | 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 |
| 2008 | PLDI | Conditional correlation analysis for safe region-based memory management. | Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang |