Matthias Blume's Publications and Research Papers

Journal Papers

• Sound and Complete Models of Contracts.
  Matthias Blume and David McAllester.
  In Journal of Functional Programming (JFP). 16 (4&5): 375-415, 2006.
  Invited paper. (This is a considerably expanded version of the ICFP'04 paper.)
  Paper: Abstract PDF
• Hierarchical Modularity.
  Matthias Blume and Andrew W. Appel.
  In ACM Transactions on Programming Languages and Systems, Volume 21, No. 4 (July 1999).
  Paper: Abstract PDF
• Dependency Analysis for Standard ML.
  Matthias Blume.
  In ACM Transactions on Programming Languages and Systems, Volume 21, No. 4 (July 1999).
  Paper: Abstract PDF

Refereed Conference and Workshop Papers

• Exception Handlers as Extensible Cases. 
  Matthias Blume, Umut A. Acar, and Wonseok Chae.
  To appear in Proceedings of the Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008).
  Bangalore, India, Dec 9-11, 2008.
  An expanded version is available as UofC CS Technical Report TR-2008-03.
  Paper (draft): Abstract PDF
• Typed Closure Conversion Preserves Observational Equivalence. 
  Amal Ahmed and Matthias Blume.
  In Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICPF'08).
  Victoria, British Columbia (Canada), Sep 22-24, 2008.
  An expanded version with supplementary material is available as UofC CS Technical Report TR-2008-07
  Paper: Abstract PDF
• Calling variadic functions from a strongly-typed language. 
  Matthias Blume, Mike Rainey, and John Reppy.
  In Proceedings of the 2008 ACM SIGPLAN Workshop on ML (ML 2008).
  Victoria, British Columbia (Canada), Sep 21, 2008.
  Paper: Abstract PDF
• Building a Family of Compilers. 
  Wonseok Chae and Matthias Blume.
  In Software Product Line Conference 2008 (SPLC2008).
  Limerick (Ireland), Sep 8-12, 2008.
  
• Imperative Self-Adjusting Computation. 
  Umut A. Acar, Amal Ahmed, and Matthias Blume.
  In Proceedings of the 35th Annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'08).
  San Francisco (USA), Jan 10-12, 2008.
  An expanded version is available as UofC CS Technical Report TR-2007-18.
  Paper: Abstract PDF
