Dan Grossman's Publications

Journal Publications

• Safe Manual Memory Management in Cyclone Safe Manual Memory Management in Cyclone   [SCP 2006]
  Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim.
  Science of Computer Programming, 62(2), pages 122–144, October, 2006.
• Quantified Types in an Imperative Language Quantified Types in an Imperative Language   [TOPLAS 2006]
  Dan Grossman.
  ACM Transactions on Programming Languages and Systems, 28(3), pages 429–475, May, 2006.
• Compiling for Template-Based Run-Time Code Generation Compiling for Template-Based Run-Time Code Generation   [JFP 2003]
  Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim.
  Journal of Functional Programming, 13(3), pages 677–708, May, 2003.
• Syntactic Type Abstraction Syntactic Type Abstraction   [TOPLAS 2000]
  Dan Grossman, Greg Morrisett, Steve Zdancewic.
  ACM Transactions on Programming Languages and Systems, 22(6), pages 1037–1080, November, 2000.
  This work extends, "Principals in Programming Languages: A Syntactic Proof Technique."

Highly Selective Conference Publications

• RADISH: Always-On Sound and Complete Race Detection in Software and Hardware RADISH: Always-On Sound and Complete Race Detection in Software and Hardware   [ISCA 2012]
  Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer.
  39th International Symposium on Computer Architecture, Portland, OR, June, 2012.
  Technical report with proofs: UW-CSE Technical Report 2012-04-01, April 2012
• Type-Directed Completion of Partial Expressions Type-Directed Completion of Partial Expressions   [PLDI 2012]
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman.
  ACM Conference on Programming Language Design and Implementation, Beijing, China, June, 2012.
• EnerJ: Approximate Data Types for Safe and General Low-Power Computation EnerJ: Approximate Data Types for Safe and General Low-Power Computation   [PLDI 2011]
  Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman.
  ACM Conference on Programming Language Design and Implementation, San Jose, CA, June, 2011.
• RCDC: A Relaxed-Consistency Deterministic Computer RCDC: A Relaxed-Consistency Deterministic Computer   [ASPLOS 2011]
  Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze and Dan Grossman.
  16th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 67–78, Newport Beach, CA, March, 2011.
• ASF: AMD64 Extension for Lock-free Data Structures and Transactional Memory ASF: AMD64 Extension for Lock-free Data Structures and Transactional Memory   [MICRO 2010]
  Jaewoong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman.
  International Symposium on Microarchitecture, Atlanta, GA, December, 2010.
• Composable Specifications for Structured Shared-Memory Communication Composable Specifications for Structured Shared-Memory Communication   [OOPSLA 2010]
  Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 140–159, Reno, NV, October, 2010.
• Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects   [OOPSLA 2010]
  Benjamin S. Lerner, Herman Venter, Dan Grossman.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 361–376, Reno, NV, October, 2010.
• ParaTimer: A Progress Indicator for MapReduce DAGs ParaTimer: A Progress Indicator for MapReduce DAGs   [SIGMOD 2010]
  Kristi Morton, Magdalena Balazinska, Dan Grossman.
  ACM SIGMOD International Conference on Management of Data, pages 507–518, Indianapolis, IN, June, 2010.
• CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution   [ASPLOS 2010]
  Tom Bergan, Joe Devietti, Owen Anderson, Luis Ceze, Dan Grossman.
  15th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 53–64, Pittsburgh, PA, March, 2010.
• Estimating the Progress of MapReduce Pipelines Estimating the Progress of MapReduce Pipelines   [ICDE 2010]
  Kristi Morton, Abram Friesen, Magdalena Balazinska, and Dan Grossman.
  26th IEEE International Conference on Data Engineering, pages 681–684, Long Beach, CA, March, 2010.
• Transactional Events for ML Transactional Events for ML   [ICFP 2008]
  Laura Effinger-Dean, Matthew Kehrt, Dan Grossman.
  13th ACM International Conference on Functional Programming, pages 103–114, Victoria, Canada, September, 2008.
• Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts   [CC 2008]
  Marius Nita, Dan Grossman.
  International Conference on Compiler Construction, pages 85–99, Budapest, Hungary, March, 2008.
• High-Level Small-Step Operational Semantics for Transactions High-Level Small-Step Operational Semantics for Transactions   [POPL 2008]
  Katherine F. Moore, Dan Grossman.
  The 35th Annual ACM Symposium on Principles of Programming Languages, pages 51–62, San Francisco, CA, January, 2008.
  Technical companion with full proofs
  Note: An earlier version was presented at the 2nd ACM SIGPLAN Workshop on Transactional Computing, August 2007.
• A Theory of Platform-Dependent Low-Level Software A Theory of Platform-Dependent Low-Level Software   [POPL 2008]
  Marius Nita, Dan Grossman, Craig Chambers.
  The 35th Annual ACM Symposium on Principles of Programming Languages, pages 209–220, San Francisco, CA, January, 2008.
  Technical companion with full proofs
