Person. Tej Chajed link · ORCID · chajed.io · 0000-0002-9889-4828 Papers Verus: A Practical Foundation for Systems Verification lattuada-2024-verusSOSP · 2024 DOI