Travelled to:1 × Denmark
1 × France
1 × India
1 × Poland
1 × Portugal
Collaborated with:G.Stewart A.W.Appel N.Benton A.Kennedy M.Hofmann S.Cuellar R.Dockins
Talks about:transform (2) program (2) verifi (2) semant (2) effect (2) relat (2) base (2) paramodul (1) composit (1) theorem (1)
Person: Lennart Beringer
DBLP: Beringer:Lennart
Contributed to:
2015
2014
2012
20092007Wrote 5 papers:
- POPL-2015-StewartBCA #composition
- Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
- ESOP-2014-BeringerSDA #c #compilation
- Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
- ICFP-2012-StewartBA #proving #theorem proving
- Verified heap theorem prover by paramodulation (GS, LB, AWA), pp. 3–14.
- PPDP-2009-BentonKBH #higher-order #program transformation #relational #semantics
- Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
- PPDP-2007-BentonKBH #program transformation #relational #semantics
- Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.