All Stories

  1. Dynamic Race Detection with O(1) Samples

    Article • Communications of the ACM, August 2026, ACM (Association for Computing Machinery)

    Umang Mathur

  2. State Space Estimation for DPOR-Based Model Checkers

    Article • Proceedings of the ACM on Programming Languages, June 2026, ACM (Association for Computing Machinery)

    Umang Mathur

  3. Anvil: A General-Purpose Timing-Safe Hardware Description Language

    Article • March 2026, ACM (Association for Computing Machinery)

    Umang Mathur

  4. Counting and Sampling Traces in Regular Languages

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Umang Mathur

  5. The Complexity of Testing Message-Passing Concurrency

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Umang Mathur, Lasse Møldrup

  6. Efficient Decrease-and-Conquer Linearizability Monitoring

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Umang Mathur

  7. Efficient Timestamping for Sampling-Based Race Detection

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Umang Mathur

  8. Program Skeletons for Automated Program Translation

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Umang Mathur

  9. Selectively Uniform Concurrency Testing

    Article • March 2025, ACM (Association for Computing Machinery)

    Umang Mathur, Abhik Roychoudhury, Dylan Wolff

  10. The Decision Problem for Regular First Order Theories

    Article • Proceedings of the ACM on Programming Languages, January 2025, ACM (Association for Computing Machinery)

    Umang Mathur

  11. Fully Polynomial Time Randomized Approximation Scheme for Counting the number of words of an NFA

    Article • Proceedings of the ACM on Management of Data, May 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  12. Concurrent Program Testing for Everyone via "Fuzzing"

    Article • April 2024, ACM (Association for Computing Machinery)

    Dylan Wolff, Umang Mathur, Abhik Roychoudhury

  13. Optimistic Prediction of Synchronization-Reversal Data Races

    Article • April 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  14. Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic

    Article • January 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  15. Predictive Monitoring against Pattern Regular Languages

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  16. Coarser Equivalences for Causal Concurrency

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  17. How Hard Is Weak-Memory Testing?

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Umang Mathur

  18. Optimal Reads-From Consistency Checking for C11-Style Memory Models

    Article • Proceedings of the ACM on Programming Languages, June 2023, ACM (Association for Computing Machinery)

    Umang Mathur

  19. Sound Dynamic Deadlock Prediction in Linear Time

    Article • Proceedings of the ACM on Programming Languages, June 2023, ACM (Association for Computing Machinery)

    Umang Mathur

  20. Dynamic Race Detection with O(1) Samples

    Article • Proceedings of the ACM on Programming Languages, January 2023, ACM (Association for Computing Machinery)

    Umang Mathur

  21. Dynamic data race prediction: fundamentals, theory, and practice (tutorial)

    Article • November 2022, ACM (Association for Computing Machinery)

    Umang Mathur

  22. A tree clock data structure for causal orderings in concurrent executions

    Article • February 2022, ACM (Association for Computing Machinery)

    Umang Mathur