Cyclone: a safe dialect of C. T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang USENIX Annual Technical Conference, General Track, 275-288, 2002 | 1126 | 2002 |
EnerJ: Approximate data types for safe and general low-power computation A Sampson, W Dietl, E Fortuna, D Gnanapragasam, L Ceze, D Grossman ACM SIGPLAN Notices 46 (6), 164-174, 2011 | 997 | 2011 |
Region-based memory management in Cyclone D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 544 | 2002 |
Learning Bayesian network classifiers by maximizing conditional likelihood D Grossman, P Domingos Proceedings of the twenty-first international conference on Machine learning, 46, 2004 | 450 | 2004 |
CoreDet: A compiler and runtime system for deterministic multithreaded execution T Bergan, O Anderson, J Devietti, L Ceze, D Grossman Proceedings of the fifteenth International Conference on Architectural …, 2010 | 387 | 2010 |
TALx86: A realistic typed assembly language K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ... 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999 | 326 | 1999 |
ParaTimer: a progress indicator for MapReduce DAGs K Morton, M Balazinska, D Grossman Proceedings of the 2010 ACM SIGMOD International Conference on Management of …, 2010 | 239 | 2010 |
Enforcing isolation and ordering in STM T Shpeisman, V Menon, AR Adl-Tabatabai, S Balensiefer, D Grossman, ... Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 236 | 2007 |
Automatic inference of structural changes for matching across program versions M Kim, D Notkin, D Grossman 29th International Conference on Software Engineering (ICSE'07), 333-343, 2007 | 195 | 2007 |
Estimating the progress of MapReduce pipelines K Morton, A Friesen, M Balazinska, D Grossman 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), 681-684, 2010 | 190 | 2010 |
Type-safe multithreading in Cyclone D Grossman ACM Sigplan Notices 38 (3), 13-25, 2003 | 187 | 2003 |
High-level small-step operational semantics for transactions KF Moore, D Grossman Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 143 | 2008 |
Computer Science Curricula 2013 Joint Task Force on Computing Curricula ACM/Association for Computing Machinery, 2013 | 137 | 2013 |
Type-directed completion of partial expressions D Perelman, S Gulwani, T Ball, D Grossman Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 135 | 2012 |
AtomCaml: first-class atomicity via rollback MF Ringenburg, D Grossman ACM SIGPLAN Notices 40 (9), 92-104, 2005 | 129 | 2005 |
Searching for type-error messages BS Lerner, M Flower, D Grossman, C Chambers ACM SIGPLAN Notices 42 (6), 425-434, 2007 | 128 | 2007 |
IFRit: interference-free regions for dynamic data-race detection L Effinger-Dean, B Lucia, L Ceze, D Grossman, HJ Boehm Proceedings of the ACM international conference on Object oriented …, 2012 | 124 | 2012 |
Expressing and verifying probabilistic assertions A Sampson, P Panchekha, T Mytkowicz, KS McKinley, D Grossman, ... Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 122 | 2014 |
Optimizing synthesis with metasketches J Bornholt, E Torlak, D Grossman, L Ceze Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 121 | 2016 |
RCDC: a relaxed consistency deterministic computer J Devietti, J Nelson, T Bergan, L Ceze, D Grossman ACM SIGARCH Computer Architecture News 39 (1), 67-78, 2011 | 121 | 2011 |