Publications (in reverse chronological order)

Copyright notice

Note: See authors' homepages for additional publications and technical reports by the authors.

• Transactional Events for ML (ICFP 2008)
      Laura Effinger-Dean, Matthew Kehrt, Dan Grossman.
  
• A Model of Dynamic Separation for Transactional Memory (CONCUR 2008)
      Martin Abadi, Tim Harris, Katherine F. Moore.
  
• Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (CC 2008)
      Marius Nita and Dan Grossman
  
• A Theory of Linear Objects (FOOL 2008)
      Matthew Kehrt and Jonathan Aldrich
  
• Cluster Computing for Web-Scale Data Processing (SIGCSE 2008)
      Aaron Kimball, Sierra Michels-Slettvet, and Christophe Bisciglia
  
• A Theory of Platform-Dependent Low-Level Software (POPL 2008)
      Marius Nita, Dan Grossman, and Craig Chambers
• High-Level Small-Step Operational Semantics for Transactions (POPL 2008)
      Katherine F. Moore and Dan Grossman
  
• Software Transactions Meet First-Class Continuations (SCHEME 2007)
      Aaron Kimball and Dan Grossman
• The Transactional Memory / Garbage Collection Analogy (OOPSLA 2007)
      Dan Grossman
• Automatic Inference of Optimizer Flow Functions from Semantic Meanings (PLDI 2007)
      Erika Rice Scherpelz, Sorin Lerner, and Craig Chambers
• Searching for Type-Error Messages (PLDI 2007)
      Benjamin Lerner, Matthew Flower, Dan Grossman and Craig Chambers
• 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, and Bratin Saha
• Automatically Inferring Structural Changes for Matching Across Program Versions (ICSE 2007)
     Miryung Kim, David Notkin, Dan Grossman
• Safe Manual Memory Management in Cyclone (Science of Computer Programming 2006)
      Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim
  
• Atomicity via Source-to-Source Translation (MSPC 2006)
      Benjamin Hindman and Dan Grossman
  
• What Do High-Level Memory Models Mean for Transactions? (MSPC 2006)
      Dan Grossman, Jeremy Manson, William Pugh
  
• Seminal: Searching for ML Type-Error Messages (ML Workshop 2006)
      Benjamin Lerner, Dan Grossman and Craig Chambers
• Parameterized Modules for Classes and Extensible Functions (ECOOP 2006)
      Keunwoo Lee and Craig Chambers
• Quantified Types in an Imperative Language (TOPLAS 2006)
      Dan Grossman
• MultiJava: Design Rationale, Compiler Implementation, and Applications (TOPLAS 2006)
      Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers
• Automatically Proving the Correctness of Program Analyses and Transformations (Ph.D. dissertation 2006)
      Sorin Lerner
• Automatic Staged Compilation (Ph.D. dissertation 2005)
      Matthai Philipose
• Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking (CCS 2005)
      Michael F. Ringenburg and Dan Grossman
• AtomCaml: First-Class Atomicity via Rollback (ICFP 2005)
      Michael F. Ringenburg and Dan Grossman
• Types for Describing Coordinated Data Structures (TLDI 2005)
      Michael F. Ringenburg and Dan Grossman
• Automatically Inferring Sound Dataflow Functions from Dataflow Fact Schemas (COCV 2005)
      Erika Rice, Sorin Lerner, and Craig Chambers
• Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules (POPL 2005)
      Sorin Lerner, Todd Millstein, Erika Rice, and Craig Chambers
• Ownership Domains: Separating Aliasing Policy from Mechanism (ECOOP 2004)
      Jonathan Aldrich and Craig Chambers
• The Cecil Language: Specification and Rationale (Technical report, 1995-2004)
      Craig Chambers and the Cecil Group
• Experience With Safe Manual Memory-Management in Cyclone (ISMM 2004)
      Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim.
• Reconciling Software Extensibility with Modular Program Reasoning (Ph.D. dissertation 2003)
      Todd Millstein
• Constraint-Bounded Polymorphism: an Expressive and Practical Type System for Object-Oriented Languages (Ph.D. Dissertation 2003)
      Vassily Litvinov
• Using Types to Enforce Architectural Structure (Ph.D. Dissertation 2003)
      Jonathan Aldrich.
• HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems (OOPSLA 2003)
      Keunwoo Lee, Anthony LaMarca, and Craig Chambers
