Dan Grossman's Publications

Last updated: November 2009

Copyright notice

This page contains all of Dan Grossman's academic publications. It is available in several formats. You are currently viewing:

• Titles and Abbreviated Venues [Switch to Full Bibliography]
• Some Links Hosted by the ACM Digital Library [Switch to All Links Hosted by Dan]
• Purely Reverse Chronological [Switch to Separate Categories (Journal, Conference, Workshop, Other)]

Why are ACM Digital Library links the default?

Why are so many formats available?

• CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution   [ASPLOS 2010]
• Estimating the Progress of MapReduce Pipelines   [ICDE 2010]
• Programming Idioms for Transactional Events   [PLACES 2009]
• Transactional Events for ML   [ICFP 2008]
• Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts   [CC 2008]
• A Theory of Platform-Dependent Low-Level Software   [POPL 2008]
• High-Level Small-Step Operational Semantics for Transactions   [POPL 2008]
• The Transactional Memory / Garbage Collection Analogy   [OOPSLA 2007]
• Software Transactions Meet First-Class Continuations   [SCHEME 2007]
• Searching for Type-Error Messages   [PLDI 2007]
• Enforcing Isolation and Ordering in STM   [PLDI 2007]
• Automatically Inferring Structural Changes for Matching Across Program Versions   [ICSE 2007]
• What Do High-Level Memory Models Mean for Transactions?   [MSPC 2006]
• Atomicity via Source-to-Source Translation   [MSPC 2006]
• Safe Manual Memory Management in Cyclone   [SCP 2006]
• Seminal: Searching for ML Type-Error Messages   [ML 2006]
• Quantified Types in an Imperative Language   [TOPLAS 2006]
• Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking   [CCS 2005]
• AtomCaml: First-Class Atomicity via Rollback   [ICFP 2005]
• Types for Describing Coordinated Data Structures   [TLDI 2005]
• Cyclone: a Type-safe Dialect of C   [C/C++ Users Journal 2005]
• Experience With Safe Manual Memory-Management in Cyclone   [ISMM 2004]
• Safe Programming at the C Level of Abstraction   [PhD thesis 2003]
• Compiling for Template-Based Run-Time Code Generation   [JFP 2003]
• Type-Safe Multithreading in Cyclone   [TLDI 2003]
• Region-Based Memory Management in Cyclone   [PLDI 2002]
• Cyclone: A Safe Dialect of C   [USENIX 2002]
• Existential Types for Imperative Languages   [ESOP 2002]
• Syntactic Type Abstraction   [TOPLAS 2000]
• Scalable Certification for Typed Assembly Language   [TIC 2000]
• Principals in Programming Languages: A Syntactic Proof Technique   [ICFP 1999]
• TALx86: A Realistic Typed Assembly Language   [WCSSS 1999]
• JDuck: Building a Software Engineering Tool in Java as a CS2 Project   [SIGCSE 1999]