Publications

Shamsu, Sheera, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, and K. C. Sivaramakrishnan. "A Mechanically Verified Garbage Collector for OCaml." Journal of Automated Reasoning 69, no. 2 (2025): 11.