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: Blume:Matthias
Facilitated 1 volumes:
EdContributed to:
20112008
2008
2008
200720062006
2006200420031997Wrote 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.