Choreographing Effects
Jonghyun Jung*, Cong Ma*, Yizhou Zhang
I’m an independent compiler researcher based in Pittsburgh. If you’re in town, I’d be happy to meet for coffee and chat about research. I'm also looking for camping/fishing/climbing buddies in the Pittsburgh area.
I earned my PhD from the University of Waterloo, where I worked with Yizhou Zhang on compiling lexical effect handlers through Lexa, a research language we developed. Before that, I worked with Danfeng Zhang at Penn State University on PL + security.
Publications
Virtualizing Continuations
Cong Ma, Jonghyun Jung, Yizhou Zhang
Lexical Effect Handlers: Fast by Design, Correct by Proof
Cong Ma
Zero-Overhead Lexical Effect Handlers
Cong Ma, Zhaoyi Ge, Jonghyun Jung, Yizhou Zhang
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
Talks
Virtualizing Continuations
Lexical Effect Handlers: Fast by Design, Correct by Proof
Zero-Cost Lexical Effect Handlers
Lexical Effect Handlers, Directly
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Awards
- 2025/2026 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