publications:
- title: "Type inference for static compilation of JavaScript"
  author:
  - name: "Satish Chandra 0001"
    link: "https://researchr.org/alias/satish-chandra-0001"
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Jean-Baptiste Jeannin"
    link: "https://researchr.org/alias/jean-baptiste-jeannin"
  - name: "Cole Schlesinger"
    link: "https://researchr.org/alias/cole-schlesinger"
  - name: "Manu Sridharan"
    link: "https://researchr.org/alias/manu-sridharan"
  - name: "Frank Tip"
    link: "https://researchr.org/alias/frank-tip"
  - name: "Young-Il Choi"
    link: "https://researchr.org/alias/young-il-choi"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2983990.2984017"
  links:
    doi: "http://doi.acm.org/10.1145/2983990.2984017"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/0001GJSSTC16"
  researchr: "https://researchr.org/publication/0001GJSSTC16"
  cites: 0
  citedby: 0
  pages: "410-429"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "0001GJSSTC16"
- title: "Uniqueness and reference immutability for safe parallelism"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Matthew J. Parkinson"
    link: "https://researchr.org/alias/matthew-j.-parkinson"
  - name: "Jared Parsons"
    link: "https://researchr.org/alias/jared-parsons"
  - name: "Aleks Bromfield"
    link: "https://researchr.org/alias/aleks-bromfield"
  - name: "Joe Duffy"
    link: "https://researchr.org/alias/joe-duffy"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384616.2384619"
  links:
    doi: "http://doi.acm.org/10.1145/2384616.2384619"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/GordonPPBD12"
  researchr: "https://researchr.org/publication/GordonPPBD12"
  cites: 0
  citedby: 0
  pages: "21-40"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GordonPPBD12"
- title: "Static lock capabilities for deadlock freedom"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2103786.2103796"
  links:
    doi: "http://doi.acm.org/10.1145/2103786.2103796"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tldi/GordonEG12"
  researchr: "https://researchr.org/publication/GordonEG12"
  cites: 0
  citedby: 0
  pages: "67-78"
  booktitle: "tldi"
  kind: "inproceedings"
  key: "GordonEG12"
- title: "Rely-guarantee references for refinement types over aliased mutable data"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2462156.2462160"
  links:
    doi: "http://doi.acm.org/10.1145/2462156.2462160"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/GordonEG13"
  researchr: "https://researchr.org/publication/GordonEG13"
  cites: 0
  citedby: 0
  pages: "73-84"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "GordonEG13"
- title: "Trace Typing: An Approach for Evaluating Retrofitted Type Systems"
  author:
  - name: "Esben Andreasen"
    link: "https://researchr.org/alias/esben-andreasen"
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Satish Chandra"
    link: "https://researchr.org/alias/satish-chandra"
  - name: "Manu Sridharan"
    link: "https://researchr.org/alias/manu-sridharan"
  - name: "Frank Tip"
    link: "https://researchr.org/alias/frank-tip"
  - name: "Koushik Sen"
    link: "https://researchr.org/alias/koushik-sen"
  year: "2016"
  doi: "http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.1"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/AndreasenGCSTS16"
  researchr: "https://researchr.org/publication/AndreasenGCSTS16"
  cites: 0
  citedby: 0
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "AndreasenGCSTS16"
- title: "A Generic Approach to Flow-Sensitive Polymorphic Effects"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  year: "2017"
  doi: "https://doi.org/10.4230/LIPIcs.ECOOP.2017.13"
  links:
    doi: "https://doi.org/10.4230/LIPIcs.ECOOP.2017.13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/Gordon17"
  researchr: "https://researchr.org/publication/Gordon17-0"
  cites: 0
  citedby: 0
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "Gordon17-0"
- title: "Java UI : Effects for Controlling UI Object Access"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  - name: "Werner Dietl"
    link: "https://researchr.org/alias/werner-dietl"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39038-8_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/GordonDEG13"
  researchr: "https://researchr.org/publication/GordonDEG13"
  cites: 0
  citedby: 0
  pages: "179-204"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "GordonDEG13"
- title: "Verifying Concurrent Programs by Controlling Alias Interference"
  author:
  - name: "Colin S. Gordon"
    link: "https://cs.drexel.edu/~csgordon/"
  year: "2014"
  month: "August"
  links:
    "url": "https://dlib.lib.washington.edu/researchworks/handle/1773/26020"
  researchr: "https://researchr.org/publication/dissertation"
  cites: 0
  citedby: 0
  school: "University of Washington"
  address: "Seattle, WA, USA"
  kind: "phdthesis"
  key: "dissertation"