Cong Ma

Research Interests

I study programming languages, and I'm advised by Yizhou Zhang.

I'm currently working on extending stack-based typed assembly to handle multiple stacks, and using this language as the compilation target for a high-level language with algebraic effects.

Before that, I worked on security and programming language at Penn State University, advised by Danfeng Zhang

Peer-Reviewed Publications

OOPSLA 2023

Quantifying and Mitigating Cache Side Channel Leakage with Differential Set

Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang

[ full paper | implementation ]

Teaching Assistant

CMPSC 311, Introduction to Systems Programming

CSE 541: Database Systems I

Awards

PSU CSE Graduate Student Teaching Assistant Award ($100)

University of Waterloo Research Dissemination Award

Misc

I spent a year working on distributed system reliability at DoorDash. You can read a blog post here.