Select Publications
Book Chapters
, 2026, 'Memory Safety: Uniqueness as Separation', in , pp. 3 - 21, http://dx.doi.org/10.1007/978-981-95-3585-9_1
Select Publications
, 2026, 'Memory Safety: Uniqueness as Separation', in , pp. 3 - 21, http://dx.doi.org/10.1007/978-981-95-3585-9_1