Colin S. Gordon
Colin S. Gordon
Assistant Professor of Computer Science, Drexel University
E-mail confirmado em drexel.edu - Página inicial
Título
Citado por
Citado por
Ano
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
1212012
Data containerization for reducing unused space in a file system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,739,312, 2010
752010
Merging containers in a multi-container system
CS Gordon, PV Singh, DA Trimmer
US Patent 7,827,201, 2010
662010
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
282013
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
272012
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
242016
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
24*2016
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
242013
Merging containers in a multi-container system
CS Gordon, PV Singh, DA Trimmer
US Patent 8,370,401, 2013
172013
Verifying Concurrent Programs by Controlling Alias Interference
CS Gordon
University of Washington, 2014
102014
A Generic Approach to Flow-Sensitive Polymorphic Effects
CS Gordon
Proceedings of the 31st European Conference on Object-Oriented Programming …, 2017
92017
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
82017
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
52016
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
Generating comments from source code with CCGs
S Matskevich, CS Gordon
Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for …, 2018
22018
Polymorphic Iterable Sequential Effect Systems
CS Gordon
arXiv preprint arXiv:1808.02010, 2018
22018
ASM relational transducer security policies
LA Meyerovich, JHW Weinberger, CS Gordon, S Krishnamurthi
Technical Report CS-06-12, Computer Science Department, Brown University …, 2006
22006
Modal assertions for actor correctness
CS Gordon
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019
12019
Safe Deferred Memory Reclamation with Types
I Kuru, CS Gordon
European Symposium on Programming, 88-116, 2019
12019
Sequential Effect Systems with Control Operators
CS Gordon
arXiv preprint arXiv:1811.12285, 2018
12018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20