Aleksander Budzynowski

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Lower Complexity

Expected Utility

Top Venues

Publications

Aleksander Budzynowski, Gernot Heiser
The von Neumann Architecture Is Due for Retirement. HotOS (2013)
Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
RapiLog: reducing system complexity through verification. EuroSys (2013)
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski
What If You Could Actually Trust Your Kernel? HotOS (2011)