Publications on Umang Mathur https://www.comp.nus.edu.sg/~umathur/publications/ Recent content in Publications on Umang Mathur Hugo -- 0.148.2 en-us Sat, 04 Apr 2026 00:00:00 +0000 Fixed Parameter Tractable Linearizability Monitoring https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-lee-fpt-linearizability-monitoring/ Sat, 04 Apr 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-lee-fpt-linearizability-monitoring/ State Space Estimation for DPOR-based Model Checkers https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-balasubramanian-dpor-estimation/ Sat, 04 Apr 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-balasubramanian-dpor-estimation/ Anvil: A General-Purpose Timing-Safe Hardware Description Language https://www.comp.nus.edu.sg/~umathur/publications/2026-asplos-yu-anvil-hdl/ Sun, 22 Mar 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-asplos-yu-anvil-hdl/ Counting and Sampling Traces in Regular Languages https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-decolnet-counting-sampling-traces/ Thu, 08 Jan 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-decolnet-counting-sampling-traces/ The Complexity of Testing Message-Passing Concurrency https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-shi-message-passing-consistency/ Thu, 08 Jan 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-shi-message-passing-consistency/ Efficient Decrease-And-Conquer Linearizability Monitoring https://www.comp.nus.edu.sg/~umathur/publications/2025-oopsla-lee-decrease-and-conquer-linearizability-monitoring/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-oopsla-lee-decrease-and-conquer-linearizability-monitoring/ Efficient Timestamping for Sampling-based Race Detection https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-zhang-sampling-timestamping/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-zhang-sampling-timestamping/ Program Skeletons for Automated Program Translation https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-wang-skel-program-translation/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-wang-skel-program-translation/ Selectively Uniform Concurrency Testing https://www.comp.nus.edu.sg/~umathur/publications/2025-asplos-zhao-surw-concurrency-testing/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-asplos-zhao-surw-concurrency-testing/ The Decision Problem for Regular First-Order Theories https://www.comp.nus.edu.sg/~umathur/publications/2025-popl-mathur-regular-theories/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-popl-mathur-regular-theories/ Predictive Monitoring with Strong Trace Prefixes https://www.comp.nus.edu.sg/~umathur/publications/2024-cav-ang-strong-trace-prefixes/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-cav-ang-strong-trace-prefixes/ Predictive Monitoring against Pattern Regular Languages https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-ang-pattern-languages/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-ang-pattern-languages/ <p>Note: The ArXiv version of the paper corrects an error in the published version.</p> Coarser Equivalences for Causal Concurrency https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-farzan-grain-equivalence/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-farzan-grain-equivalence/ How Hard is Weak-Memory Testing? https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-chakraborty-hardness-weak-memory/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-chakraborty-hardness-weak-memory/ A Faster FPRAS for #NFA https://www.comp.nus.edu.sg/~umathur/publications/2024-pods-meel-fpras-sharpe-nfa/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-pods-meel-fpras-sharpe-nfa/ Greybox Fuzzing for Concurrency Testing https://www.comp.nus.edu.sg/~umathur/publications/2024-asplos-wolff-rff-greybox-concurrency-fuzzing/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-asplos-wolff-rff-greybox-concurrency-fuzzing/ Optimistic Prediction of Synchronization-Reversal Data Races https://www.comp.nus.edu.sg/~umathur/publications/2024-icse-shi-osr-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-icse-shi-osr-race-prediction/ Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic https://www.comp.nus.edu.sg/~umathur/publications/2024-cpp-zhao-arboreta/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-cpp-zhao-arboreta/ Dynamic Race Detection With O(1) Samples https://www.comp.nus.edu.sg/~umathur/publications/2023-popl-thokair-rpt-sampling-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-popl-thokair-rpt-sampling-race-detection/ Optimal Reads-From Consistency Checking for C11-Style Memory Models https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-ra-reads-from/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-ra-reads-from/ Sound Dynamic Deadlock Prediction in Linear Time https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-syncp-deadlock-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-syncp-deadlock-prediction/ A Tree Clock Data Structure for Causal Orderings in Concurrent Executions https://www.comp.nus.edu.sg/~umathur/publications/2022-asplos-mathur-tree-clocks/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2022-asplos-mathur-tree-clocks/ Controller Synthesis for Linear Systems With Reach-Avoid Specifications https://www.comp.nus.edu.sg/~umathur/publications/2022-tac-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2022-tac-fan-controller-synthesis/ Dynamic Data-Race Detection through the Fine-Grained Lens https://www.comp.nus.edu.sg/~umathur/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ Checking LTL[F,G,X] on Compressed Traces in Polynomial Time https://www.comp.nus.edu.sg/~umathur/publications/2021-fse-zhang-compressed-ltl/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-fse-zhang-compressed-ltl/ Optimal Prediction of Synchronization-Preserving Races https://www.comp.nus.edu.sg/~umathur/publications/2021-popl-mathur-syncp-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-popl-mathur-syncp-race-prediction/ Scalable Statistical Root Cause Analysis on App Telemetry https://www.comp.nus.edu.sg/~umathur/publications/2021-icse-murali-root-cause-analysis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-icse-murali-root-cause-analysis/ Decidable Synthesis of Programs with Uninterpreted Functions https://www.comp.nus.edu.sg/~umathur/publications/2020-cav-krogmeier-synthesis-of-coherent-programs/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-cav-krogmeier-synthesis-of-coherent-programs/ Atomicity Checking in Linear Time using Vector Clocks https://www.comp.nus.edu.sg/~umathur/publications/2020-asplos-mathur-aerodrome-atomicity-checking/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-asplos-mathur-aerodrome-atomicity-checking/ Deciding Memory Safety for Single-Pass Heap-Manipulating Programs https://www.comp.nus.edu.sg/~umathur/publications/2020-popl-mathur-decidable-memory-safety/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-popl-mathur-decidable-memory-safety/ Exact Quantitative Probabilistic Model Checking Through Rational Search https://www.comp.nus.edu.sg/~umathur/publications/2020-fmsd-mathur-rationalsearch/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-fmsd-mathur-rationalsearch/ The Complexity of Data Race Prediction https://www.comp.nus.edu.sg/~umathur/publications/2020-lics-mathur-complexity-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-lics-mathur-complexity-race-prediction/ What's Decidable About Program Verification Modulo Axioms? https://www.comp.nus.edu.sg/~umathur/publications/2020-tacas-mathur-decidable-verification-modulo-axioms/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-tacas-mathur-decidable-verification-modulo-axioms/ Decidable Verification of Uninterpreted Programs https://www.comp.nus.edu.sg/~umathur/publications/2019-popl-mathur-verification-of-coherent-programs/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2019-popl-mathur-verification-of-coherent-programs/ Data Race Detection on Compressed Traces https://www.comp.nus.edu.sg/~umathur/publications/2018-fse-kini-compressed-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-fse-kini-compressed-race-detection/ Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics https://www.comp.nus.edu.sg/~umathur/publications/2018-cav-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-cav-fan-controller-synthesis/ Decidable Fragment of Second Order Logic With Applications to Program Synthesis https://www.comp.nus.edu.sg/~umathur/publications/2018-csl-madhusudan-eqsmt/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-csl-madhusudan-eqsmt/ What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection https://www.comp.nus.edu.sg/~umathur/publications/2018-oopsla-mathur-shb-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-oopsla-mathur-shb-race-detection/ Exact Quantitative Probabilistic Model Checking Through Rational Search https://www.comp.nus.edu.sg/~umathur/publications/2017-fmcad-bauer-rationalsearch/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-fmcad-bauer-rationalsearch/ Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis https://www.comp.nus.edu.sg/~umathur/publications/2017-cav-gascon-proof-search/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-cav-gascon-proof-search/ Dynamic Race Prediction in Linear Time https://www.comp.nus.edu.sg/~umathur/publications/2017-pldi-kini-wcp-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-pldi-kini-wcp-race-prediction/ Computing Information Flow Using Symbolic Model-Checking https://www.comp.nus.edu.sg/~umathur/publications/2014-fsttcs-chadha-information-flow/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2014-fsttcs-chadha-information-flow/ Weak Singular Hybrid Automata https://www.comp.nus.edu.sg/~umathur/publications/2014-formats-krishna-weak-singular-hybrid-automata/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2014-formats-krishna-weak-singular-hybrid-automata/