Follow
Colin S. Gordon
Colin S. Gordon
Associate Professor of Computer Science, Drexel University
Verified email at drexel.edu - Homepage
Title
Cited by
Cited by
Year
Data containerization for reducing unused space in a file system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,739,312, 2010
1522010
Uniqueness and Reference Immutability for Safe Parallelism
CS Gordon, MJ Parkinson, J Parsons, A Bromfield, J Duffy
Proceedings of the 2012 ACM International Conference on Object Oriented …, 2012
1492012
Merging containers in a multi-container system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,827,201, 2010
822010
Type inference for static compilation of JavaScript
S Chandra, CS Gordon, JB Jeannin, C Schlesinger, M Sridharan, F Tip, ...
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
462016
Type Inference for Static Compilation of JavaScript (Extended Version)
S Chandra, CS Gordon, JB Jeannin, C Schlesinger, M Sridharan, F Tip, ...
arXiv preprint arXiv:1608.07261, 2016
46*2016
JavaUI: Effects for Controlling UI Object Access
CS Gordon, W Dietl, MD Ernst, D Grossman
Proceedings of the 27th European Conference on Object-Oriented Programming …, 2013
382013
Static lock capabilities for deadlock freedom
CS Gordon, MD Ernst, D Grossman
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012
332012
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
CS Gordon, MD Ernst, D Grossman
Proceedings of the 34th annual ACM SIGPLAN conference on Programming …, 2013
262013
Merging containers in a multi-container system
CS Gordon, PV Singh, DA Trimmer
US Patent 8,370,401, 2013
242013
Designing with static capabilities and effects: Use, mention, and invariants (pearl)
CS Gordon
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
212020
Polymorphic Iterable Sequential Effect Systems
CS Gordon
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-79, 2021
182021
A Generic Approach to Flow-Sensitive Polymorphic Effects
CS Gordon
Proceedings of the 31st European Conference on Object-Oriented Programming …, 2017
172017
Lifting Sequential Effects to Control Operators
CS Gordon
European Conference on Object-Oriented Programming (ECOOP), 2020
112020
Verifying Concurrent Programs by Controlling Alias Interference
CS Gordon
University of Washington, 2014
112014
Generating comments from source code with CCGs
S Matskevich, CS Gordon
Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for …, 2018
102018
Verifying Invariants of Lock-free Data Structures with Rely-Guarantee and Refinement Types
CS Gordon, MD Ernst, D Grossman, M Parkinson
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (3), 2017
92017
Trace Typing: An Approach for Evaluating Retrofitted Type Systems
E Andreasen, CS Gordon, S Chandra, M Sridharan, F Tip, K Sen
Proceedings of the 30th European Conference on Object-Oriented Programming …, 2016
92016
Modal assertions for actor correctness
CS Gordon
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019
42019
Operating system support for contracts
JJ Duffy, JP Parsons, CS Gordon, AD Bromfield, M Taillefer, ...
US Patent 9,286,039, 2016
42016
Safe Deferred Memory Reclamation with Types
I Kuru, CS Gordon
European Symposium on Programming, 88-116, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20