Adrian Danis
Senior Research Engineer
Research Interests
Adrian is interested in the development of operating systems, especially when it involves micro-kernels, Intel architecture and virtualization.
Contact Details
Phone: | +61 2 9490 5879 |
---|---|
Email: | Adrian.Danis@data61.csiro.au |
More contact information is available at the Contact page.
Projects
Current |
NICTA Papers
2015
![]() ![]() |
![]() |
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 |
2013
![]() ![]() |
![]() |
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 |