Isitha Subasinghe

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types (extended version). CoRR (2023)
Mathieu Paturel, Isitha Subasinghe, Gernot Heiser
First steps in verifying the seL4 Core Platform. APSys (2023)