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 × 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 DBLP: Lochbihler:Andreas

Contributed to:

ESOP 20122012
ESOP 20102010
SCAM 20072007
ESOP 20162016
ESOP 20172017

Wrote 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.

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.