Romit Roy Chowdhury

According to our database, Romit Roy Chowdhury authored at least 1 paper in 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