• Relaxed MultiJava: Balancing Extensibility and Modular Typechecking (OOPSLA 2003)
      Todd Millstein, Mark Reay, and Craig Chambers
• Language Support for Connector Abstractions (ECOOP 2003)
      Jonathan Aldrich, Vibha Sazawal, David Notkin, and Craig Chambers
• Automatically Proving the Correctness of Compiler Optimizations (PLDI 2003)
      Sorin Lerner, Todd Millstein, and Craig Chambers
• Comprehensive Synchronization Elimination for Java (Science of Computer Programming 2003)
      Jonathan Aldrich, Emin Gun Sirer, Craig Chambers, and Susan Eggers
• Alias Annotations for Program Understanding (OOPSLA 2002)
      Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers
• Architectural Reasoning in ArchJava (ECOOP 2002)
      Jonathan Aldrich, Craig Chambers, and David Notkin>
• Modular Typechecking for Hierarchically Extensible Datatypes and Functions (ICFP 2002)
      Todd Millstein, Colin Bleckner, and Craig Chambers
• ArchJava: Connecting Software Architecture to Implementation (ICSE 2002)
       Jonathan Aldrich, Craig Chambers, and David Notkin
• Composing Dataflow Analyses and Transformations (POPL 2002)
      Sorin Lerner, David Grove, and Craig Chambers
• Towards Automatic Construction of Staged Compilers (POPL 2002)
      Matthai Philipose, Craig Chambers, Susan Eggers
• A Framework for Call Graph Construction Algorithms (TOPLAS 2001)
      David Grove and Craig Chambers
• MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java (OOPSLA 2000)
      Curtis Clifton, Gary T. Leavens, Craig Chambers, and Todd Millstein
• Efficient Multiple and Predicate Dispatching (OOPSLA 1999)
      Craig Chambers and Weimin Chen
• Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (SAS 1999)
      Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers
• Modular Statically Typed Multimethods (I&C, ECOOP 1999)
      Todd Millstein and Craig Chambers
• Effective Interprocedural Optimization of Object-Oriented Languages (Ph.D. Dissertation 1998)
      David Grove
• Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (OOPSLA 1998)
      Vassily Litvinov
• Predicate Dispatching: A Unified Theory of Dispatch (ECOOP 1998)
      Michael Ernst, Craig Kaplan, and Craig Chambers
• Fast Interprocedural Class Analysis (POPL 1998)
      Greg DeFouw, David Grove, and Craig Chambers
• Call Graph Construction in Object-Oriented Languages (OOPSLA 1997)
      David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers
• BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing (FOOL 1997)
      Craig Chambers and Gary Leavens
• Whole-Program Optimization of Object-Oriented Languages (Ph.D. Dissertation 1996)
      Jeffrey Dean
• Vortex: An Optimizing Compiler for Object-Oriented Languages (OOPSLA 1996)
      Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, and Craig Chambers
• Synergies Between Object-Oriented Programming Language Design and Implementation Research (ISOTAS 1996)
      Craig Chambers
• Frameworks for Intra- and Interprocedural Dataflow Analysis (Technical report 1996)
      Craig Chambers, Jeffrey Dean, and David Grove
• Whole-Program Optimization of Object-Oriented Languages (Technical report 1996)
      Craig Chambers, Jeffrey Dean, and David Grove
• Expressive, Efficient Instance Variables (1996)
      Jeffrey Dean, David Grove, Craig Chambers, and Vassily Litvinov
• Profile-Guided Receiver Class Prediction (OOPSLA 1995)
      David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers
• A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (ICSE 1995)
      Craig Chambers, Jeffrey Dean, and David Grove
• The Impact of Interprocedural Class Analysis on Optimization (CASCON 1995)
      David Grove
• Typechecking and Modules for Multi-Methods (OOPSLA 1994 and TOPLAS 1995)
      Craig Chambers and Gary Leavens
• Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis (ECOOP 1995)
      Jeffrey Dean, David Grove, and Craig Chambers
• Selective Specialization for Object-Oriented Languages (PLDI 1995)
      Jeffrey Dean, Craig Chambers, and David Grove
• Towards Better Inlining Decisions Using Inlining Trials (L&FP 1994)
       Jeffrey Dean and Craig Chambers
• Predicate Classes (ECOOP 1993)
      Craig Chambers
• Object-Oriented Multi-Methods in Cecil (ECOOP 1992)
      Craig Chambers