Anmol Sahoo

According to our database, Anmol Sahoo authored at least 2 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2020

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