Journal Papers
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