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

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Committee Member in Program Committee for IWACO 2017
• Committee Member in Program Committee for ECOOP 2017 ECOOP Research Papers
• Session Chair of Calculi and Semantics (part of ECOOP 2017 ECOOP Research Papers)
• member in Academic Panel for ECOOP 2017 ECOOP Doctoral Symposium
• Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017
• Author of A Generic Approach to Flow-Sensitive Polymorphic Effects within the ECOOP Research Papers-track in ECOOP 2017
• Show activities from other conferences