Matthias Blume

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Consistency Constraints

Feature Engineering

User Preferences

Top Venues

J. Funct. Program.

Theor. Comput. Sci.

Publications

Umut A. Acar, Matthias Blume, Jacob Donham
A consistent semantics of self-adjusting computation. J. Funct. Program. 23 (3) (2013)
Jianjun Xie, Scott Leishman, Liang Tian, David Lisuk, Seongjoon Koo, Matthias Blume
Feature Engineering in User's Music Preference Prediction. KDD Cup (2012)
Matthias Blume, Germán Vidal
Preface. Theor. Comput. Sci. 435 (2012)
Amal Ahmed, Matthias Blume
An equivalence-preserving CPS translation via multi-language semantics. ICFP (2011)
Umut A. Acar, Matthias Blume, Jacob Donham
A Consistent Semantics of Self-Adjusting Computation CoRR (2011)
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)
Umut A. Acar, Amal Ahmed, Matthias Blume
Imperative self-adjusting computation. POPL (2008)
Matthias Blume, Umut A. Acar, Wonseok Chae
Exception Handlers as Extensible Cases. APLAS (2008)
Matthias Blume, Mike Rainey, John H. Reppy
Calling variadic functions from a strongly-typed language. ML (2008)
Wonseok Chae, Matthias Blume
Building a Family of Compilers. SPLC (2008)
Amal Ahmed, Matthias Blume
Typed closure conversion preserves observational equivalence. ICFP (2008)
Paul Kalmar, Matthias Blume
FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts. SemEval@ACL (2007)
Umut A. Acar, Matthias Blume, Jacob Donham
A Consistent Semantics of Self-adjusting Computation. ESOP (2007)
Derek Dreyer, Matthias Blume
Principal Type Schemes for Modular Programs. ESOP (2007)
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
A Library for Self-Adjusting Computation. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan
An experimental analysis of self-adjusting computation. PLDI (2006)
Robert Bruce Findler, Matthias Blume
Contracts as Pairs of Projections. FLOPS (2006)
Matthias Blume, David A. McAllester
Sound and complete models of contracts. J. Funct. Program. 16 (4-5) (2006)
Matthias Blume, Umut A. Acar, Wonseok Chae
Extensible programming with first-class cases. ICFP (2006)
Dayne Freitag, Matthias Blume, John Byrnes, Edmond Chow, Sadik Kapadia, Richard Rohwer, Zhiqiang Wang
New Experiments in Distributional Representations of Synonymy. CoNLL (2005)
Matthias Blume, David A. McAllester
A sound (and complete) model of contracts. ICFP (2004)
Lal George, Matthias Blume
Taming the IXP network processor. PLDI (2003)
Matthias Blume
No-Longer-Foreign: Teaching an ML compiler to speak C "natively". Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Matthias Blume
Dependency analysis for Standard ML. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
Matthias Blume, Andrew W. Appel
Hierarchical modularity. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
Matthias Blume, Andrew W. Appel
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. ICFP (1997)
Matthias Blume, Sadik C. Esener
An Efficient Mapping of Fuzzy ART onto a Neural Architecture. Neural Networks 10 (3) (1997)