Follow
Matthias Blume
Matthias Blume
Verified email at google.com
Title
Cited by
Cited by
Year
Imperative self-adjusting computation
UA Acar, A Ahmed, M Blume
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
1042008
An experimental analysis of self-adjusting computation
UA Acar, GE Blelloch, M Blume, R Harper, K Tangwongsan
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (1), 1-53, 2009
932009
An equivalence-preserving CPS translation via multi-language semantics
A Ahmed, M Blume
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
922011
Typed closure conversion preserves observational equivalence
A Ahmed, M Blume
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
902008
Contracts as pairs of projections
RB Findler, M Blume
International Symposium on Functional and Logic Programming, 226-241, 2006
902006
Hierarchical modularity
M Blume, AW Appel
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 813-847, 1999
901999
No-longer-foreign: Teaching an ML compiler to speak C “natively”
M Blume
Electronic Notes in Theoretical Computer Science 59 (1), 36-52, 2001
882001
Taming the IXP network processor
L George, M Blume
ACM SIGPLAN Notices 38 (5), 26-37, 2003
802003
Sound and complete models of contracts
M Blume, D McAllester
Journal of Functional Programming 16 (4-5), 375-414, 2006
682006
An experimental analysis of self-adjusting computation
UA Acar, GE Blelloch, M Blume, K Tangwongsan
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006
602006
A library for self-adjusting computation
U Acar, G Blelloch, M Blume, R Harper, K Tangwongsan
Electronic Notes in Theoretical Computer Science 148 (2), 127-154, 2006
412006
Extensible programming with first-class cases
M Blume, UA Acar, W Chae
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
392006
Lambda-splitting: A higher-order approach to cross-module optimizations
M Blume, AW Appel
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
341997
Exception handlers as extensible cases
M Blume, UA Acar, W Chae
Asian Symposium on Programming Languages and Systems, 273-289, 2008
232008
Dependency analysis for Standard ML
M Blume
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 790-812, 1999
211999
A sound (and complete) model of contracts
M Blume, D McAllester
ACM SIGPLAN Notices 39 (9), 189-200, 2004
202004
An investigation of contracts as projections
RB Findler, M Blume, M Felleisen
University of Chicago Technical Report, TR-2004-02, 2004
202004
Hierarchical modularity and intermodule optimization
M Blume
Princeton University, 1997
191997
Building a family of compilers
W Chae, M Blume
Applied Software Product Line Engineering, 223-252, 2009
172009
A consistent semantics of self-adjusting computation
UA Acar, M Blume, J Donham
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
152007
The system can't perform the operation now. Try again later.
Articles 1–20