Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Declarative Power Sequencing., , , , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 84:1-84:21 (2021)Enzian: an open, general, CPU/FPGA platform for systems software research., , , , , , , , , and 3 other author(s). ASPLOS, page 434-451. ACM, (2022)mmapx: uniform memory protection in a heterogeneous world., , , , , , and . HotOS, page 159-166. ACM, (2021)Putting out the hardware dumpster fire., , , , and . HotOS, page 46-52. ACM, (2023)CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer., , , , , and . CoRR, (2019)Secure Memory Management on Modern Hardware., , , , , and . CoRR, (2020)A Least-Privilege Memory Protection Model for Modern Hardware., , , , , and . CoRR, (2019)A Model-Checked I2C Specification., , , , , , , , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 177-193. Springer, (2021)Tackling Hardware/Software co-design from a database perspective., , , , , , , and . CIDR, www.cidrdb.org, (2020)Generating correct initial page tables from formal hardware descriptions., , , , , , and . PLOS@SOSP, page 69-75. ACM, (2021)