Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Biorthogonality, step-indexing and compiler correctness., und . ICFP, Seite 97-108. ACM, (2009)A kripke logical relation between ML and assembly., und . POPL, Seite 133-146. ACM, (2011)Reconciling high-level optimizations and low-level code in LLVM., , , , , und . Proc. ACM Program. Lang., 2 (OOPSLA): 125:1-125:28 (2018)Crellvm: verified credible compilation for LLVM., , , , , , , , , und 1 andere Autor(en). PLDI, Seite 631-645. ACM, (2018)On the construction of free algebras for equational systems., und . Theor. Comput. Sci., 410 (18): 1704-1729 (2009)Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress)., , , , , , und . CoRR, (2019)AliveInLean: A Verified LLVM Peephole Optimization Verifier., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 445-455. Springer, (2019)A formal C memory model supporting integer-pointer casts., , , , , und . PLDI, Seite 326-335. ACM, (2015)Pilsner: a compositionally verified compiler for a higher-order imperative language., , , , , und . ICFP, Seite 166-178. ACM, (2015)The marriage of bisimulations and Kripke logical relations., , , und . POPL, Seite 59-72. ACM, (2012)