Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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

AGERE 2019 Modal Assertions for Actor Correctness
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
Show activities from other conferences

SPLASH 2019-profile
View general profile