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

2QoSM: A Q-Learner QoS Manager for Application-Guided Power-Aware Systems., , , and . MCSoC, page 218-225. IEEE, (2021)Specifying the de-facto OS of a production SoC., , , , and . KISV@SOSP, page 18-25. ACM, (2023)Enzian: an open, general, CPU/FPGA platform for systems software research., , , , , , , , , and 3 other author(s). ASPLOS, page 434-451. ACM, (2022)Putting out the hardware dumpster fire., , , , and . HotOS, page 46-52. ACM, (2023)High-Speed X-ray Imaging on the Fly, , , , , , , and . Synchrotron Radiation News, 26 (2): 4-10 (2013)A Model-Checked I2C Specification., , , , , , , , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 177-193. Springer, (2021)Generating correct initial page tables from formal hardware descriptions., , , , , , and . PLOS@SOSP, page 69-75. ACM, (2021)A Digital Companion for Air Travelers., , and . MobileHCI (Extended Abstracts), page 35:1-35:6. ACM, (2020)mmapx: uniform memory protection in a heterogeneous world., , , , , , and . HotOS, page 159-166. ACM, (2021)