Colin S. Gordon

Uniqueness and reference immutability for safe parallelism

Colin S. Gordon, Matthew Parkinson, Jared Parsons et al. · 2012 · 102 citations

Engineering, Type System Models, Concurrent System +16

Sulphur dioxide evokes a large scale reprogramming of the grape berry transcriptome associated with oxidative signalling and biotic defence responses

Estelle Giraud, Aneta Ivanova, Colin S. Gordon et al. · Plant Cell & Environment · 2011 · 65 citations · Full text

Engineering, Plant Pathology, Redox Homeostasis +20

Uniqueness and reference immutability for safe parallelism

Colin S. Gordon, Matthew Parkinson, Jared Parsons et al. · ACM SIGPLAN Notices · 2012 · 35 citations

Engineering, Type System Models, Concurrent System +16

Type inference for static compilation of JavaScript

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin et al. · 2016 · 32 citations

Engineering, Type Theory, Verification +16

Rely-guarantee references for refinement types over aliased mutable data

Colin S. Gordon, Michael D. Ernst, Dan Grossman · 2013 · 21 citations

Program Checking, Engineering, Verification +22