Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton. - Xudong Zheng; Jinglei Ren; Xiaojuan Zheng; Yonglong Wei; Chen Sun (CSA, 2009)

Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code. - Yonglong Wei; Xiaojuan Zheng; Jinglei Ren; Xudong Zheng; Chen Sun; Zhenhao Li (FGIT-SecTech, 2009)

AI: a lightweight system for tolerating concurrency bugs. - Mingxing Zhang; Yongwei Wu 001; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Weimin Zheng (SIGSOFT FSE, 2014)

Quatrain: Accelerating Data Aggregation between Multiple Layers. - Jinglei Ren; Yongwei Wu 001; Meiqi Zhu; Weimin Zheng (IEEE Trans. Computers, 2014)

NO2: Speeding up Parallel Processing of Massive Compute-Intensive Tasks. - Yongwei Wu 001; Weichao Guo; Jinglei Ren; Xun Zhao; Weimin Zheng (IEEE Trans. Computers, 2014)

ThyNVM: enabling software-transparent crash consistency in persistent memory systems. - Jinglei Ren; Jishen Zhao; Samira Manabi Khan; Jongmoo Choi; Yongwei Wu 001; Onur Mutlu (MICRO, 2015)

Memory-Centric Data Storage for Mobile Systems. - Jinglei Ren; Chieh-Jan Mike Liang; Yongwei Wu 001; Thomas Moscibroda (USENIX ATC, 2015)

Fixing, preventing, and recovering from concurrency bugs. - Dongdong Deng; Guoliang Jin; Marc de Kruijf; Ang Li; Ben Liblit; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Karthikeyan Sankaralingam; Linhai Song; Yongwei Wu 001; Mingxing Zhang; et al. (Sci. China Inf. Sci., 2015)

Managing Hybrid Main Memories with a Page-Utility Driven Performance Model. - Yang Li 183; Jongmoo Choi; Jin Sun; Saugata Ghose; Hui Wang; Justin Meza; Jinglei Ren; Onur Mutlu (CoRR, 2015)

Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. - Srinath T. V. Setty; Chunzhi Su; Jacob R. Lorch; Lidong Zhou; Hao Chen 030; Parveen Patel; Jinglei Ren (OSDI, 2016)

A Lightweight System for Detecting and Tolerating Concurrency Bugs. - Mingxing Zhang; Yongwei Wu 001; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Weimin Zheng (IEEE Trans. Software Eng., 2016)

Programming for Non-Volatile Main Memory Is Hard. - Jinglei Ren; Qingda Hu; Samira Manabi Khan; Thomas Moscibroda (APSys, 2017)

DudeTM: Building Durable Transactions with Decoupling for Persistent Memory. - Mengxing Liu; Mingxing Zhang; Kang Chen; Xuehai Qian; Yongwei Wu 001; Weimin Zheng; Jinglei Ren (ASPLOS, 2017)

Log-Structured Non-Volatile Main Memory. - Qingda Hu; Jinglei Ren; Anirudh Badam; Jiwu Shu; Thomas Moscibroda (USENIX ATC, 2017)

Crash Consistency in Encrypted Non-volatile Main Memory Systems. - Sihang Liu 001; Aasheesh Kolli; Jinglei Ren; Samira Manabi Khan (HPCA, 2018)

Towards quantifying the development value of code contributions. - Jinglei Ren; Hezheng Yin; Qingda Hu; Armando Fox; Wojciech Koszek (ESEC/SIGSOFT FSE, 2018)

DudeTx: Durable Transactions Made Decoupled. - Mengxing Liu; Mingxing Zhang; Kang Chen; Xuehai Qian; Yongwei Wu 001; Weimin Zheng; Jinglei Ren (ACM Trans. Storage, 2018)

Dual-Page Checkpointing: An Architectural Approach to Efficient Data Persistence for In-Memory Applications. - Song Wu 001; Fang Zhou; Xiang Gao; Hai Jin 001; Jinglei Ren (ACM Trans. Archit. Code Optim., 2019)