Runming Li

School of Computer Science
Carnegie Mellon University

Email: runmingl [at] andrew [dot] cmu [dot] edu

Hi there,

I'm an undergraduate at School of Computer Science, Carnegie Mellon University. I major in Computer Science, with a concentration in Principles of Programming Languages. Broadly my research interests are in type theory, programming languages, logic, and formal verification.

Lately my research focuses on formally verifying cost analysis of parallel algorithms and data structures, under the cost aware logical framework (calf).

I had some experience working in the industry as a software engineering intern at Amazon and CertiK, where I worked on DSL compilers and blockchain static analysis, respectively.

I also have interest and experience in teaching functional programming. I worked as a teaching assistant at CMU for three different courses over the past six semesters, all of which have an emphasis on functional programming.

My favorite programming language is Standard ML.

Here are some links: LinkedIn, GitHub, CV, Google Scholar.

Paper

• A Verified Cost Analysis of Joinable Red-Black Trees
  Runming Li, Harrison Grodin, and Robert Harper
  Preprint 2023 (paper)

• What's in a Name? Linear Temporal Logic Literally Represents Time Lines
  Runming Li*, Keerthana Gurushankar*, Marijn Heule, and Kristin-Yvonne Rozier
  VISSOFT 2023 (paper, slide, artifact)
  

Teaching

• Instructor (Fall 2023): 98-317 Hype for Types
• Teaching Assistant (Fall 2023): 15-312/15-652 Foundations of Programming Languages
• Instructor (Spring 2023): 98-317 Hype for Types
• Teaching Assistant (Spring 2023): 15-312/15-652 Foundations of Programming Languages
• Instructor (Fall 2022): 98-317 Hype for Types
• Teaching Assistant (Fall 2022): 15-312/15-652 Foundations of Programming Languages
• Instructor (Spring 2022): 98-317 Hype for Types
• Teaching Assistant (Spring 2022): 15-317/15-657 Constructive Logic
• Teaching Assistant (Fall 2021): 15-150 Principles of Functional Programming
• Teaching Assistant (Spring 2021): 15-150 Principles of Functional Programming

Work Experience

• Software Engineering Internship (Summer 2023) at Amazon
• Software Engineering Internship (Summer 2022) at CertiK

Research

• I am currently working with Professor Bob Harper and his Ph.D. student Harrison Grodin on formally verifying cost of parallel algorithms and data structures.
• I worked with Professor Marijn Heule and Professor Kristin Yvonne Rozier, where I worked on a visual representation tool for linear temporal logic. Publication at VISSOFT 2023.
• I worked with Professor Jan Hoffman, where I worked on a linearly typed intermediate representation of resource-aware ML.