Follow
Isitha Subasinghe
Title
Cited by
Cited by
Year
Verus: Verifying rust programs using linear ghost types
A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023
182023
First steps in verifying the seL4 Core Platform
M Paturel, I Subasinghe, G Heiser
Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 9-15, 2023
12023
Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ...
arXiv preprint arXiv:2303.05491, 2023
12023
the seL4 Microkit
ZA Kocsis, M Paturel, I Subasinghe, T Weibel, G Heiser
2023
The system can't perform the operation now. Try again later.
Articles 1–4