Uniqueness and reference immutability for safe parallelism. - Colin S. Gordon; Matthew J. Parkinson; Jared Parsons; Aleks Bromfield; Joe Duffy (OOPSLA, 2012)

Static lock capabilities for deadlock freedom. - Colin S. Gordon; Michael D. Ernst; Dan Grossman (TLDI, 2012)

Java UI : Effects for Controlling UI Object Access. - Colin S. Gordon; Werner Dietl; Michael D. Ernst; Dan Grossman (ECOOP, 2013)

Rely-guarantee references for refinement types over aliased mutable data. - Colin S. Gordon; Michael D. Ernst; Dan Grossman (PLDI, 2013)

Verifying Concurrent Programs by Controlling Alias Interference. - Colin S. Gordon (2014)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems. - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (ECOOP, 2016)

Type inference for static compilation of JavaScript. - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (OOPSLA, 2016)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (CoRR, 2016)

Type Inference for Static Compilation of JavaScript (Extended Version). - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (CoRR, 2016)

A Generic Approach to Flow-Sensitive Polymorphic Effects. - Colin S. Gordon (ECOOP, 2017)

A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version). - Colin S. Gordon (CoRR, 2017)

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. - Colin S. Gordon; Michael D. Ernst; Dan Grossman; Matthew J. Parkinson (ACM Trans. Program. Lang. Syst., 2017)

Generating comments from source code with CCGs. - Sergey Matskevich; Colin S. Gordon (NL4SE@ESEC/SIGSOFT FSE, 2018)

Synthesizing Program-Specific Static Analyses. - Colin S. Gordon (CoRR, 2018)

Sequential Effect Systems with Control Operators. - Colin S. Gordon (CoRR, 2018)

Modal assertions for actor correctness. - Colin S. Gordon (AGERE!@SPLASH, 2019)

Safe Deferred Memory Reclamation with Types. - Ismail Kuru 001; Colin S. Gordon (ESOP, 2019)

Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). - Colin S. Gordon (ECOOP, 2020)

Lifting Sequential Effects to Control Operators. - Colin S. Gordon (ECOOP, 2020)

Designing with Static Capabilities and Effects: Use, Mention, and Invariants. - Colin S. Gordon (CoRR, 2020)

Polymorphic Iterable Sequential Effect Systems. - Colin S. Gordon (ACM Trans. Program. Lang. Syst., 2021)

Towards Property-Based Tests in Natural Language. - Colin S. Gordon (ICSE (NIER), 2022)

Natural Language Specifications in Proof Assistants. - Colin S. Gordon; Sergey Matskevich (CoRR, 2022)

Preprocessing Source Code Comments for Linguistic Models. - Sergey Matskevich; Colin S. Gordon (CoRR, 2022)

Trustworthy Formal Natural Language Specifications. - Colin S. Gordon; Sergey Matskevich (Onward!, 2023)

Error Localization for Sequential Effect Systems. - Colin S. Gordon; Chaewon Yun (SAS, 2023)

Modal Abstractions for Virtualizing Memory Addresses. - Ismail Kuru 001; Colin S. Gordon (CoRR, 2023)

Error Localization for Sequential Effect Systems (Extended Version). - Colin S. Gordon; Chaewon Yun (CoRR, 2023)

The Linguistics of Programming. - Colin S. Gordon (Onward!, 2024)

Mocking Temporal Logic. - Colin S. Gordon (SPLASH-E, 2024)

Actor Capabilities for Message Ordering (Extended Version). - Colin S. Gordon (CoRR, 2025)

Modal Verification Patterns for Systems. - Ismail Kuru 001; Colin S. Gordon (CoRR, 2025)