Journal Papers

• Session-Typed Concurrent Contracts, Hannah Gommerstadt, Limin Jia, Frank Pfenning. Journal of Logical and Algebraic Methods in Programming (JLAMP),124 (2022) 100731.

Conference Papers

• Session-Typed Concurrent Contracts, Hannah Gommerstadt, Limin Jia, Frank Pfenning. European Symposium on Programming (ESOP) 2018. Thessaloniki, Greece, Apr 2018. [Slides]
• Monitoring and Blame Assignment for Higher-Order Session Types, Limin Jia, Hannah Gommerstadt, Frank Pfenning. Principles of Programming Languages (POPL) 2016. Saint Petersburg, FL, Jan 2016. [Slides]

Theses

• Concurrent Communication Contracts. Hannah Gommerstadt. Ph.D. Thesis, Computer Science Department, Carnegie Mellon University. Advised by Frank Pfenning and Limin Jia. September 2019. [Slides]
• Securing Public-key Cryptography on the Android Platform. Hannah Gommerstadt. Senior Honors Thesis, Computer Science Department, Harvard University. Advised by Stephen Chong and Aslan Askarov. March 2013. [Slides]