kolosick.comTime 2022-10-25 16:13:39
Web Name: kolosick.com
Hello! I’m Matthew Kolosick, and I’m a PhD student studying programming languages at U.C. San Diego with the Programming Systems Group.My current research focuses on finding formal principles and reasoning methods to ensure software security.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.
PublicationsIsolation Without Taxation: Near Zero Cost Transitions for SFIMatthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, and Deian StefanPOPL 2022 • Pdf Popl arXivRefinements of Futures Past: Higher-Order Specification with Implicit Refinement TypesAnish Tondwalkar, Matthew Kolosick, and Ranjit JhalaEcoop 2021 • Ecoop arXiv
<<< Thank you for your visit >>>