Publications


Partial publication lists are also available on Google Scholar, the ACM portal, and DBLP. My ORCiD is 0000-0002-9012-4490. I'm gradually locating older slide decks including non-conference talks and putting them up on SpeakerDeck.

2020

Lifting Sequential Effects to Control Operators
(ECOOP 2020)
In Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020), Berlin, Germany. July 2020
Colin S. Gordon
To Appear.
DOI PDF arXiv video of talk at ECOOP 2020
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
(ECOOP 2020)
In Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020), Berlin, Germany. July 2020
Colin S. Gordon
To Appear.
DOI PDF arXiv video of talk at ECOOP 2020

2019

Modal Assertions for Actor Correctness
(AGERE 2019)
In Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE'19), Athens, Greece. October 2019
Colin S. Gordon
ACM Authorizer DOI acm PDF corrected version
Safe Deferred Memory Reclamation with Types
(ESOP 2019)
In 28th European Symposium on Programming (ESOP 2019), Prague, Czech Republic. April 2019
Ismail Kuru and Colin S. Gordon
Acceptance Rate 28/86 (32.6%)
DOI springer PDF Tech Report arXiv

2018

Safe Deferred Memory Reclamation with Types
(arXiv Corr 2018)
Computing Research Repository (CoRR) cs.PL 1811.11853, December 2018
Ismail Kuru and Colin S. Gordon
PDF arXiv
Sequential Effect Systems with Control Operators
(arXiv Corr 2018)
Computing Research Repository (CoRR) cs.PL 1811.12285, December 2018
Colin S. Gordon
For submission.
PDF arXiv
Generating Comments from Source Code with CCGs
(NL4SE 2018)
In Workshop on NLP for Software Engineering, Lake Buena Vista, FL, USA. November 2018
Sergey Matskevich and Colin S. Gordon
ACM Authorizer DOI acm PDF arXiv
Polymorphic Iterable Sequential Effect Systems
(arXiv Corr 2018)
Computing Research Repository (CoRR) cs.PL/cs.LO 1808.02010, August 2018
Colin S. Gordon
Under review. Extended journal version of ECOOP 2017 paper with more general machinery and more examples.
arXiv
Synthesizing Program-Specific Static Analyses
(OBT 2018)
In Off the Beaten Track Workshop (OBT 2018), Los Angeles, CA, USA. January 2018
Colin S. Gordon
Position paper.
PDF arXiv Slides

2017

A Generic Approach to Flow-Sensitive Polymorphic Effects
(ECOOP 2017)
In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain. June 2017
Colin S. Gordon
Acceptance Rate 33.3% (27/81)
DOI Dagstuhl LIPICS PDF Tech Report arXiv Slides video of talk at ECOOP 2017
Verifying Invariants of Lock-free Data Structures with Rely-Guarantee and Refinement Types
(TOPLAS 2017)
In ACM Transactions on Programming Languages and Systems (TOPLAS), 39(3), July 2017
Colin S. Gordon, Michael D. Ernst, Dan Grossman, and Matt Parkinson
Presented at PLDI 2017.
ACM Authorizer DOI acm PDF Slides Code More Code video of talk at PLDI 2017
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)
(arXiv CoRR 2017)
Computing Research Repository (CoRR) cs.PL 1705.02264, May 2017
Colin S. Gordon
PDF arXiv

2016

Type Inference for Static Compilation of JavaScript (Extended Version)
(arXiv CoRR 2016)
Computing Research Repository (CoRR) cs.PL 1608.07261, August 2016
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi
PDF arXiv
Type Inference for Static Compilation of JavaScript
(OOPSLA 2016)
In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016), Amsterdam, The Netherlands. November 2016
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi
Acceptance Rate 25.6% (52/203)
ACM Authorizer DOI acm PDF Tech Report arXiv
Trace Typing An Approach for Evaluating Retrofitted Type Systems
(ECOOP 2016)
In Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016), Rome, Italy. July 2016
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen
Acceptance Rate 31.6% (25/79)
DOI Dagstuhl LIPICS PDF video of Esben's talk
Trace Typing An Approach for Evaluating Retrofitted Type Systems (Extended Version)
(Samsung Research TechReport 2016)
Technical Report SRA-CSIC-2016-001, Samsung Research America, Mountain View, CA. May 2016
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen
PDF arXiv

2014

Verifying Concurrent Programs by Controlling Alias Interference
(Washington 2014)
University of Washington PhD Dissertation, Seattle, WA, USA. August 2014
Colin S. Gordon
HDL PDF entry @ UW ResearchWorks Archive

