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. Fixed Parameter Tractable Linearizability Monitoring

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

    Umang Mathur

  3. 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

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

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

    Umang Mathur

  5. Counting and Sampling Traces in Regular Languages

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

    Umang Mathur

  6. 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

  7. Efficient Decrease-and-Conquer Linearizability Monitoring

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

    Umang Mathur

  8. Efficient Timestamping for Sampling-Based Race Detection

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

    Umang Mathur

  9. Program Skeletons for Automated Program Translation

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

    Umang Mathur

  10. Selectively Uniform Concurrency Testing

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

    Umang Mathur, Abhik Roychoudhury, Dylan Wolff

  11. 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

  12. 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

  13. Concurrent Program Testing for Everyone via "Fuzzing"

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

    Dylan Wolff, Umang Mathur, Abhik Roychoudhury

  14. Optimistic Prediction of Synchronization-Reversal Data Races

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

    Umang Mathur

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

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

    Umang Mathur

  16. Predictive Monitoring against Pattern Regular Languages

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

    Umang Mathur

  17. Coarser Equivalences for Causal Concurrency

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

    Umang Mathur

  18. How Hard Is Weak-Memory Testing?

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

    Umang Mathur

  19. 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

  20. Sound Dynamic Deadlock Prediction in Linear Time

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

    Umang Mathur

  21. Dynamic Race Detection with O(1) Samples

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

    Umang Mathur

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

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

    Umang Mathur

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

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

    Umang Mathur