Dan Grossman's Publications

Highly Selective Conference Publications

• Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation   [OOPSLA 2021]
  Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October, 2021.
• Proof Repair across Type Equivalences Proof Repair across Type Equivalences   [PLDI 2021]
  Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman.
  ACM Conference on Programming Language Design and Implementation, June, 2021.
• Reticle: A Virtual Machine for Programming Modern FPGAs Reticle: A Virtual Machine for Programming Modern FPGAs   [PLDI 2021]
  Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze.
  ACM Conference on Programming Language Design and Implementation, June, 2021.
• Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations   [PLDI 2020]
  Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock.
  ACM Conference on Programming Language Design and Implementation, London, UK, June, 2020.
• Ornaments for Proof Reuse in Coq Ornaments for Proof Reuse in Coq   [ITP 2019]
  Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman.
  Tenth International Conference on Interactive Theorem Proving, Portland, OR, September, 2019.
• Concerto: A Framework for Combined Concrete and Abstract Interpretation Concerto: A Framework for Combined Concrete and Abstract Interpretation   [POPL 2019]
  John Toman, Dan Grossman.
  ACM Symposium on Principles of Programming Languages, Lisbon, Portugal, January, 2019.
• Functional Programming for Compiling and Decompiling Computer-Aided Design Functional Programming for Compiling and Decompiling Computer-Aided Design   [ICFP 2018]
  Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock.
  23rd International Conference on Functional Programming, St. Louis, MO, September, 2018.
• Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates   [ECOOP 2018]
  John Toman, Dan Grossman.
  European Conference on Object-Oriented Programming, Amsterdman, Netherlands, June, 2018.
• A Solver-Aided Language for Test Input Generation A Solver-Aided Language for Test Input Generation   [OOPSLA 2017]
  Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, Canada, October, 2017.
• Instrumentation Bias for Dynamic Data Race Detection Instrumentation Bias for Dynamic Data Race Detection   [OOPSLA 2017]
  Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, Canada, October, 2017.
• AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems   [CCS 2016]
  Talia Ringer, Dan Grossman, Franziska Roesner.
  23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October, 2016.
• Staccato: A Bug-Finder for Dynamic Configuration Updates Staccato: A Bug-Finder for Dynamic Configuration Updates   [ECOOP 2016]
  John Toman, Dan Grossman.
  European Conference on Object-Oriented Programming, Rome, Italy, July, 2016.
• Verified Peephole Optimizations for CompCert Verified Peephole Optimizations for CompCert   [PLDI 2016]
  Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman.
  ACM Conference on Programming Language Design and Implementation, Santa Barbara, CA, June, 2016.
• Optimizing Synthesis with Metasketches Optimizing Synthesis with Metasketches   [POPL 2016]
  James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze.
  ACM Symposium on Principles of Programming Languages, St. Petersburg, FL, January, 2016.
• Probability Type Inference for Flexible Approximate Programming Probability Type Inference for Flexible Approximate Programming   [OOPSLA 2015]
  Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Pittsburgh, PA, October, 2015.
• Monitoring and Debugging the Quality of Results in Approximate Programs Monitoring and Debugging the Quality of Results in Approximate Programs   [ASPLOS 2015]
  Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman.
  20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, March, 2015.
• Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts   [OOPSLA 2014]
  Tom Bergan, Dan Grossman, Luis Ceze.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, OR, October, 2014.
• Expressing and Verifying Probabilistic Assertions Expressing and Verifying Probabilistic Assertions   [PLDI 2014]
  Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze.
  ACM Conference on Programming Language Design and Implementation, Edinburgh, Scotland, June, 2014.
• Test-Driven Synthesis Test-Driven Synthesis   [PLDI 2014]
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost.
  ACM Conference on Programming Language Design and Implementation, Edinburgh, Scotland, June, 2014.
• Low-Level Detection of Language-Level Data Races with LARD Low-Level Detection of Language-Level Data Races with LARD   [ASPLOS 2014]
  Benjamin P. Wood, Luis Ceze, Dan Grossman.
  19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, March, 2014.
• Input-Covering Schedules for Multithreaded Programs Input-Covering Schedules for Multithreaded Programs   [OOPSLA 2013]
  Tom Bergan, Luis Ceze, Dan Grossman.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Indianapolis, IN, October, 2013.
• JavaUI: Effects for Controlling UI Object Access JavaUI: Effects for Controlling UI Object Access   [ECOOP 2013]
  Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman.
  European Conference on Object-Oriented Programming, Montpellier, France, July, 2013.
• Rely-Guarantee References for Refinement Types over Aliased Mutable Data Rely-Guarantee References for Refinement Types over Aliased Mutable Data   [PLDI 2013]
  Colin S. Gordon, Michael D. Ernst, Dan Grossman.
  ACM Conference on Programming Language Design and Implementation, Seattle, WA, June, 2013.
• IFRit: Interference-Free Regions for Dynamic Data-Race Detection IFRit: Interference-Free Regions for Dynamic Data-Race Detection   [OOPSLA 2012]
  Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-J. Boehm.
  ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Tucson, AZ, October, 2012.
• 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.

Journal Publications

• Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types   [TOPLAS 2017]
  Colin S. Gordon, Michael D. Ernst, Dan Grossman, and Matthew J. Parkinson.
  ACM Transactions on Programming Languages and Systems, 39(3), May, 2017.
