Colin S. Gordon

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 28

Top Topics

Natural Language

Semantic Representation

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Colin S. Gordon, Chaewon Yun
Error Localization for Sequential Effect Systems. SAS (2023)
Colin S. Gordon, Sergey Matskevich
Trustworthy Formal Natural Language Specifications. Onward! (2023)
Colin S. Gordon, Sergey Matskevich
Trustworthy Formal Natural Language Specifications. CoRR (2023)
Colin S. Gordon, Chaewon Yun
Error Localization for Sequential Effect Systems (Extended Version). CoRR (2023)
Ismail Kuru, Colin S. Gordon
Modal Abstractions for Virtualizing Memory Addresses. CoRR (2023)
Sergey Matskevich, Colin S. Gordon
Preprocessing Source Code Comments for Linguistic Models. CoRR (2022)
Colin S. Gordon
Towards Property-Based Tests in Natural Language. CoRR (2022)
Colin S. Gordon, Sergey Matskevich
Natural Language Specifications in Proof Assistants. CoRR (2022)
Colin S. Gordon
Towards Property-Based Tests in Natural Language. ICSE (NIER) (2022)
Colin S. Gordon
Polymorphic Iterable Sequential Effect Systems. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
Colin S. Gordon
Designing with Static Capabilities and Effects: Use, Mention, and Invariants. CoRR (2020)
Colin S. Gordon
Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). ECOOP (2020)
Colin S. Gordon
Lifting Sequential Effects to Control Operators. ECOOP (2020)
Colin S. Gordon
Modal assertions for actor correctness. AGERE!@SPLASH (2019)
Ismail Kuru, Colin S. Gordon
Safe Deferred Memory Reclamation with Types. ESOP (2019)
Colin S. Gordon
Synthesizing Program-Specific Static Analyses. CoRR (2018)
Ismail Kuru, Colin S. Gordon
Safe Deferred Memory Reclamation with Types. CoRR (2018)
Colin S. Gordon
Sequential Effect Systems with Control Operators. CoRR (2018)
Colin S. Gordon
Polymorphic Iterable Sequential Effect Systems. CoRR (2018)
Sergey Matskevich, Colin S. Gordon
Generating Comments From Source Code with CCGs. CoRR (2018)
Sergey Matskevich, Colin S. Gordon
Generating comments from source code with CCGs. NL4SE@ESEC/SIGSOFT FSE (2018)
Colin S. Gordon
A Generic Approach to Flow-Sensitive Polymorphic Effects. ECOOP (2017)
Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Colin S. Gordon
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version). CoRR (2017)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR (2016)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type inference for static compilation of JavaScript. OOPSLA (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP (2016)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Rely-guarantee references for refinement types over aliased mutable data. PLDI (2013)
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
Java UI : Effects for Controlling UI Object Access. ECOOP (2013)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Static lock capabilities for deadlock freedom. TLDI (2012)
Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy
Uniqueness and reference immutability for safe parallelism. OOPSLA (2012)