2013

JavaUI Effects for Controlling UI Object Access
(ECOOP 2013)
In Proceedings of the 27th European Conference on Object-Oriented Programming (ECOOP 2013), Montpellier, France. July 2013
Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, and Dan Grossman
Acceptance Rate 25% (29/116)
DOI springer PDF Tech Report Slides Code code at submission + subject programs
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
(PLDI 2013)
In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013), Seattle, WA, USA. June 2013
Colin S. Gordon, Michael D. Ernst, and Dan Grossman
Acceptance Rate 17% (46/267)
ACM Authorizer DOI acm PDF Tech Report Slides Code
JavaUI Effects for Controlling UI Object Access (Extended Version)
(Washington TechReport 2013)
Technical Report UW-CSE-13-04-01, Computer Science and Engineering, University of Washington, Seattle, WA, USA. April 2013
Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, and Dan Grossman
PDF dept pdf
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)
(Washington TechReport 2013)
Technical Report UW-CSE-13-03-02, Computer Science and Engineering, University of Washington, Seattle, WA, USA. March 2013
Colin S. Gordon, Michael D. Ernst, Dan Grossman
PDF dept pdf

2012

Uniqueness and Reference Immutability for Safe Parallelism
(OOPSLA 2012)
In Proceedings of the 27th ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), Tucson, AZ, USA. October 2012
Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, and Joe Duffy
Acceptance Rate 26% (59/228)
ACM Authorizer DOI PDF Tech Report
Uniqueness and Reference Immutability for Safe Parallelism (Extended Version)
(Microsoft Research TechReport 2012)
Technical Report MSR-TR-2012-79, Microsoft Research, Redmond, WA, USA. August 2012
Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, and Joe Duffy
PDF pdf @ msr
Formal Semantics for Testing
(OBT 2012)
In Off the Beaten Track Workshop (OBT 2012), Philadelphia, PA, USA. January 2012
Colin S. Gordon
Position paper.
PDF workshop homepage
Static Lock Capabilities for Deadlock Freedom
(TLDI 2012)
In Proceedings of the 8th Workshop on Types in Language Design and Implementation (TLDI 2012), Philadelphia, PA, USA. January 2012
Colin S. Gordon, Michael D. Ernst, and Dan Grossman
ACM Authorizer DOI acm PDF Tech Report

2011

Static Lock Capabilities for Deadlock Freedom
(Washington TechReport 2011)
Technical Report UW-CSE-11-10-01, Computer Science and Engineering, University of Washington, Seattle, WA, USA. October 2011
Colin S. Gordon, Michael D. Ernst, Dan Grossman
PDF dept pdf

2008

Type-Safe Stack Traversal for Garbage Collector Implementation
(Brown 2008)
Brown University Senior Honors Thesis, Providence, RI, USA. May 2008
Colin Stebbins Gordon
PDF other honors theses

2007

Composition with Consistent Updates for Abstract State Machines
(ASM 2007)
In Proceedings of the 14th International Workshop on Abstract State Machines (ASM 2007), Grimstad, Norway. June 2007
Colin Gordon, Leo Meyerovich, Joel Weinberger, and Shriram Krishnamurthi
PDF

2006

ASM Relational Transducer Security Policies
(Brown TechReport 2006)
Technical Report CS-06-12, Computer Science Department, Brown University, Providence, RI, USA. November 2006
Meyerovich, L.A., Weinberger, J.H.W., Gordon, C.S., Krishnamurthi, S
department page PDF

Patents

  • Operating System Support for Contracts.
    US Patent 9286039. Filed March, 2013, issued March 2016. Assigned to Microsoft Corporation.
    John J. Duffy, Jared Porter Parsons, Colin Stebbins Gordon, Alexander Daniel Bromfield, Martin Taillefer, David Allen Bartolomeo, and Michael Barnett.
    [ Patent at USPTO ]
  • Merging Containers in a Multi-Container System.
    US Patent 7828201. Filed April, 2007, issued November 2010. Assigned to Network Appliance.
    Colin Stebbins Gordon, Pratap Vikram Singh, and Donald Alvin Trimmer.
    [ Patent at USPTO ]
  • Data Containerization for Reducing Unused Space in a File System.
    US Patent 7739312. Filed April, 2007, issued June 2010. Assigned to Network Appliance.
    Colin Stebbins Gordon, Pratap Vikram Singh, and Donald Alvin Trimmer.
    [ Patent at USPTO ]