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.

Journal Papers

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), May 2017
Colin S. Gordon, Michael D. Ernst, Dan Grossman, and Matt Parkinson
Presented at PLDI 2017.
[+abstract] [ acm authorizer | doi | acm | pdf ] [ code ] [ more code ] [ video of talk at PLDI 2017 ]

Conference Papers

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)
To Appear.
[+abstract] [ doi | pdf | tech report | arXiv ] [ video of talk at ECOOP 2017 ]
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)
To Appear.
[+abstract] [ 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)
[+abstract] [ doi | Dagstuhl LIPICS | pdf ] [ video of Esben's talk ]
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)
[+abstract] [ 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)
[+abstract] [ acm authorizer | doi | acm | pdf | tech report ] [ slides ] [ code ]
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)
[+abstract] [ acm authorizer | doi | pdf | tech report ]

Workshop Papers

OBT
2012
Formal Semantics for Testing
In Off the Beaten Track Workshop (OBT 2012), Philadelphia, PA, USA. January 2012
Colin S. Gordon
[+abstract] [ 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
[+abstract] [ doi | pdf | tech report ] [ acm authorizer ]
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
[+abstract] [ pdf ]

Theses

Washington
2014
Verifying Concurrent Programs by Controlling Alias Interference
University of Washington PhD Dissertation, Seattle, WA, USA. August 2014
Colin S. Gordon
[+abstract] [ pdf ] [ entry @ UW ResearchWorks Archive ]
Brown
2008
Type-Safe Stack Traversal for Garbage Collector Implementation
Brown University Senior Honors Thesis, Providence, RI, USA. May 2008
Colin Stebbins Gordon
[+abstract] [ pdf ] [ other honors theses ]

Technical Reports

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
[+abstract] [ pdf | arXiv ]
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
[+abstract] [ pdf | arXiv ]
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
[+abstract] [ pdf | arXiv ]
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
[+abstract] [ 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
[+abstract] [ pdf ] [ dept pdf ]
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
[+abstract] [ pdf ] [ pdf @ msr ]
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
[+abstract] [ pdf ] [ dept pdf ]
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
[+abstract] [ 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 ]