Minsung’s Homepage

CV | GitHub | minsung AT ccs DOT neu DOT edu

I’m a 2nd year PhD student at the amazing Programming Research Laboratory at Northeastern University, working with Steven Holtzen.

I received my BS from Carnegie Mellon University, where I was advised by Jeremy Avigad.

My interests are primarily in programming languages and artificial intelligence. I build bridges between knowledge compilation and probabilistic program semantics.

I’m also interested in the following things, in no particular order:

I’m a first-generation Korean American. My Erdős number is 5. According to David Savitt’s Springer GTM personality quiz, I am Mac Lane’s Categories for the Working Mathematician.


I have an old paper from undergrad from when I was at the UTC Math REU. It’s published in Opuscula Mathematica.


Scaling Decision-Theoretic Probabilistic Programs Through Factorization.
🏆 PLDI SRC First Place.
PLDI 2023