Runming Li

School of Computer Science
Carnegie Mellon University

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

Hi there,

I'm a student at School of Computer Science, Carnegie Mellon University. I major in Computer Science, with a concentration in Principles of Programming Languages. My broad interests are in type theory, programming language theory, and logic.

In summer 2022, I worked as a Software Engineering Intern at Certik, where my work mainly focused on performing static analysis on smart contracts from blockchains to automate vulnerability detection.

In summer 2023, I worked as a Software Engineering Intern at Amazon, where my work mainly focused on designing and implementing compilers and interpreters for DSL targeting orchestration pattern.

Academically speaking, I do research in programming language theory and logic. My latest research is with Professor Bob Harper on formally verifying cost of algorithms and data structures. Besides that, I am a functional programming enjoyer, and I spent significant amount of time in college TAing and teaching a variety of courses, all of which teach/use functional languages.

Here are some links about me: LinkedIn, GitHub, CV.

Paper

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

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

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 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. Paper to appear in VISSOFT 2023.
• I worked with Professor Jan Hoffman, where I worked on a linearly typed intermediate representation of resource-aware ML.