BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Portugal
1 × The Netherlands
2 × Canada
2 × Japan
4 × USA
Collaborated with:
A.Ahmed U.A.Acar W.Chae D.Dreyer R.B.Findler D.A.McAllester L.George A.W.Appel J.Donham G.E.Blelloch K.Tangwongsan
Talks about:
comput (3) adjust (3) self (3) contract (2) program (2) preserv (2) equival (2) semant (2) type (2) experiment (1)

Person: Matthias Blume

DBLP DBLP: Blume:Matthias

Facilitated 1 volumes:

FLOPS 2010Ed

Contributed to:

ICFP 20112011
ICFP 20082008
POPL 20082008
SPLC 20082008
ESOP 20072007
FLOPS 20062006
ICFP 20062006
PLDI 20062006
ICFP 20042004
PLDI 20032003
ICFP 19971997

Wrote 12 papers:

ICFP-2011-AhmedB #continuation #multi #semantics
An equivalence-preserving CPS translation via multi-language semantics (AA, MB), pp. 431–444.
ICFP-2008-AhmedB #equivalence
Typed closure conversion preserves observational equivalence (AA, MB), pp. 157–168.
POPL-2008-AcarAB #imperative #self
Imperative self-adjusting computation (UAA, AA, MB), pp. 309–322.
SPLC-2008-ChaeB #compilation #product line
Building a Family of Compilers (WC, MB), pp. 307–316.
ESOP-2007-AcarBD #consistency #self #semantics
A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
ESOP-2007-DreyerB #composition #source code
Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.
FLOPS-2006-FindlerB #contract
Contracts as Pairs of Projections (RBF, MB), pp. 226–241.
ICFP-2006-BlumeAC #programming
Extensible programming with first-class cases (MB, UAA, WC), pp. 239–250.
PLDI-2006-AcarBBT #analysis #self
An experimental analysis of self-adjusting computation (UAA, GEB, MB, KT), pp. 96–107.
ICFP-2004-BlumeM #contract
A sound (and complete) model of contracts (MB, DAM), pp. 189–200.
PLDI-2003-GeorgeB #network
Taming the IXP network processor (LG, MB), pp. 26–37.
ICFP-1997-BlumeA #approach #higher-order #named #optimisation
λ-Splitting: A Higher-Order Approach to Cross-Module Optimizations (MB, AWA), pp. 112–124.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.