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

Future Directions for Optimizing Compilers., und . CoRR, (2018)Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines., und . HotDep, USENIX Association, (2014)Torchy: A Tracing JIT Compiler for PyTorch.. CC, Seite 98-109. ACM, (2023)Checking Beliefs in Dynamic Networks., , , , und . NSDI, Seite 499-512. USENIX Association, (2015)Practical verification of peephole optimizations with Alive., , , und . Commun. ACM, 61 (2): 84-91 (2018)Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic., und . Int. J. Softw. Tools Technol. Transf., 18 (4): 359-374 (2016)An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation., , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 752-776. Springer, (2021)AliveInLean: A Verified LLVM Peephole Optimization Verifier., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 445-455. Springer, (2019)openSDK: an open-source implementation of OPEN-R., und . AAMAS (3), Seite 1207-1210. IFAAMAS, (2008)Fast BGP Simulation of Large Datacenters., und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 386-408. Springer, (2019)