| 2025 | PLOS | Modal Verification Patterns for Systems Software. | Ismail Kuru, Colin S. Gordon |
| 2024 | Onward | The Linguistics of Programming. | Colin S. Gordon |
| 2023 | Onward | Trustworthy Formal Natural Language Specifications. | Colin S. Gordon, Sergey Matskevich |
| 2023 | SAS | Error Localization for Sequential Effect Systems. | Colin S. Gordon, Chaewon Yun |
| 2022 | ICSE | Towards Property-Based Tests in Natural Language. | Colin S. Gordon |
| 2020 | ECOOP | Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). | Colin S. Gordon |
| 2020 | ECOOP | Lifting Sequential Effects to Control Operators. | Colin S. Gordon |
| 2019 | ESOP | Safe Deferred Memory Reclamation with Types. | Ismail Kuru, Colin S. Gordon |
| 2017 | ECOOP | A Generic Approach to Flow-Sensitive Polymorphic Effects. | Colin S. Gordon |
| 2016 | ECOOP | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. | Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2013 | ECOOP | Java UI : Effects for Controlling UI Object Access. | Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
| 2013 | PLDI | Rely-guarantee references for refinement types over aliased mutable data. | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
| 2012 | OOPSLA | Uniqueness and reference immutability for safe parallelism. | Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy |