Mingkai Li
 |
E-mail: mingkai.li@columbia.edu |
About Me
I am a 1st-year Ph.D. student at Columbia University, advised by Tanvir Ahmed Khan. My research interests lie in improving system security and reliability by combining insights from operating systems, computer architecture, and machine learning. I also work closely with Suman Jana at Columbia and Joe Devietti at UPenn.
I received my B.Eng. in Computer Science at University of Science and Technology of China (USTC). Before joining Columbia, I was fortunate to work with Prateek Saxena and Trevor E. Carlson at National University of Singapore (NUS) and Xianghang Mi at USTC.
Education
Columbia University, Ph.D. Student
University of Science and Technology of China (USTC), B.Eng.
Work Experience
National University of Singapore, Singapore
Research Intern, Mentor: Prateek Saxena, 2023.01 - 2024.04
Publications
Caplification: Bridging Capability-Aware and Capability-Oblivious Software [pdf] [code] [ISA spec]
Jason Zhijingcheng Yu, Mingkai Li, Aditya Badole, Trevor E. Carlson, Michael Swift, Prateek Saxena
The 30th ACM Symposium on Access Control Models and Technologies (SACMAT), 2025
TransMap: Pinpointing Mistakes in Neural Code Translation [pdf] [code]
Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena
The 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023
Teaching
CSEE 4119: Computer Networks (with Prof. Ethan Katz-Bassett), Teaching Assistant, Fall 2024