Matthias Blume - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. ProceedingsMatthias Blume, Naoki Kobayashi, Germán Vidal, editors, Volume 6009 of Lecture Notes in Computer Science, Springer, 2010. [doi]

2009

An experimental analysis of self-adjusting computationUmut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan. TOPLAS, 32(1), 2009. [doi]

Language support for feature-oriented product line engineeringWonseok Chae, Matthias Blume. MoDELS 2009: 3-10 [doi]

2008

2007

A Consistent Semantics of Self-adjusting ComputationUmut A. Acar, Matthias Blume, Jacob Donham. ESOP 2007: 458-474 [doi]

Principal Type Schemes for Modular ProgramsDerek Dreyer, Matthias Blume. ESOP 2007: 441-457 [doi]

2006

2004

A sound (and complete) model of contractsMatthias Blume, David A. McAllester. ICFP 2004: 189-200 [doi]

2003

Taming the IXP network processorLal George, Matthias Blume. PLDI 2003: 26-37 [doi]

2001

No-Longer-Foreign: Teaching an ML compiler to speak C natively Matthias Blume. TCS, 59(1), 2001. [doi]

1999

Hierarchical modularityMatthias Blume, Andrew W. Appel. TOPLAS, 21(4):813-847, 1999. [doi]

Dependency analysis for Standard MLMatthias Blume. TOPLAS, 21(4):790-812, 1999. [doi]

1997

Lambda-Splitting: A Higher-Order Approach to Cross-Module OptimizationsMatthias Blume, Andrew W. Appel. ICFP 1997: 112-124

An Efficient Mapping of Fuzzy ART onto a Neural ArchitectureMatthias Blume, Sadik C. Esener. NN, 10(3):409-411, 1997. [doi]