Colin Gordon

Registered user since Mon 17 Aug 2015

Name:Colin Gordon
Country:United States
Affiliation:Drexel University
Research interests:Type Theory, Separation Logic, Verification, Concurrency and Parallelism, Capabilities, Type and Effect Systems

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
ICSE 2022 Author of Towards Property-Based Tests in Natural Language within the NIER - New Ideas and Emerging Results-track
SPLASH 2021 Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in Review Committee within the OOPSLA-track
Co-chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
Session Chair of Parallelism / Runtimes (time band 1) (part of ECOOP Technical Papers)
AGERE 2020 Committee Member in Program Committee within the AGERE 2020-track
SPLASH 2020 Artifact Evaluation Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Artifact Evaluation Chair in Organizing Committee
ECOOP 2020 Author of Lifting Sequential Effects to Control Operators within the Research Papers-track
Author of Designing with Static Capabilities and Effects within the Research Papers-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2019 Session Chair of Specification and Certification (part of OOPSLA)
Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
OOPSLA Artifact Evaluation Chair in Organizing Committee
AGERE 2019 Author of Modal Assertions for Actor Correctness within the AGERE 2019-track
ESOP 2019 Author of Safe Deferred Memory Reclamation with Types within the ESOP 2019-track
ESEC/FSE 2018 Author of Generating Comments from Source Code with CCGs within the NL4SE-track
OCAP 2018 Author of Designing with Static Capabilities and Effects within the OCAP 2018-track
Author of Formal Methods Panel within the OCAP 2018-track
SPLASH 2018 Committee Member in Academic Panel within the DocSymposium-track
Session Chair of Types and Effects (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Off the Beaten Track 2018 Author of Synthesizing Program-Specific Static Analyses within the Off the Beaten Track 2018-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Session Chair of Calculi and Semantics (part of ECOOP Research Papers)
Committee member in Academic Panel within the ECOOP Doctoral Symposium-track
Author of A Generic Approach to Flow-Sensitive Polymorphic Effects within the ECOOP Research Papers-track
IWACO 2017 Committee Member in Program Committee within the IWACO 2017-track
PLDI 2017 Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track
SPLASH 2016 Author of Type Inference for Static Compilation of JavaScript within the OOPSLA-track
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
Author of Trace Typing: An Approach for Evaluating Retrofitted Type Systems within the Research Track-track
Session Chair of Session 3 (part of Research Track)
IWACO 2016 Committee Member in Program Committee within the IWACO-track
PLDI 2016 Committee Member in External Review Committee
SPLASH 2012 Author of Uniqueness and Reference Immutability for Safe Parallelism within the OOPSLA Research Papers-track