Colin Gordon -

Registered user since Mon 17 Aug 2015

Name:Colin Gordon

Country:United States

Affiliation:Drexel University

Personal website:https://cs.drexel.edu/~csgordon/

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