Preprints on Umang Mathur https://umangmathur.org/preprints/ Recent content in Preprints on Umang Mathur Hugo -- 0.148.2 en-us Sun, 27 Sep 2026 00:00:00 +0000 SafePar: Monitoring Asynchrony in Microservices https://umangmathur.org/preprints/2026-safepar-microservices/ Sun, 27 Sep 2026 00:00:00 +0000 https://umangmathur.org/preprints/2026-safepar-microservices/ Mostly Automatic Translation of Language Interpreters from C to Safe Rust https://umangmathur.org/preprints/2026-interpreters-safe-rust/ Thu, 25 Jun 2026 00:00:00 +0000 https://umangmathur.org/preprints/2026-interpreters-safe-rust/ Parametrizing Reads-From Equivalence for Predictive Monitoring https://umangmathur.org/preprints/2026-parametrizing-reads-from/ Wed, 08 Apr 2026 00:00:00 +0000 https://umangmathur.org/preprints/2026-parametrizing-reads-from/ Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation https://umangmathur.org/preprints/2025-adversarial-agent-translation/ Sat, 04 Oct 2025 00:00:00 +0000 https://umangmathur.org/preprints/2025-adversarial-agent-translation/ Enhanced Data Race Prediction Through Modular Reasoning https://umangmathur.org/preprints/2025-modular-race-prediction/ Tue, 15 Apr 2025 00:00:00 +0000 https://umangmathur.org/preprints/2025-modular-race-prediction/