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.

2018

(OBT 2018)
Synthesizing Program-Specific Static Analyses
In Off the Beaten Track Workshop (OBT 2018), Los Angeles, CA, USA. January 2018
Colin S. Gordon
Position paper.
PDF Slides

2017

(ECOOP 2017)
A Generic Approach to Flow-Sensitive Polymorphic Effects
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
(TOPLAS 2017)
Verifying Invariants of Lock-free Data Structures with Rely-Guarantee and Refinement Types
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
(arXiv CoRR 2017)
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)
Computing Research Repository (CoRR) cs.PL 1705.02264, May 2017
Colin S. Gordon
PDF arXiv

2016

(arXiv CoRR 2016)
Type Inference for Static Compilation of JavaScript (Extended Version)
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
(OOPSLA 2016)
Type Inference for Static Compilation of JavaScript
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
(ECOOP 2016)
Trace Typing An Approach for Evaluating Retrofitted Type Systems
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
(Samsung Research TechReport 2016)
Trace Typing An Approach for Evaluating Retrofitted Type Systems (Extended Version)
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

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

2013

(ECOOP 2013)
JavaUI Effects for Controlling UI Object Access
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
(PLDI 2013)
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
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
(Washington TechReport 2013)
JavaUI Effects for Controlling UI Object Access (Extended Version)
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
(Washington TechReport 2013)
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)
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

(OOPSLA 2012)
Uniqueness and Reference Immutability for Safe Parallelism
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
(Microsoft Research TechReport 2012)
Uniqueness and Reference Immutability for Safe Parallelism (Extended Version)
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
(OBT 2012)
Formal Semantics for Testing
In Off the Beaten Track Workshop (OBT 2012), Philadelphia, PA, USA. January 2012
Colin S. Gordon
Position paper.
PDF workshop homepage
(TLDI 2012)
Static Lock Capabilities for Deadlock Freedom
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
DOI PDF Tech Report acm authorizer

2011

(Washington TechReport 2011)
Static Lock Capabilities for Deadlock Freedom
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

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

2007

(ASM 2007)
Composition with Consistent Updates for Abstract State Machines
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

(Brown TechReport 2006)
ASM Relational Transducer Security Policies
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 ]