Aleksander Budzynowski

According to our database, Aleksander Budzynowski authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

The von Neumann Architecture Is Due for Retirement.

Aleksander Budzynowski, Gernot Heiser

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

RapiLog: reducing system complexity through verification.

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso

Proceedings of the Eighth Eurosys Conference 2013, 2013

2011

What If You Could Actually Trust Your Kernel?

Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011