Travelled to:1 × Cyprus
1 × Estonia
1 × France
Collaborated with:∅ G.Snelting J.C.Blanchette A.Bouzy A.P.0001 D.Traytel
Talks about:java (3) probabilist (1) cryptograph (1) implement (1) function (1) formalis (1) corecurs (1) foundat (1) benefit (1) verifi (1)
Person: Andreas Lochbihler
DBLP: Lochbihler:Andreas
Contributed to:
20122010
200720162017Wrote 5 papers:
- ESOP-2012-Lochbihler #formal method #java #memory management
- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (AL), pp. 497–517.
- ESOP-2010-Lochbihler #compilation #java #thread #verification
- Verifying a Compiler for Java Threads (AL), pp. 427–447.
- SCAM-2007-LochbihlerS #dependence #graph #on the
- On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.
- ESOP-2016-Lochbihler #encryption #higher-order #logic #probability
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (AL), pp. 503–531.
- ESOP-2017-BlanchetteBL0T #implementation #proving #recursion
- Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants (JCB, AB, AL, AP0, DT), pp. 111–140.