Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.

C. Pit-Claudel, J. Philipoom, D. Jamner, A. Erbsen, und A. Chlipala. PLDI, Seite 918-933. ACM, (2022)

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.

Fritz Erbsen

Maike Erbsen

Astrid Erbsen

Helga Erbsen

Klaus-Peter Erbsen

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.J. Gross, A. Erbsen, J. Philipoom, R. Agrawal, und A. Chlipala. CoRR, (2023)Certifying derivation of state machines from coroutines.M. Ikebuchi, A. Erbsen, und A. Chlipala. Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives.J. Kuepper, A. Erbsen, J. Gross, O. Conoly, C. Sun, S. Tian, D. Wu, A. Chlipala, C. Chuengsatiansup, D. Genkin und 2 andere Autor(en). Proc. ACM Program. Lang., 7 (PLDI): 1268-1292 (2023)Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).T. Bourgeat, I. Clester, A. Erbsen, S. Gruetter, P. Singh, A. Wright, und A. Chlipala. Proc. ACM Program. Lang., 7 (ICFP): 108-124 (August 2023)A Multipurpose Formal RISC-V Specification.T. Bourgeat, I. Clester, A. Erbsen, S. Gruetter, A. Wright, und A. Chlipala. CoRR, (2021)Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.C. Pit-Claudel, J. Philipoom, D. Jamner, A. Erbsen, und A. Chlipala. PLDI, Seite 918-933. ACM, (2022)Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.A. Erbsen, J. Philipoom, J. Gross, R. Sloan, und A. Chlipala. IEEE Symposium on Security and Privacy, Seite 1202-1219. IEEE, (2019)Omnisemantics: Smooth Handling of Nondeterminism.A. Charguéraud, A. Chlipala, A. Erbsen, und S. Gruetter. ACM Trans. Program. Lang. Syst., 45 (1): 5:1-5:43 (März 2023)CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives.J. Kuepper, A. Erbsen, J. Gross, O. Conoly, C. Sun, S. Tian, D. Wu, A. Chlipala, C. Chuengsatiansup, D. Genkin und 2 andere Autor(en). CoRR, (2022)Accelerating Verified-Compiler Development with a Verified Rewriting Engine.J. Gross, A. Erbsen, J. Philipoom, M. Poddar-Agrawal, und A. Chlipala. ITP, Volume 237 von LIPIcs, Seite 17:1-17:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

BibSonomy

Disambiguierung von "Erbsen, Andres"