Virtualizing Continuations
In SubmissionCong Ma, Max Jung, Yizhou Zhang
After my PhD, I'm looking for roles that value principled systems work and fast execution toward real impact. Reach out if you know of interesting opportunities.
I study programming languages, advised by Yizhou Zhang. Previously, I worked on security and PL at Penn State University with Danfeng Zhang.
My doctoral research centers on compilation of lexical effect handlers, built around our own research language, Lexa.
Publications
Lexical Effect Handlers: Fast by Design, Correct by Proof
Doctoral Symposium 25Cong Ma
Zero-Overhead Lexical Effect Handlers
OOPSLA 2025Cong Ma, Zhaoyi Ge, Max Jung, Yizhou Zhang
Lexical Effect Handlers, Directly
OOPSLA 2024Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
OOPSLA 2023Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
Talks
Awards
- 2025 SIGPLAN PAC Travel Grant
- David R. Cheriton Graduate Scholarship
- 2024 OPLSS Fellowship Grant
- 2024 MWPLS Travel Grant
- PSU CSE Teaching Assistant Award
Service
Organizer: Ontario Programming Languages Seminar (ONPLS) 2025