![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Matthias Blume
Person information
- affiliation: Google
Refine list
![note](https://dblp.uni-trier.de./img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
- [j7]Umut A. Acar, Matthias Blume, Jacob Donham:
A consistent semantics of self-adjusting computation. J. Funct. Program. 23(3): 249-292 (2013) - 2012
- [j6]Matthias Blume, Germán Vidal
:
Preface. Theor. Comput. Sci. 435: 1-2 (2012) - 2009
- [j5]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): 3:1-3:53 (2009) - 2006
- [j4]Matthias Blume, David A. McAllester:
Sound and complete models of contracts. J. Funct. Program. 16(4-5): 375-414 (2006) - 1999
- [j3]Matthias Blume:
Dependency analysis for Standard ML. ACM Trans. Program. Lang. Syst. 21(4): 790-812 (1999) - [j2]Matthias Blume, Andrew W. Appel
:
Hierarchical modularity. ACM Trans. Program. Lang. Syst. 21(4): 813-847 (1999) - 1997
- [j1]Matthias Blume, Sadik C. Esener:
An Efficient Mapping of Fuzzy ART onto a Neural Architecture. Neural Networks 10(3): 409-411 (1997)
Conference and Workshop Papers
- 2012
- [c20]Jianjun Xie, Scott Leishman, Liang Tian, David Lisuk, Seongjoon Koo, Matthias Blume:
Feature Engineering in User's Music Preference Prediction. KDD Cup 2012: 183-197 - 2011
- [c19]Amal Ahmed
, Matthias Blume:
An equivalence-preserving CPS translation via multi-language semantics. ICFP 2011: 431-444 - 2009
- [c18]Wonseok Chae, Matthias Blume:
Language support for feature-oriented product line engineering. FOSD 2009: 3-10 - 2008
- [c17]Matthias Blume, Umut A. Acar, Wonseok Chae:
Exception Handlers as Extensible Cases. APLAS 2008: 273-289 - [c16]Amal Ahmed
, Matthias Blume:
Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168 - [c15]Matthias Blume, Mike Rainey, John H. Reppy
:
Calling variadic functions from a strongly-typed language. ML 2008: 47-58 - [c14]Umut A. Acar, Amal Ahmed
, Matthias Blume:
Imperative self-adjusting computation. POPL 2008: 309-322 - [c13]Wonseok Chae, Matthias Blume:
Building a Family of Compilers. SPLC 2008: 307-316 - 2007
- [c12]Derek Dreyer, Matthias Blume:
Principal Type Schemes for Modular Programs. ESOP 2007: 441-457 - [c11]Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474 - [c10]Paul Kalmar, Matthias Blume:
FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts. SemEval@ACL 2007: 149-152 - 2006
- [c9]Robert Bruce Findler, Matthias Blume:
Contracts as Pairs of Projections. FLOPS 2006: 226-241 - [c8]Matthias Blume, Umut A. Acar, Wonseok Chae:
Extensible programming with first-class cases. ICFP 2006: 239-250 - [c7]Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan:
An experimental analysis of self-adjusting computation. PLDI 2006: 96-107 - 2005
- [c6]Dayne Freitag, Matthias Blume, John Byrnes, Edmond Chow, Sadik Kapadia, Richard Rohwer, Zhiqiang Wang:
New Experiments in Distributional Representations of Synonymy. CoNLL 2005: 25-32 - [c5]Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
A Library for Self-Adjusting Computation. ML 2005: 127-154 - 2004
- [c4]Matthias Blume, David A. McAllester:
A sound (and complete) model of contracts. ICFP 2004: 189-200 - 2003
- [c3]Lal George, Matthias Blume:
Taming the IXP network processor. PLDI 2003: 26-37 - 2001
- [c2]Matthias Blume:
No-Longer-Foreign: Teaching an ML compiler to speak C "natively". BABEL 2001: 36-52 - 1997
- [c1]Matthias Blume, Andrew W. Appel
:
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. ICFP 1997: 112-124
Editorship
- 2010
- [e1]Matthias Blume, Naoki Kobayashi, Germán Vidal:
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 [contents]
Informal and Other Publications
- 2024
- [i2]Matthias Blume, Ghobad Heidari, Christoph Hewel:
Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text. CoRR abs/2407.10351 (2024) - 2011
- [i1]Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-Adjusting Computation. CoRR abs/1106.0478 (2011)
Coauthor Index
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint