| Data containerization for reducing unused space in a file system CS Gordon, PV Singh, DA Trimmer US Patent 7,739,312, 2010 | 168 | 2010 |
| 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 | 165 | 2012 |
| Merging containers in a multi-container system CS Gordon, PV Singh, DA Trimmer US Patent 7,827,201, 2010 | 83 | 2010 |
| 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 | 56 | 2016 |
| 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 | 56* | 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 | 37 | 2013 |
| 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 | 33 | 2012 |
| 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 | 25 | 2013 |
| Merging containers in a multi-container system CS Gordon, PV Singh, DA Trimmer US Patent 8,370,401, 2013 | 24 | 2013 |
| Polymorphic Iterable Sequential Effect Systems CS Gordon ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-79, 2021 | 23 | 2021 |
| Designing with static capabilities and effects: Use, mention, and invariants (pearl) CS Gordon 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 21 | 2020 |
| A Generic Approach to Flow-Sensitive Polymorphic Effects CS Gordon Proceedings of the 31st European Conference on Object-Oriented Programming …, 2017 | 19 | 2017 |
| Lifting Sequential Effects to Control Operators CS Gordon European Conference on Object-Oriented Programming (ECOOP), 2020 | 15 | 2020 |
| Verifying Concurrent Programs by Controlling Alias Interference CS Gordon University of Washington, 2014 | 11 | 2014 |
| Generating comments from source code with CCGs S Matskevich, CS Gordon Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for …, 2018 | 10 | 2018 |
| 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 | 9 | 2017 |
| 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 | 9 | 2016 |
| Operating system support for contracts JJ Duffy, JP Parsons, CS Gordon, AD Bromfield, M Taillefer, ... US Patent 9,286,039, 2016 | 5 | 2016 |
| Modal assertions for actor correctness CS Gordon Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019 | 4 | 2019 |
| Safe Deferred Memory Reclamation with Types I Kuru, CS Gordon European Symposium on Programming, 88-116, 2019 | 4 | 2019 |
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
