Travelled to:1 × France
2 × USA
Collaborated with:M.D.Ernst D.Grossman I.K.0001 ∅ M.Sridharan F.Tip W.Dietl M.J.Parkinson J.Parsons A.Bromfield J.Duffy E.Andreasen S.C.0001 K.Sen S.Chandra J.Jeannin C.Schlesinger Y.Choi
Talks about:type (5) approach (2) effect (2) refer (2) safe (2) ui (2) javascript (1) polymorph (1) retrofit (1) parallel (1)
Person: Colin S. Gordon
DBLP: Gordon:Colin_S=
Contributed to:
2013
2013
2012
2019201620162017Wrote 7 papers:
- ECOOP-2013-GordonDEG #java #user interface
- Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
- PLDI-2013-GordonEG #alias #refinement
- Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
- OOPSLA-2012-GordonPPBD #parallel
- Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
- ESOP-2019-KuruG #memory management
- Safe Deferred Memory Reclamation with Types (IK0, CSG), pp. 88–116.
- ECOOP-2016-AndreasenGCSTS #approach #type system
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.
- OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference
- Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
- ECOOP-2017-Gordon #approach #polymorphism
- A Generic Approach to Flow-Sensitive Polymorphic Effects (CSG), p. 31.