Skip to main content

Amirreza Zarrabi
Proof Engineer

Research Interests

Amir is researching operating system architecture, and multiserver architectures for OS design. He is currently on a break from his PhD to work as a proof engineer.

Contact Details

Email:Amirreza.Zarrabi@data61.csiro.au

More contact information is available at the Contact page.

Photo of Amirreza Zarrabi

Publication List

Projects

Past

Publications

Data61 Papers

2017

Abstract PDF Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod and Gernot Heiser
A performance evaluation of rump kernels as a multi-server OS building block on seL4
Asia-Pacific Workshop on Systems (APSys), India, September, 2017