Skip to main content

Adrian Danis

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.

Photo of Adrian Danis

Projects

Current

NICTA Papers

2015

Abstract
Slides
PDF 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

Abstract
Slides
PDF 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

Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.