| 2024 | ACSAC | Assessing UAV Sensor Spoofing: More Than A GNSS Problem. | Bailey Srimoungchanh, J. Garrett Morris, Drew Davidson |
| 2022 | HASKELL | Partial type constructors in practice. | Apoorv Ingle, Alex Hubers, J. Garrett Morris |
| 2021 | CONCUR | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2019 | Coordination | Towards Races in Linear Logic. | Wen Kokke, J. Garrett Morris, Philip Wadler |
| 2017 | ECOOP | Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. | Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
| 2016 | HASKELL | Embedding session types in Haskell. | Sam Lindley, J. Garrett Morris |
| 2016 | ICFP | Talking bananas: structural recursion for session types. | Sam Lindley, J. Garrett Morris |
| 2016 | ICFP | The best of both worlds: linear functional programming without compromise. | J. Garrett Morris |
| 2015 | ESOP | A Semantics for Propositions as Sessions. | Sam Lindley, J. Garrett Morris |
| 2015 | HASKELL | Variations on variants. | J. Garrett Morris |
| 2014 | HASKELL | A simple semantics for Haskell overloading. | J. Garrett Morris |
| 2010 | HASKELL | Experience report: using hackage to inform language design. | J. Garrett Morris |
| 2010 | ICFP | Instance chains: type class programming without overlapping instances. | J. Garrett Morris, Mark P. Jones |