Matthias Blume

Jianjun Xie, Scott Leishman, Liang Tian, David Lisuk, Seongjoon Koo, Matthias Blume: Feature Engineering in User's Music Preference Prediction. Journal of Machine Learning Research - Proceedings Track 18: 183-197 (2012)

Matthias Blume, Germán Vidal: Preface. Theor. Comput. Sci. 435: 1-2 (2012)

Amal Ahmed, Matthias Blume: An equivalence-preserving CPS translation via multi-language semantics. ICFP 2011: 431-444

Umut A. Acar, Matthias Blume, Jacob Donham: A Consistent Semantics of Self-Adjusting Computation. CoRR abs/1106.0478 (2011)

Matthias Blume, Naoki Kobayashi, Germán Vidal (Eds.): Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Lecture Notes in Computer Science 6009, Springer 2010, isbn 978-3-642-12250-7

Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan: An experimental analysis of self-adjusting computation. ACM Trans. Program. Lang. Syst. 32(1) (2009)

Wonseok Chae, Matthias Blume: Language support for feature-oriented product line engineering. FOSD 2009: 3-10

Matthias Blume, Umut A. Acar, Wonseok Chae: Exception Handlers as Extensible Cases. APLAS 2008: 273-289

Amal Ahmed, Matthias Blume: Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168

Matthias Blume, Mike Rainey, John H. Reppy: Calling variadic functions from a strongly-typed language. ML 2008: 47-58

Umut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322

Wonseok Chae, Matthias Blume: Building a Family of Compilers. SPLC 2008: 307-316

Derek Dreyer, Matthias Blume: Principal Type Schemes for Modular Programs. ESOP 2007: 441-457

Umut A. Acar, Matthias Blume, Jacob Donham: A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474

Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan: A Library for Self-Adjusting Computation. Electr. Notes Theor. Comput. Sci. 148(2): 127-154 (2006)

Matthias Blume, David A. McAllester: Sound and complete models of contracts. J. Funct. Program. 16(4-5): 375-414 (2006)

Robert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. FLOPS 2006: 226-241

Matthias Blume, Umut A. Acar, Wonseok Chae: Extensible programming with first-class cases. ICFP 2006: 239-250

Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan: An experimental analysis of self-adjusting computation. PLDI 2006: 96-107

Matthias Blume, David A. McAllester: A sound (and complete) model of contracts. ICFP 2004: 189-200

Lal George, Matthias Blume: Taming the IXP network processor. PLDI 2003: 26-37

Matthias Blume: No-Longer-Foreign: Teaching an ML compiler to speak C "natively". Electr. Notes Theor. Comput. Sci. 59(1): 36-52 (2001)

Matthias Blume: Dependency analysis for Standard ML. ACM Trans. Program. Lang. Syst. 21(4): 790-812 (1999)

Matthias Blume, Andrew W. Appel: Hierarchical modularity. ACM Trans. Program. Lang. Syst. 21(4): 813-847 (1999)

Matthias Blume, Sadik C. Esener: An Efficient Mapping of Fuzzy ART onto a Neural Architecture. Neural Networks 10(3): 409-411 (1997)

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