• The Transactional Memory / Garbage Collection Analogy The Transactional Memory / Garbage Collection Analogy   [OOPSLA 2007]
  Dan Grossman.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Essays Track), pages 695–706, Montreal, Canada, October, 2007.
• Enforcing Isolation and Ordering in STM Enforcing Isolation and Ordering in STM   [PLDI 2007]
  Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steve Balensiefer, Dan Grossman, Richard Hudson, Katherine F. Moore, Bratin Saha.
  ACM Conference on Programming Language Design and Implementation, pages 78–88, San Diego, CA, June, 2007.
• Searching for Type-Error Messages Searching for Type-Error Messages   [PLDI 2007]
  Benjamin Lerner, Matthew Flower, Dan Grossman, Craig Chambers.
  ACM Conference on Programming Language Design and Implementation, pages 425–434, San Diego, CA, June, 2007.
• Automatically Inferring Structural Changes for Matching Across Program Versions Automatically Inferring Structural Changes for Matching Across Program Versions   [ICSE 2007]
  Miryung Kim, David Notkin, Dan Grossman.
  29th International Conference on Software Engineering, pages 333–343, Minneapolis, MN, May, 2007.
• Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking   [CCS 2005]
  Michael F. Ringenburg, Dan Grossman.
  12th ACM Conference on Computer and Communications Security, pages 354–363, Alexandria, VA, November, 2005.
• AtomCaml: First-Class Atomicity via Rollback AtomCaml: First-Class Atomicity via Rollback   [ICFP 2005]
  Michael F. Ringenburg, Dan Grossman.
  10th ACM International Conference on Functional Programming, pages 92–104, Tallinn, Estonia, September, 2005.
• Region-Based Memory Management in Cyclone Region-Based Memory Management in Cyclone   [PLDI 2002]
  Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney.
  ACM Conference on Programming Language Design and Implementation, pages 282–293, Berlin, Germany, June, 2002.
  Associated Technical Report: Cornell CS Technical Report 2001-1856
• Cyclone: A Safe Dialect of C Cyclone: A Safe Dialect of C   [USENIX 2002]
  Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang.
  USENIX Annual Technical Conference, pages 275–288, Monterey, CA, June, 2002.
• Existential Types for Imperative Languages Existential Types for Imperative Languages   [ESOP 2002]
  Dan Grossman.
  11th European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 21–35, Grenoble, France, April, 2002.
  Associated Technical Report: Cornell CS Technical Report 2001-1854
• Principals in Programming Languages: A Syntactic Proof Technique Principals in Programming Languages: A Syntactic Proof Technique   [ICFP 1999]
  Steve Zdancewic, Dan Grossman, Greg Morrisett.
  4th ACM International Conference on Functional Programming, pages 197–207, Paris, France, September, 1999.
  "Syntactic Type Abstraction" is a revised and extended version.

Other Conference and Workshop Publications

• The Case For Merging Execution- and Language-level Determinism with MELD The Case For Merging Execution- and Language-level Determinism with MELD   [WoDET 2012]
  Joseph Devietti, Dan Grossman, Luis Ceze.
  3rd Workshop on Determinism and Correctness in Parallel Programming, London, United Kingdon, March, 2012.
• Introducing Parallelism and Concurrency in the Data Structures Course Introducing Parallelism and Concurrency in the Data Structures Course   [SIGCSE 2012]
  Dan Grossman, Ruth E. Anderson.
  43rd SIGCSE Technical Symposium on Computer Science Education, Raleigh, NC, March, 2012.
• Static Lock Capabilities for Deadlock Freedom Static Lock Capabilities for Deadlock Freedom   [TLDI 2012]
  Colin S. Gordon, Michael D. Ernst, Dan Grossman.
  ACM SIGPLAN Workshop on Types in Language Design and Implementation, Philadelphia, PA, January, 2012.
• Data-Race Exceptions Have Benefits Beyond the Memory Model Data-Race Exceptions Have Benefits Beyond the Memory Model   [MSPC 2011]
  Benjamin P. Wood, Luis Ceze, Dan Grossman.
  ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, San Jose, CA, June, 2011.
• Region-Based Dynamic Separation for STM Haskell Region-Based Dynamic Separation for STM Haskell   [TRANSACT 2011]
  Laura Effinger-Dean, Dan Grossman.
  ACM SIGPLAN Workshop on Transactional Computing, San Jose, CA, June, 2011.
• The Case for Being Lazy: How to Leverage Lazy Evaluation in MapReduce The Case for Being Lazy: How to Leverage Lazy Evaluation in MapReduce   [SciCloud 2011]
  Kristi Morton, Magdalena Balazinska, Dan Grossman, Christopher Olston.
  ScienceCloud 2011: 2nd Workshop on Scientific Cloud Computing, San Jose, CA, June, 2011.
