( en | de | ru )

 

Disambiguierung von "Baumann, Andrew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scaling symbolic evaluation for automated verification of systems code with Serval.

, , , , , und . SOSP, Seite 225-242. ACM, (2019)

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.

Andrew Huvos

Andrew Lee

Andrew May

Andrew Singer

Andrew Torda

 

Weitere Publikationen von Autoren mit dem selben Namen

Autarky: closing controlled channels with self-paging enclaves., , und . EuroSys, Seite 7:1-7:16. ACM, (2020)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , und . SOSP, Seite 225-242. ACM, (2019)Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud., , , , , und . OSDI, Seite 247-267. USENIX Association, (2023)Your computer is already a distributed system. Why isn't your OS?, , , , , , und . HotOS, USENIX Association, (2009)Hardware is the new Software.. HotOS, Seite 132-137. ACM, (2017)A Declarative Language Approach to Device Configuration., , , und . ACM Trans. Comput. Syst., 30 (1): 5:1-5:35 (2012)Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services., , , , und . NSDI, Seite 575-588. USENIX Association, (2015)Komodo: Using verification to disentangle secure-enclave hardware from software., , , und . SOSP, Seite 287-305. ACM, (2017)Mind the Gap: Reconnecting Architecture and OS Research., , , und . HotOS, USENIX Association, (2011)Embracing diversity in the Barrelfish manycore operating system, , , , , , und . Proceedings of the Workshop on Managed Many-Core Systems, (Juni 2008)