Senior Research Engineer
Adrian is interested in the development of operating systems, especially when it involves micro-kernels, Intel architecture and virtualization.
||Sean Peters, Adrian Danis, Kevin Elphinstone and Gernot Heiser|
For a microkernel, a big lock is fine
Asia-Pacific Workshop on Systems (APSys), Tokyo, JP, July, 2015
||Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie and Gustavo Alonso|
RapiLog: reducing system complexity through verification
EuroSys Conference, pp. 323–336, Prague, Czech Republic, April, 2013