Aleksander Budzynowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2011–2013
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | EuroSys | RapiLog: reducing system complexity through verification. | Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso |
| 2013 | HotOS | The von Neumann Architecture Is Due for Retirement. | Aleksander Budzynowski, Gernot Heiser |
| 2011 | HotOS | What If You Could Actually Trust Your Kernel? | Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski |