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

An Efficient Mapping of Fuzzy ART onto a Neural Architecture. - Matthias Blume; Sadik C. Esener (Neural Networks, 1997)

Dependency analysis for Standard ML. - Matthias Blume (ACM Trans. Program. Lang. Syst., 1999)

Hierarchical modularity. - Matthias Blume; Andrew W. Appel (ACM Trans. Program. Lang. Syst., 1999)

No-Longer-Foreign: Teaching an ML compiler to speak C "natively". - Matthias Blume (BABEL, 2001)

Taming the IXP network processor. - Lal George; Matthias Blume (PLDI, 2003)

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

New Experiments in Distributional Representations of Synonymy. - Dayne Freitag; Matthias Blume; John Byrnes; Edmond Chow; Sadik Kapadia; Richard Rohwer; Zhiqiang Wang (CoNLL, 2005)

A Library for Self-Adjusting Computation. - Umut A. Acar; Guy E. Blelloch; Matthias Blume; Robert Harper 001; Kanat Tangwongsan (ML, 2005)

Contracts as Pairs of Projections. - Robert Bruce Findler; Matthias Blume (FLOPS, 2006)

Extensible programming with first-class cases. - Matthias Blume; Umut A. Acar; Wonseok Chae (ICFP, 2006)

An experimental analysis of self-adjusting computation. - Umut A. Acar; Guy E. Blelloch; Matthias Blume; Kanat Tangwongsan (PLDI, 2006)

Sound and complete models of contracts. - Matthias Blume; David A. McAllester (J. Funct. Program., 2006)

Principal Type Schemes for Modular Programs. - Derek Dreyer; Matthias Blume (ESOP, 2007)

FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts. - Paul Kalmar; Matthias Blume (SemEval@ACL, 2007)

Exception Handlers as Extensible Cases. - Matthias Blume; Umut A. Acar; Wonseok Chae (APLAS, 2008)

Typed closure conversion preserves observational equivalence. - Amal Ahmed 001; Matthias Blume (ICFP, 2008)

Calling variadic functions from a strongly-typed language. - Matthias Blume; Mike Rainey; John H. Reppy (ML, 2008)

Imperative self-adjusting computation. - Umut A. Acar; Amal Ahmed 001; Matthias Blume (POPL, 2008)

Building a Family of Compilers. - Wonseok Chae; Matthias Blume (SPLC, 2008)

Language support for feature-oriented product line engineering. - Wonseok Chae; Matthias Blume (FOSD, 2009)

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

An equivalence-preserving CPS translation via multi-language semantics. - Amal Ahmed 001; Matthias Blume (ICFP, 2011)

Feature Engineering in User's Music Preference Prediction. - Jianjun Xie; Scott Leishman; Liang Tian; David Lisuk; Seongjoon Koo; Matthias Blume (KDD Cup, 2012)

Preface. - Matthias Blume; Germán Vidal (Theor. Comput. Sci., 2012)

A consistent semantics of self-adjusting computation. - Umut A. Acar; Matthias Blume; Jacob Donham (J. Funct. Program., 2013)

Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text. - Matthias Blume; Ghobad Heidari; Christoph Hewel (PatentSemTech@SIGIR, 2024)