Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Matthias Blume's Publications and Research 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:AbstractPDF
Hierarchical Modularity.
Matthias Blume and Andrew W. Appel.
In ACM Transactions on Programming Languages and Systems,
Volume 21, No. 4 (July 1999).
Paper:AbstractPDF
Dependency Analysis for Standard ML.
Matthias Blume.
In ACM Transactions on Programming Languages and Systems,
Volume 21, No. 4 (July 1999).
Paper:AbstractPDF
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):AbstractPDF
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:AbstractPDF
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:AbstractPDF
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:AbstractPDF
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:AbstractPDF
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:AbstractPDF
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 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:AbstractPDF
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:AbstractPDF
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:AbstractPDF
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: AbstractPDF
Theses
Hierarchical Modularity and Intermodule Optimization.
Matthias Blume.
Doctoral dissertation, Princeton University, 1997.
(Also available as
Princeton University technical report
TR-551-97.)
Thesis: PDFPostscript
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:AbstractPDF
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:AbstractPDF
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:AbstractPDF
XonX - Wie funktioniert ein Fensterprotokoll.
Matthias Blume and Andreas Polze.
Unix/Mail 2/92,
Carl Hanser Verlag, München, 1992.