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.
Projects
Past
|
Publications
Data61 Papers
2017
![]() |
![]() |
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 |