• Crunching Large Graphs With Commodity Processors Crunching Large Graphs With Commodity Processors   [HotPar 2011]
  Jacob Nelson, Brandon Myers, A. H. Hunter, Preston Briggs, Luis Ceze, Carl Ebeling, Dan Grossman, Simon Kahan, Mark Oskin.
  3rd USENIX Workshop on Hot Topics in Parallelism, Berkeley, CA, May, 2011.
• Ready-For-Use: 3 Weeks of Parallelism and Concurrency in a Required Second-Year Data-Structures Course Ready-For-Use: 3 Weeks of Parallelism and Concurrency in a Required Second-Year Data-Structures Course   [CCP 2010]
  Dan Grossman.
  Workshop on Curricula for Concurrency and Parallelism, Reno, NV, October, 2010.
• Lock Prediction Lock Prediction   [HotPar 2010]
  Brandon Lucia, Joseph Devietti, Tom Bergan, Luis Ceze, Dan Grossman.
  2nd USENIX Workshop on Hot Topics in Parallelism, Berkeley, CA, June, 2010.
• Language Support for Extensible Web Browsers Language Support for Extensible Web Browsers   [APLWACA 2010]
  Benjamin S. Lerner, Dan Grossman.
  Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications, Toronto, Canada, June, 2010.
• Programming Idioms for Transactional Events Programming Idioms for Transactional Events   [PLACES 2009]
  Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman.
  Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software, York, United Kingdom, March, 2009.
  Published in Electronic Proceedings in Theoretical Computer Science, Volume 17, 2010, pages 43–48, doi 10.4204/EPTCS.17.4
• Software Transactions Meet First-Class Continuations Software Transactions Meet First-Class Continuations   [SCHEME 2007]
  Aaron Kimball, Dan Grossman.
  8th Annual Workshop on Scheme and Functional Programming, pages 47–58, Freiburg, Germany, September, 2007.
• Atomicity via Source-to-Source Translation Atomicity via Source-to-Source Translation   [MSPC 2006]
  Benjamin Hindman, Dan Grossman.
  ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, pages 82–91, San Jose, CA, October, 2006.
  Extended description: UW-CSE Technical Report 2006-05-01, May 2006
• What Do High-Level Memory Models Mean for Transactions? What Do High-Level Memory Models Mean for Transactions?   [MSPC 2006]
  Dan Grossman, Jeremy Manson, William Pugh.
  ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, pages 62–69, San Jose, CA, October, 2006.
• Seminal: Searching for ML Type-Error Messages Seminal: Searching for ML Type-Error Messages   [ML 2006]
  Benjamin Lerner, Dan Grossman, Craig Chambers.
  ACM SIGPLAN Workshop on ML, pages 63–73, Portland, OR, September, 2006.
• Types for Describing Coordinated Data Structures Types for Describing Coordinated Data Structures   [TLDI 2005]
  Michael F. Ringenburg, Dan Grossman.
  ACM SIGPLAN Workshop on Types in Language Design and Implementation, pages 25–36, Long Beach, CA, January, 2005.
• Experience With Safe Manual Memory-Management in Cyclone Experience With Safe Manual Memory-Management in Cyclone   [ISMM 2004]
  Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim.
  4th International Symposium on Memory Management, pages 73–84, Vancouver, Canada, October, 2004.
• Type-Safe Multithreading in Cyclone Type-Safe Multithreading in Cyclone   [TLDI 2003]
  Dan Grossman.
  ACM SIGPLAN Workshop on Types in Language Design and Implementation, pages 13–25, New Orleans, LA, January, 2003.
• Scalable Certification for Typed Assembly Language Scalable Certification for Typed Assembly Language   [TIC 2000]
  Dan Grossman, Greg Morrisett.
  3rd International Workshop on Types in Compilation, volume 2071 of Lecture Notes in Computer Science, pages 117–145, Montreal, Canada, September, 2000.
• TALx86: A Realistic Typed Assembly Language TALx86: A Realistic Typed Assembly Language   [WCSSS 1999]
  Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic.
  Workshop on Compiler Support for System Software, pages 25–35, Atlanta, Georgia, May, 1999.
  Published as INRIA Technical Report 0288
• JDuck: Building a Software Engineering Tool in Java as a CS2 Project JDuck: Building a Software Engineering Tool in Java as a CS2 Project   [SIGCSE 1999]
  Michael Godfrey, Dan Grossman.
  30th SIGCSE Technical Symposium on Computer Science Education, pages 48–52, New Orleans, LA, March, 1999.

Other Publications

• Cyclone: a Type-safe Dialect of C Cyclone: a Type-safe Dialect of C   [C/C++ Users Journal 2005]
  Dan Grossman, Michael Hicks, Greg Morrisett, Trevor Jim.
  C/C++ Users Journal, 23(1), January, 2005.
• Safe Programming at the C Level of Abstraction Safe Programming at the C Level of Abstraction   [PhD thesis 2003]
  Dan Grossman.
  PhD thesis, Cornell University, August, 2003.