Autor der Publikation

Analysis of Low-Level Code Using Cooperating Decompilers.

, , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)

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

JVer: A Java Verifier., , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 144-147. Springer, (2005)A Scalable Architecture for Proof-Carrying Code.. FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 21-39. Springer, (2001)Analysis of Low-Level Code Using Cooperating Decompilers., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)Dependent Types for Low-Level Programming., , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, Volume 3923 von Lecture Notes in Computer Science, Seite 1. Springer, (2006)Translation validation for an optimizing compiler.. PLDI, Seite 83-94. ACM, (2000)NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , und . PPoPP, Seite 329-330. ACM, (2012)Specifying and checking semantic atomicity for multithreaded programs., , und . ASPLOS, Seite 79-90. ACM, (2011)DetReduce: minimizing Android GUI test suites for regression testing., , , und . ICSE, Seite 445-455. ACM, (2018)XFI: Software Guards for System Address Spaces., , , , und . OSDI, Seite 75-88. USENIX Association, (2006)