All Stories

  1. Counting and Sampling Traces in Regular Languages

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

    Umang Mathur

  2. The Complexity of Testing Message-Passing Concurrency

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

    Umang Mathur

  3. Efficient Timestamping for Sampling-Based Race Detection

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

    Umang Mathur

  4. Program Skeletons for Automated Program Translation

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

    Umang Mathur

  5. Selectively Uniform Concurrency Testing

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

    Umang Mathur, Abhik Roychoudhury, Dylan Wolff

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

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

  8. Concurrent Program Testing for Everyone via "Fuzzing"

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

    Dylan Wolff, Umang Mathur, Abhik Roychoudhury

  9. Optimistic Prediction of Synchronization-Reversal Data Races

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

    Umang Mathur

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

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

    Umang Mathur

  11. Predictive Monitoring against Pattern Regular Languages

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

    Umang Mathur

  12. Coarser Equivalences for Causal Concurrency

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

    Umang Mathur

  13. How Hard Is Weak-Memory Testing?

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

    Umang Mathur

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

  15. Sound Dynamic Deadlock Prediction in Linear Time

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

    Umang Mathur

  16. Dynamic Race Detection with O(1) Samples

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

    Umang Mathur

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

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

    Umang Mathur

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

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

    Umang Mathur