• A Consistent Semantics of Self-Adjusting Computation.
  Umut A. Acar, Matthias Blume, and Jacob Donham.
  In Proceedings of the 16th European Symposium on Programming (ESOP'07).
  Braga (Portugal), Mar 24-Apr 1, 2007.
  An expanded version is available as CMU CS Technical Report CMU-CS-06-168.
  Paper: Abstract, PDF
• Principal Type Schemes for Modular Programs.
  Derek Dreyer and Matthias Blume.
  In Proceedings of the 16th European Symposium on Programming (ESOP'07).
  Braga (Portugal), Mar 24-Apr 1, 2007.
  An expanded version is available as UofC CS Technical Report TR-2007-02. It supersedes TR-2006-08.
  Paper: Abstract, PDF
• Extensible Programming with First-Class Cases.
  Matthias Blume, Umut A. Acar and Wonseok Chae.
  In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming (ICFP'06).
  Portland, Oregon. Sep 18-20, 2006.
  Paper: Abstract PDF
• An Experimental Analysis of Self-Adjusting Computation.
  Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan.
  In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI'06).
  Ottawa, Canada, Jun 10-16, 2006.
  Paper: Abstract PDF
• Contracts as Pairs of Projections.
  Robert Bruce Findler and Matthias Blume.
  In Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS'06).
  Fuji Susono, Japan, 2006.
  Appeared in Lecture Notes in Computer Science (LNCS), Volume 3945, 2006.
  An expanded version with full proofs of the theorems is available as UofC CS Technical Report TR-2006-01.
  Paper: Abstract
• A Library for Self-Adjusting Computation.
  Umut Acar, Guy Blelloch, Matthias Blume, Robert Harper, and Kanat Tangwongsan.
  In The 2005 ACM SIGPLAN Workshop on ML.
  Tallinn, Estonia, Sep 29, 2005.
  Appeared in Electronic Notes in Theoretical Computer Science (ENTCS), Vol 148, Issue 2, Pages 127-154.
  Paper: Abstract PDF
• A Sound (and Complete) Model of Contracts.
  Matthias Blume and David McAllester.
  In Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming (ICFP'04).
  Snowbird, Utah, Sep 19-22, 2004.
  Paper: Abstract PDF
• Taming the IXP Network Processor.
  Lal George and Matthias Blume.
  In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03).
  San Diego, California. June 9-11, 2003.
  Paper: Abstract PDF
• No-Longer-Foreign: Teaching an ML compiler to speak C ``natively.''
  Matthias Blume.
  In BABEL'01: First workshop on multi-language infrastructure and interoperability.
  September 2001, Firenze, Italy.
  (Here is a slightly more detailed early draft of the same paper.)
  Paper: Abstract PDF
• Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.
  Matthias Blume and Andrew W. Appel.
  In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pp. 112-124.
  Amsterdam, The Netherlands. June 9-11, 1997.
  (Also available as Princeton University technical report TR-537-96.)
  Paper: Abstract PDF

Theses

• Hierarchical Modularity and Intermodule Optimization.
  Matthias Blume.
  Doctoral dissertation, Princeton University, 1997.
  (Also available as Princeton University technical report TR-551-97.) Thesis: PDF Postscript
• Das LISP-Programmiersystem yaXLISP, Handbuch.
  Diploma Thesis.
  Sektion Mathematik, Humboldt-Universität zu Berlin, 1989.
  In German.
  (Also available as Seminarbericht der HU Berlin, Sektion Mathematik.)

Technical Reports

• Typed Closure Conversion Preserves Observational Equivalence. 
  Amal Ahmed and Matthias Blume.
  University of Chicago Computer Science Technical Report TR-2008-07.
  July, 2008.
  Paper: Technical Report
• Exception Handlers as Extensible Cases. 
  Matthias Blume, Umut A. Acar, and Wonseok Chae.
  University of Chicago Computer Science Technical Report TR-2008-03.
  February, 2008.
  Paper: Technical Report
• Imperative Self-Adjusting Computation. 
  Umut A. Acar, Amal Ahmed, and Matthias Blume.
  University of Chicago Computer Science Technical Report TR-2007-18.
  November, 2007.
  (This supersedes an earlier version of the same report.)
  Paper: Technical Report (earlier version)
• A Consistent Semantics of Self-Adjusting Computation.
  Umut A. Acar, Matthias Blume, and Jacob Donham.
  Computer Science Technical Report CMU-CS-06-168, School of Computer Science, Carnegie Mellon University.
  December, 2006.
  Paper: Technical Report
• Principal Type Schemes for Modular Programs.
  Derek Dreyer and Matthias Blume.
  University of Chicago Computer Science Technical Report TR-2007-02.
  January 5, 2007.
  (This supersedes an earlier version of the same report.)
  Paper: Technical Report (earlier version)
• Contracts as Pairs of Projections.
  Robert Bruce Findler and Matthias Blume.
  University of Chicago Computer Science Technical Report TR-2006-01.
  January 20, 2006.
  (This supersedes an earlier version of the same report.).
  Paper: Technical Report (earlier version)
• An Investigation of Contracts as Projections.
  Robert Bruce Findler, Matthias Blume, and Matthias Felleisen.
  University of Chicago Computer Science Technical Report TR-2004-02.
  April 1, 2004.
  Paper: Technical Report
• : Using Non-deterministic Choice as Part of a Deterministic Calculus.
  Matthias Blume.
  Technical report RIMS-1283, Research Institute for Mathematical Sciences.
  Kyoto University, July 2000.
  Paper: Abstract PDF
• Hierarchical Modularity: Compilation Management for Standard ML.
  Matthias Blume and Andrew W. Appel.
  Princeton University technical report TR-555-97.
  July 1997.
  Paper: Technical Report
• Hierarchical Modularity and Intermodule Optimization.
  Matthias Blume.
  Princeton University technical report TR-551-97.
  November 1997.
  Paper: Technical Report
• Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.
  Matthias Blume and Andrew W. Appel.
  Princeton University technical report TR-537-96.
  November 1996.
  Paper: Technical Report
• Refining Hygienic Macros for Modules and Separate Compilation.
  Matthias Blume.
  ATR Technical Report TR-H-171.
  ATR Human Information Processing Research Laboratories. Kyoto, Japan, 1995.
  Paper: Abstract PDF

Others

• CMB - The SML/NJ Bootstrap Compiler.
  Matthias Blume.
  Distributed with SML/NJ since version 110.30.
  Paper: HTML
• CM - The SML/NJ Compilation- and Library Manager, User Manual.
  Matthias Blume.
  Distributed with SML/NJ since version 110.20.
  Paper: PDF
• CM - A Compilation Manager for SML/NJ, User Manual.
  Matthias Blume.
  Distributed with SML/NJ prior to version 110.20.
  Paper: HTML
• Das LISP-Programmiersystem yaXLISP, Handbuch.
  Seminarbericht Nr. 107, Berlin: Sektion Mathematik der Humboldt-Universität zu Berlin, 1990.
  In German.
  (Defended as diploma thesis in 1989.)
• Streams als flexible abstrakte E/A-Schnittstelle.
  Matthias Blume.
  Unix/Mail. 3/90, Carl Hanser Verlag, München, 1990.
• Separate Compilation for Scheme.
  Matthias Blume.
  Unpublished Draft Paper: Abstract PDF
• XonX - Wie funktioniert ein Fensterprotokoll.
  Matthias Blume and Andreas Polze.
  Unix/Mail 2/92, Carl Hanser Verlag, München, 1992.