Adrian Danis

According to our database, Adrian Danis authored at least 3 papers between 2013 and 2016.

Collaborative distances:

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

2016

An Evaluation of Coarse-Grained Locking for Multicore Microkernels.

Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser

CoRR, 2016

2015

For a Microkernel, a Big Lock Is Fine.

Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

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