Matthew Kolosick

Hello! I’m Matthew Kolosick, and I’m a PhD student studying programming languages at U.C. San Diego with the Programming Systems Group. Previously I was a bachelor’s student at Northeastern University working with Amal Ahmed on compositional compiler correctness. Sometimes I accidentally make things that people use.


You can find me on Twitter and Github. The best way to reach me is by email at


Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, and Deian Stefan
in submission • arXiv
Anish Tondwalkar, Matthew Kolosick, and Ranjit Jhala
Ecoop 2021 • arXiv