• Identifying and Summarizing Systematic Code Changes via Rule Inference Identifying and Summarizing Systematic Code Changes via Rule Inference   [TSE 2013]
  Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
  IEEE Transactions on Software Engineering 39(1), pages 45–62, January, 2013.
• 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."

Other Conference and Workshop Publications

• REPLICA: REPL Instrumentation for Coq Analysis REPLICA: REPL Instrumentation for Coq Analysis   [CPP 2020]
  Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner.
  The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, New Orleans, LA, January, 2020.
• Sinking Point: Dynamic Precision Tracking for Floating-Point Sinking Point: Dynamic Precision Tracking for Floating-Point   [CoNGA 2019]
  Bill Zorn, Dan Grossman, Zach Tatlock.
  Conference for Next Generation Arithmetic, Singapore, March, 2019.
• Adapting Proof Automation to Adapt Proofs Adapting Proof Automation to Adapt Proofs   [CPP 2018]
  Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman.
  The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, January, 2018.
• Œuf: Minimizing the Coq Extraction TCB Œuf: Minimizing the Coq Extraction TCB   [CPP 2018]
  Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman.
  The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, January, 2018.
• Solver Aided Reverse Engineering of Architectural Features Solver Aided Reverse Engineering of Architectural Features   [WDDD 2017]
  Bill Zorn, Dan Grossman, Luis Ceze.
  14th Annual Workshop on Duplicating, Deconstructing and Debunking, Toronto, Canada, June, 2017.
• Debugging Probabilistic Programs Debugging Probabilistic Programs   [MAPL 2017]
  Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley.
  The First ACM SIGPLAN Workshop on Machine Learning and Programming Languages, Barcelona, Spain, June, 2017.
• Taming the Static Analysis Beast Taming the Static Analysis Beast   [SNAPL 2017]
  John Toman, Dan Grossman.
  SNAPL: The 2nd Summit On Advances in Programming Languages, Asilomar, CA, May, 2017.
• Programming Language Tools and Techniques for 3D Printing Programming Language Tools and Techniques for 3D Printing   [SNAPL 2017]
  Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock.
  SNAPL: The 2nd Summit On Advances in Programming Languages, Asilomar, CA, May, 2017.
• Approximate Program Synthesis Approximate Program Synthesis   [WAX 2015]
  James Bornholt, Emina Torlak, Luis Ceze, Dan Grossman.
  Workshop on Approximate Computing Across the Stack, Portland, OR, June, 2015.
• Toward a Dependability Case Language and Workflow for a Radiation Therapy System Toward a Dependability Case Language and Workflow for a Radiation Therapy System   [SNAPL 2015]
  Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang.
  The Inaugural Summit On Advances in Programming Languages, Asilomar, CA, May, 2015.
• Peek: A Formally Verified Peephole Optimization Framework for x86 Peek: A Formally Verified Peephole Optimization Framework for x86   [CoqPL 2015]
  Eric Mullen, Zachary Tatlock, Dan Grossman.
  1st International Workshop on Coq for Programming Languages, Mumbai, India, January, 2015.
• Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems   [PVLDB (vision track) 2014]
  Kristi Morton, Magdalena Balazinska, Dan Grossman, Jock Mackinlay.
  Proceedings of the 40th International Conference on Very Large Databases (Vision Track), Hangzhou, China, September, 2014.
• Profiling and Autotuning for Energy-Aware Approximate Programming Profiling and Autotuning for Energy-Aware Approximate Programming   [WACAS 2014]
  Michael F. Ringenburg, Adrian Sampson, Luis Ceze, Dan Grossman.
  Workshop on Approximate Computing Across the System Stack, Salt Lake City, UT, March, 2014.
• Tuning Approximate Computations with Constraint-Based Type Inference Tuning Approximate Computations with Constraint-Based Type Inference   [WACAS 2014]
  Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze.
  Workshop on Approximate Computing Across the System Stack, Salt Lake City, UT, March, 2014.
• Input-Covering Schedules for Multithreaded Programs Input-Covering Schedules for Multithreaded Programs   [WoDET 2013]
  Tom Bergan, Luis Ceze, Dan Grossman.
  4th Workshop on Determinism and Correctness in Parallel Programming, Houston, TX, March, 2013.
• Detecting Conflicts Among Declarative UI Extensions Detecting Conflicts Among Declarative UI Extensions   [DLS 2012]
  Benjamin S. Lerner, Dan Grossman.
  Dynamic Languages Symposium, Tucson, AZ, October, 2012.
• 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.

Invited Publications

• How Programming Languages Will Co-evolve with Software Engineering: A Bright Decade Ahead How Programming Languages Will Co-evolve with Software Engineering: A Bright Decade Ahead   [FoSE 2014]
  Emerson Murphy-Hill, Dan Grossman.
  36th International Conference on Software Engineering — Future of Software Engineering track, Hyderabad, India, June, 2014.

Other Publications

• Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics? Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics?   [SIGMOD Record 2014]
  Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock Mackinlay.
  SIGMOD Record, June, 2014.
• EnerJ, the Language of Good-Enough Computing EnerJ, the Language of Good-Enough Computing   [IEEE Spectrum 2013]
  Adrian Sampson, Luis Ceze, Dan Grossman.
  IEEE Spectrum, October, 2013.
• 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.