Scholar
Colin S. Gordon
Google Scholar ID: Y9ek5GIAAAAJ
Associate Professor of Computer Science, Drexel University
Programming Languages
Type Theory
Effect Systems
Concurrency
Program Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
812
H-index
12
i10-index
15
Publications
20
Co-authors
14
list available
Publications
4 items
Effect Systems as Abstract Interpretations
2026
Cited
0
Modal Verification Patterns for Systems
2025
Cited
0
Actor Capabilities for Message Ordering (Extended Version)
2025
Cited
0
Modal Abstractions for Virtualizing Memory Addresses
arXiv.org · 2023
Cited
1
Co-authors
9 total
Dan Grossman
Computer Science, University of Washington
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Satish Chandra
Google
Jean-Baptiste Jeannin
University of Michigan
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Ismail Kuru
Drexel University
