Andrew Baumann
Google (Switzerland)(CH)
Publications by Year
Research Areas
Security and Verification in Computing, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Advanced Data Storage Technologies, Advanced Malware Detection Techniques
Most-Cited Works
- → The multikernel(2009)792 cited
- → Shielding Applications from an Untrusted Cloud with Haven(2015)451 cited
- → Komodo(2017)137 cited
- → Providing dynamic update in an operating system(2005)109 cited
- Embracing diversity in the Barrelfish manycore operating system(2008)
- → Scaling symbolic evaluation for automated verification of systems code with Serval(2019)76 cited
- Your computer is already a distributed system. why isn't your OS?(2009)
- → Reboots are for hardware: challenges and solutions to updating an operating system on the fly(2007)49 cited
- → A fork() in the road(2019)34 cited