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
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
1282012
Data containerization for reducing unused space in a file system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,739,312, 2010
942010
Merging containers in a multi-container system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,827,201, 2010
752010
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
342013
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
302016
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
30*2016
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
302012
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
212013
Verifying Concurrent Programs by Controlling Alias Interference
CS Gordon
University of Washington, 2014
112014
A Generic Approach to Flow-Sensitive Polymorphic Effects
CS Gordon
Proceedings of the 31st European Conference on Object-Oriented Programming …, 2017
102017
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
82016
Generating comments from source code with CCGs
S Matskevich, CS Gordon
Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for …, 2018
52018
Polymorphic Iterable Sequential Effect Systems
CS Gordon
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-79, 2021
42021
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
CS Gordon
European Conference on Object-Oriented Programming (ECOOP), 2020
42020
Lifting Sequential Effects to Control Operators
CS Gordon
European Conference on Object-Oriented Programming (ECOOP), 2020
42020
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)
CS Gordon, MD Ernst, D Grossman
Technical Report UW-CSE-13-03-02, University of Washington, 2013
32013
Modal assertions for actor correctness
CS Gordon
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019
22019
Safe Deferred Memory Reclamation with Types
I Kuru, CS Gordon
European Symposium on Programming, 88-116, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20