Colin S. Gordon

43 papers A* 2A 8B 1Journal 22Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Actor Capabilities for Message Ordering.
Concurrent Programming, Open Systems and Formal Methods
Colin S. Gordon
2025 J jnl
Actor Capabilities for Message Ordering (Extended Version).
CoRR
Colin S. Gordon
2025 J jnl
Changing of the Seasons at TOPLAS.
ACM Trans. Program. Lang. Syst.
Colin S. Gordon
2025 A* conf
Linguistic Theories Coincide with Misformalization in Temporal Logic.
ASE
Colin S. Gordon
2025 J jnl
Modal Abstractions for Virtualizing Memory Addresses.
Proc. ACM Program. Lang.
Ismail Kuru, Colin S. Gordon
2025 — conf
Modal Verification Patterns for Systems Software.
PLOS@SOSP
Ismail Kuru, Colin S. Gordon
2025 J jnl
Modal Verification Patterns for Systems.
CoRR
Ismail Kuru, Colin S. Gordon
2025 J jnl
Squibs and Discussions at TOPLAS.
ACM Trans. Program. Lang. Syst.
Colin S. Gordon
2024 — conf
Mocking Temporal Logic.
SPLASH-E
Colin S. Gordon
2024 — conf
The Linguistics of Programming.
Onward!
Colin S. Gordon
2023 J jnl
Error Localization for Sequential Effect Systems (Extended Version).
CoRR
Colin S. Gordon, Chaewon Yun
2023 B conf
Error Localization for Sequential Effect Systems.
SAS
Colin S. Gordon, Chaewon Yun
2023 J jnl
Modal Abstractions for Virtualizing Memory Addresses.
CoRR
Ismail Kuru, Colin S. Gordon
2023 — conf
Trustworthy Formal Natural Language Specifications.
Onward!
Colin S. Gordon, Sergey Matskevich
2023 J jnl
Trustworthy Formal Natural Language Specifications.
CoRR
Colin S. Gordon, Sergey Matskevich
2022 J jnl
Natural Language Specifications in Proof Assistants.
CoRR
Colin S. Gordon, Sergey Matskevich
2022 J jnl
Preprocessing Source Code Comments for Linguistic Models.
CoRR
Sergey Matskevich, Colin S. Gordon
2022 — conf
Towards Property-Based Tests in Natural Language.
ICSE (NIER)
Colin S. Gordon
2022 J jnl
Towards Property-Based Tests in Natural Language.
CoRR
Colin S. Gordon
2021 J jnl
Polymorphic Iterable Sequential Effect Systems.
ACM Trans. Program. Lang. Syst.
Colin S. Gordon
2020 A conf
Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl).
ECOOP
Colin S. Gordon
2020 J jnl
Designing with Static Capabilities and Effects: Use, Mention, and Invariants.
CoRR
Colin S. Gordon
2020 A conf
Lifting Sequential Effects to Control Operators.
ECOOP
Colin S. Gordon
2019 — conf
Modal assertions for actor correctness.
AGERE!@SPLASH
Colin S. Gordon
2019 A conf
Safe Deferred Memory Reclamation with Types.
ESOP
Ismail Kuru, Colin S. Gordon
2018 J jnl
Generating Comments From Source Code with CCGs.
CoRR
Sergey Matskevich, Colin S. Gordon
2018 — conf
Generating comments from source code with CCGs.
NL4SE@ESEC/SIGSOFT FSE
Sergey Matskevich, Colin S. Gordon
2018 J jnl
Polymorphic Iterable Sequential Effect Systems.
CoRR
Colin S. Gordon
2018 J jnl
Safe Deferred Memory Reclamation with Types.
CoRR
Ismail Kuru, Colin S. Gordon
2018 J jnl
Sequential Effect Systems with Control Operators.
CoRR
Colin S. Gordon
2018 J jnl
Synthesizing Program-Specific Static Analyses.
CoRR
Colin S. Gordon
2017 J jnl
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version).
CoRR
Colin S. Gordon
2017 A conf
A Generic Approach to Flow-Sensitive Polymorphic Effects.
ECOOP
Colin S. Gordon
2017 J jnl
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.
ACM Trans. Program. Lang. Syst.
Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
2016 J jnl
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016 A conf
Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
ECOOP
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016 J jnl
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2016 A conf
Type inference for static compilation of JavaScript.
OOPSLA
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2014 — —
Verifying Concurrent Programs by Controlling Alias Interference.
Colin S. Gordon
2013 A conf
Java UI : Effects for Controlling UI Object Access.
ECOOP
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
2013 A* conf
Rely-guarantee references for refinement types over aliased mutable data.
PLDI
Colin S. Gordon, Michael D. Ernst, Dan Grossman
2012 — conf
Static lock capabilities for deadlock freedom.
TLDI
Colin S. Gordon, Michael D. Ernst, Dan Grossman
2012 A conf
Uniqueness and reference immutability for safe parallelism.
OOPSLA
Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy