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.
Projects
Past |
Publications
Trustworthy Systems Group Papers
2024
![]() |
![]() |
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
![]() |
![]() |
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 |