Matthias Blume

31 papers A* 3A 7B 3Misc 2Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text.
PatentSemTech@SIGIR
Matthias Blume, Ghobad Heidari, Christoph Hewel
2024 J jnl
Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text.
CoRR
Matthias Blume, Ghobad Heidari, Christoph Hewel
2013 J jnl
A consistent semantics of self-adjusting computation.
J. Funct. Program.
Umut A. Acar, Matthias Blume, Jacob Donham
2012 — conf
Feature Engineering in User's Music Preference Prediction.
KDD Cup
Jianjun Xie, Scott Leishman, Liang Tian, David Lisuk, Seongjoon Koo, Matthias Blume
2012 J jnl
Preface.
Theor. Comput. Sci.
Matthias Blume, Germán Vidal
2011 J jnl
A Consistent Semantics of Self-Adjusting Computation
CoRR
Umut A. Acar, Matthias Blume, Jacob Donham
2011 A conf
An equivalence-preserving CPS translation via multi-language semantics.
ICFP
Amal Ahmed, Matthias Blume
2010 Misc ed.
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
FLOPS
Matthias Blume, Naoki Kobayashi, Germán Vidal
2009 J jnl
An experimental analysis of self-adjusting computation.
ACM Trans. Program. Lang. Syst.
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
2009 — conf
Language support for feature-oriented product line engineering.
FOSD
Wonseok Chae, Matthias Blume
2008 B conf
Building a Family of Compilers.
SPLC
Wonseok Chae, Matthias Blume
2008 — conf
Calling variadic functions from a strongly-typed language.
ML
Matthias Blume, Mike Rainey, John H. Reppy
2008 B conf
Exception Handlers as Extensible Cases.
APLAS
Matthias Blume, Umut A. Acar, Wonseok Chae
2008 A* conf
Imperative self-adjusting computation.
POPL
Umut A. Acar, Amal Ahmed, Matthias Blume
2008 A conf
Typed closure conversion preserves observational equivalence.
ICFP
Amal Ahmed, Matthias Blume
2007 A conf
A Consistent Semantics of Self-adjusting Computation.
ESOP
Umut A. Acar, Matthias Blume, Jacob Donham
2007 — conf
FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts.
SemEval@ACL
Paul Kalmar, Matthias Blume
2007 A conf
Principal Type Schemes for Modular Programs.
ESOP
Derek Dreyer, Matthias Blume
2006 A* conf
An experimental analysis of self-adjusting computation.
PLDI
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan
2006 Misc conf
Contracts as Pairs of Projections.
FLOPS
Robert Bruce Findler, Matthias Blume
2006 A conf
Extensible programming with first-class cases.
ICFP
Matthias Blume, Umut A. Acar, Wonseok Chae
2006 J jnl
Sound and complete models of contracts.
J. Funct. Program.
Matthias Blume, David A. McAllester
2005 — conf
A Library for Self-Adjusting Computation.
ML
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
2005 B conf
New Experiments in Distributional Representations of Synonymy.
CoNLL
Dayne Freitag, Matthias Blume, John Byrnes, Edmond Chow, Sadik Kapadia, Richard Rohwer, Zhiqiang Wang
2004 A conf
A sound (and complete) model of contracts.
ICFP
Matthias Blume, David A. McAllester
2003 A* conf
Taming the IXP network processor.
PLDI
Lal George, Matthias Blume
2001 — conf
No-Longer-Foreign: Teaching an ML compiler to speak C "natively".
BABEL
Matthias Blume
1999 J jnl
Dependency analysis for Standard ML.
ACM Trans. Program. Lang. Syst.
Matthias Blume
1999 J jnl
Hierarchical modularity.
ACM Trans. Program. Lang. Syst.
Matthias Blume, Andrew W. Appel
1997 J jnl
An Efficient Mapping of Fuzzy ART onto a Neural Architecture.
Neural Networks
Matthias Blume, Sadik C. Esener
1997 A conf
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.
ICFP
Matthias Blume, Andrew W. Appel