Trustworthy Systems

Isitha Subasinghe
Research Assistant

Research Interests

Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification. He presently works on verifying OS code using SMT solvers

Contact Details

Email:i.subasinghe@unsw.edu.au

More contact information is available at the Contact page.

Photo of Isitha Subasinghe

Publication List

Projects

Past

Publications

Trustworthy Systems Group Papers

2024

Abstract PDF Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Rob Sison, Isitha Subasinghe and Gernot Heiser
Verifying the seL4 Microkit
https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf, June, 2024

2023

Abstract PDF Mathieu Paturel, Isitha Subasinghe and Gernot Heiser
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023