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

Safe functional systems through integrity types and verified assembly., , , , , und . Theor. Comput. Sci., (2021)Reticle: a virtual machine for programming modern FPGAs., , , , und . PLDI, Seite 756-771. ACM, (2021)A pythonic approach for rapid hardware prototyping and instrumentation., , , , , und . FPL, Seite 1-7. IEEE, (2017)Trace Wringing for Program Trace Privacy., , , und . IEEE Micro, 40 (3): 108-115 (2020)Challenging on-chip SRAM security with boot-state statistics., , , , , und . HOST, Seite 101-105. IEEE Computer Society, (2017)An Architecture Supporting Formal and Compositional Binary Analysis., , , , , , und . ASPLOS, Seite 177-191. ACM, (2017)LastLayer: Toward Hardware and Software Continuous Integration., , , und . IEEE Micro, 40 (4): 103-111 (2020)Pure tensor program rewriting via access patterns (representation pearl)., , , , , , , und . MAPS@PLDI, Seite 21-31. ACM, (2021)An Architecture for Analysis., , , , , , und . IEEE Micro, 38 (3): 107-115 (2018)Language Support for Navigating Architecture Design in Closed Form., , , , , , , , und . ACM J. Emerg. Technol. Comput. Syst., 16 (1): 9:1-9:28 (2020)