![]() |
E-mail: mingkai.li@columbia.edu Google Scholar | Curriculum Vitae |
I'm Mingkai Li, a first year Ph.D. student at Columbia University, advised by Prof. Tanvir Ahmed Khan. My research interests lie in ensuring the security, correctness and reliability of computer systems. I've been working on architectural support for memory safety, such as CAPSTONE-RISC-V.
During my undergraduate study at University of Science and Technology of China (USTC), I worked with Prof. Prateek Saxena and Prof. Trevor E. Carlson at Nation University of Singapore and Prof. Xianghang Mi at USTC.
Ph.D., Columbia University, 2024 - present
B.Eng., University of Science and Technology of China (USTC), 2019 - 2023
Research Intern, Security Lab, National University of Singapore, Jan 2023 - May 2024
Mentor: Prof. Prateek Saxena
TransMap: Pinpointing Mistakes in Neural Code Translation [pdf] [html] [code]
Bo Wang, Ruishi Li, Mingkai Li*, Prateek Saxena
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023
Teaching Assistant of CSEE 4119: Computer Networks (with Prof. Ethan Katz-Bassett), Fall 2024
Hang Ye, M.S. student, Columbia University, 2024 - now