SafePar: Monitoring Asynchrony in Microservices Karuna Grewal, P. Brighten Godfrey, Justin Hsu, Umang Mathur Concurrency Testing and Verification arXiv:2609.33081 · PDF
Mostly Automatic Translation of Language Interpreters from C to Safe Rust Bo Wang, Brandon Paulsen, Joey Dodds, Daniel Kroening, Umang Mathur, Prateek Saxena Program Translation arXiv:2606.27122 · PDF
Parametrizing Reads-From Equivalence for Predictive Monitoring Azadeh Farzan, Umang Mathur Concurrency Testing and Verification arXiv:2604.06533 · PDF
Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, Prateek Saxena Program Translation arXiv:2510.03879 · PDF
Enhanced Data Race Prediction Through Modular Reasoning Zhendong Ang, Azadeh Farzan, Umang Mathur Concurrency Testing and Verification arXiv:2504.10813 · PDF