Colin S. Gordon

According to our database, Colin S. Gordon authored at least 33 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modal Verification Patterns for Systems.

Ismail Kuru, Colin S. Gordon

CoRR, June, 2025

Actor Capabilities for Message Ordering (Extended Version).

Colin S. Gordon

CoRR, February, 2025

Modal Verification Patterns for Systems Software.

Ismail Kuru, Colin S. Gordon

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2024

Mocking Temporal Logic.

Colin S. Gordon

Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, 2024

The Linguistics of Programming.

Colin S. Gordon

Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, 2024

2023

Error Localization for Sequential Effect Systems (Extended Version).

Colin S. Gordon, Chaewon Yun

CoRR, 2023

Modal Abstractions for Virtualizing Memory Addresses.

Ismail Kuru, Colin S. Gordon

CoRR, 2023

Error Localization for Sequential Effect Systems.

Colin S. Gordon, Chaewon Yun

Proceedings of the Static Analysis - 30th International Symposium, 2023

Trustworthy Formal Natural Language Specifications.

Colin S. Gordon, Sergey Matskevich

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

2022

Preprocessing Source Code Comments for Linguistic Models.

Sergey Matskevich, Colin S. Gordon

CoRR, 2022

Natural Language Specifications in Proof Assistants.

Colin S. Gordon, Sergey Matskevich

CoRR, 2022

Towards Property-Based Tests in Natural Language.

Colin S. Gordon

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

2021

Polymorphic Iterable Sequential Effect Systems.

Colin S. Gordon

ACM Trans. Program. Lang. Syst., 2021

2020

Designing with Static Capabilities and Effects: Use, Mention, and Invariants.

Colin S. Gordon

CoRR, 2020

Lifting Sequential Effects to Control Operators.

Colin S. Gordon

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl).

Colin S. Gordon

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Safe Deferred Memory Reclamation with Types.

Ismail Kuru, Colin S. Gordon

Proceedings of the Programming Languages and Systems, 2019

Modal assertions for actor correctness.

Colin S. Gordon

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019

2018

Sequential Effect Systems with Control Operators.

Colin S. Gordon

CoRR, 2018

Synthesizing Program-Specific Static Analyses.

Colin S. Gordon

CoRR, 2018

Generating comments from source code with CCGs.

Sergey Matskevich, Colin S. Gordon

Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for Software Engineering, 2018

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

A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version).

Colin S. Gordon

CoRR, 2017

A Generic Approach to Flow-Sensitive Polymorphic Effects.

Colin S. Gordon

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Type Inference for Static Compilation of JavaScript (Extended Version).

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

CoRR, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

Verifying Concurrent Programs by Controlling Alias Interference.

Colin S. Gordon

PhD thesis, 2014

2013

Rely-guarantee references for refinement types over aliased mutable data.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Java UI : Effects for Controlling UI Object Access.

Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Static lock capabilities for deadlock freedom.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Uniqueness and reference immutability for safe parallelism.

Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012