( en | de | ru )

 

Disambiguierung von "Blazy, Sandrine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formally verified speculation and deoptimization in a JIT compiler.

, , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-26 (2021)

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.

Olivier Blazy

Stefan Blazyczek

Udo Blazyczek

Ingild Astrid Blazyczek

Helga Blazy

 

Weitere Publikationen von Autoren mit dem selben Namen

Secure Compilation of Constant-Resource Programs., , , und . CSF, Seite 1-12. IEEE, (2021)Partial evaluation as an aid to the comprehension of Fortran programs., und . WPC, Seite 46-54. IEEE, (1993)Compiling Sandboxes: Formally Verified Software Fault Isolation., , , , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 499-524. Springer, (2019)Formal Specification and Prototyping of a Program Specializer., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 666-680. Springer, (1995)Partial Evaluation for the Understanding of FORTRAN Programs., und . SEKE, Seite 517-525. Knowledge Systems Institute, (1993)Verified Validation of Program Slicing., , und . CPP, Seite 109-117. ACM, (2015)Selected Extended Papers of VSTTE 2016., und . J. Autom. Reason., 60 (3): 255-256 (2018)Proofs you can believe in: proving equivalences between Prolog semantics in Coq., , und . PPDP, Seite 37-48. ACM, (2013)Formally verified speculation and deoptimization in a JIT compiler., , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-26 (2021)Formal verification of a constant-time preserving C compiler., , , , , , und . Proc. ACM Program. Lang., 4 (POPL): 7:1-7:30 (2020)