Matthias Blume
Matthias Blume
Verified email at google.com
Title
Cited by
Cited by
Year
Hierarchical modularity
M Blume, AW Appel
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 813-847, 1999
861999
Imperative self-adjusting computation
UA Acar, A Ahmed, M Blume
ACM SIGPLAN Notices 43 (1), 309-322, 2008
842008
Contracts as pairs of projections
RB Findler, M Blume
International Symposium on Functional and Logic Programming, 226-241, 2006
812006
No-longer-foreign: Teaching an ML compiler to speak C “natively”
M Blume
Electronic Notes in Theoretical Computer Science 59 (1), 36-52, 2001
772001
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
752009
Taming the IXP network processor
L George, M Blume
ACM SIGPLAN Notices 38 (5), 26-37, 2003
662003
Typed closure conversion preserves observational equivalence
A Ahmed, M Blume
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
622008
Sound and complete models of contracts
M Blume, D McAllester
Journal of Functional Programming 16 (4-5), 375-414, 2006
612006
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
An equivalence-preserving CPS translation via multi-language semantics
A Ahmed, M Blume
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
572011
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
382006
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
321997
Extensible programming with first-class cases
M Blume, UA Acar, W Chae
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
292006
Exception handlers as extensible cases
M Blume, UA Acar, W Chae
Asian Symposium on Programming Languages and Systems, 273-289, 2008
212008
A sound (and complete) model of contracts
M Blume, D McAllester
ACM SIGPLAN Notices 39 (9), 189-200, 2004
212004
An investigation of contracts as projections
RB Findler, M Blume, M Felleisen
University of Chicago Technical Report, TR-2004-02, 2004
202004
Dependency analysis for Standard ML
M Blume
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 790-812, 1999
191999
Hierarchical modularity and intermodule optimization
M Blume
Princeton University, 1997
181997
Implicit causal models for genome-wide association studies
D Tran, DM Blei
arXiv preprint arXiv:1710.10742, 2017
172017
Building a family of compilers
W Chae, M Blume
2008 12th International Software Product Line Conference, 307-316, 2008
152008
The system can't perform the operation now. Try again later.
Articles 1–20