conf.researchr.org / 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
2024
2023
Static Analysis Symposium
2022
2021
SPLASH
2020
SPLASH
ECOOP
2019
SPLASH
2018
OCAP
SPLASH
2017
ECOOP
- 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