Retrofitting parallelism onto OCaml. - K. C. Sivaramakrishnan; Stephen Dolan; Leo White; Sadiq Jaffer; Tom Kelly; Anmol Sahoo; Sudha Parimala; Atul Dhiman; Anil Madhavapeddy (Proc. ACM Program. Lang., 2020)

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. - Kartik Nagar; Anmol Sahoo; Romit Roy Chowdhury; Suresh Jagannathan (Proc. ACM Program. Lang., 2024)