Adrian Danis

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Decision Problems

Lower Complexity

Concurrency Control

Top Venues

Publications

Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser
An Evaluation of Coarse-Grained Locking for Multicore Microkernels. CoRR (2016)
Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser
For a Microkernel, a Big Lock Is Fine. APSys (2015)
Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
RapiLog: reducing system complexity through verification. EuroSys (2013)