https://umangmathur.org/research-directions/concurrency/ https://umangmathur.org/research-directions/hardware/ https://umangmathur.org/research-directions/translation/ https://umangmathur.org/research-directions/theory/ https://umangmathur.org/publications/2026-atc-paznikov-instrumentation-optimization/ 2026-09-19T00:00:00+00:00 https://umangmathur.org/publications/ 2026-09-19T00:00:00+00:00 https://umangmathur.org/ 2026-09-19T00:00:00+00:00 https://umangmathur.org/publications/2026-cacm-zhang-dynamic-race-detection/ 2026-09-01T00:00:00+00:00 https://umangmathur.org/publications/2026-pldi-lee-fpt-linearizability-monitoring/ 2026-04-04T00:00:00+00:00 https://umangmathur.org/publications/2026-pldi-balasubramanian-dpor-estimation/ 2026-04-04T00:00:00+00:00 https://umangmathur.org/publications/2026-asplos-yu-anvil-hdl/ 2026-03-22T00:00:00+00:00 https://umangmathur.org/tags/concurrency-safety/ 2026-03-22T00:00:00+00:00 https://umangmathur.org/tags/hardware-description-languages/ 2026-03-22T00:00:00+00:00 https://umangmathur.org/tags/ 2026-03-22T00:00:00+00:00 https://umangmathur.org/tags/type-systems/ 2026-03-22T00:00:00+00:00 https://umangmathur.org/tags/approximate-counting/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/channels/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/complexity/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/concurrency/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/consistency/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/counting/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/publications/2026-popl-decolnet-counting-sampling-traces/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/fpras/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/golang/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/mazurkiewicz-traces/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/message-passing/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/regular-language/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/sampling/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/tags/testing/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/publications/2026-popl-shi-message-passing-consistency/ 2026-01-08T00:00:00+00:00 https://umangmathur.org/publications/2025-oopsla-lee-decrease-and-conquer-linearizability-monitoring/ 2025-10-01T00:00:00+00:00 https://umangmathur.org/publications/2025-pldi-zhang-sampling-timestamping/ 2025-06-01T00:00:00+00:00 https://umangmathur.org/publications/2025-pldi-wang-skel-program-translation/ 2025-06-01T00:00:00+00:00 https://umangmathur.org/publications/2025-asplos-zhao-surw-concurrency-testing/ 2025-03-30T00:00:00+00:00 https://umangmathur.org/publications/2025-popl-mathur-regular-theories/ 2025-01-09T00:00:00+00:00 https://umangmathur.org/tags/data-race-detection/ 2024-07-25T00:00:00+00:00 https://umangmathur.org/tags/dynamic-analysis/ 2024-07-25T00:00:00+00:00 https://umangmathur.org/publications/2024-cav-ang-strong-trace-prefixes/ 2024-07-25T00:00:00+00:00 https://umangmathur.org/tags/trace-theory/ 2024-07-25T00:00:00+00:00 https://umangmathur.org/publications/2024-popl-ang-pattern-languages/ 2024-01-06T00:00:00+00:00 https://umangmathur.org/publications/2024-popl-farzan-grain-equivalence/ 2024-01-05T00:00:00+00:00 https://umangmathur.org/tags/equivalences/ 2024-01-05T00:00:00+00:00 https://umangmathur.org/publications/2024-popl-chakraborty-hardness-weak-memory/ 2024-01-05T00:00:00+00:00 https://umangmathur.org/tags/weak-memory/ 2024-01-05T00:00:00+00:00 https://umangmathur.org/publications/2024-pods-meel-fpras-sharpe-nfa/ 2024-01-01T00:00:00+00:00 https://umangmathur.org/publications/2024-asplos-wolff-rff-greybox-concurrency-fuzzing/ 2024-01-01T00:00:00+00:00 https://umangmathur.org/publications/2024-icse-shi-osr-race-prediction/ 2024-01-01T00:00:00+00:00 https://umangmathur.org/publications/2024-cpp-zhao-arboreta/ 2024-01-01T00:00:00+00:00 https://umangmathur.org/publications/2023-popl-thokair-rpt-sampling-race-detection/ 2023-01-01T00:00:00+00:00 https://umangmathur.org/publications/2023-pldi-tunc-ra-reads-from/ 2023-01-01T00:00:00+00:00 https://umangmathur.org/publications/2023-pldi-tunc-syncp-deadlock-prediction/ 2023-01-01T00:00:00+00:00 https://umangmathur.org/publications/2022-asplos-mathur-tree-clocks/ 2022-01-01T00:00:00+00:00 https://umangmathur.org/publications/2022-tac-fan-controller-synthesis/ 2022-01-01T00:00:00+00:00 https://umangmathur.org/tags/dynamical-systems/ 2022-01-01T00:00:00+00:00 https://umangmathur.org/tags/smt/ 2022-01-01T00:00:00+00:00 https://umangmathur.org/tags/synthesis/ 2022-01-01T00:00:00+00:00 https://umangmathur.org/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ 2021-08-13T00:00:00+00:00 https://umangmathur.org/tags/fine-grained-complexity/ 2021-08-13T00:00:00+00:00 https://umangmathur.org/tags/predictive-analysis/ 2021-08-13T00:00:00+00:00 https://umangmathur.org/publications/2021-fse-zhang-compressed-ltl/ 2021-01-01T00:00:00+00:00 https://umangmathur.org/publications/2021-popl-mathur-syncp-race-prediction/ 2021-01-01T00:00:00+00:00 https://umangmathur.org/publications/2021-icse-murali-root-cause-analysis/ 2021-01-01T00:00:00+00:00 https://umangmathur.org/tags/decidability/ 2020-07-21T00:00:00+00:00 https://umangmathur.org/publications/2020-cav-krogmeier-synthesis-of-coherent-programs/ 2020-07-21T00:00:00+00:00 https://umangmathur.org/publications/2020-asplos-mathur-aerodrome-atomicity-checking/ 2020-01-01T00:00:00+00:00 https://umangmathur.org/publications/2020-popl-mathur-decidable-memory-safety/ 2020-01-01T00:00:00+00:00 https://umangmathur.org/publications/2020-fmsd-mathur-rationalsearch/ 2020-01-01T00:00:00+00:00 https://umangmathur.org/publications/2020-lics-mathur-complexity-race-prediction/ 2020-01-01T00:00:00+00:00 https://umangmathur.org/publications/2020-tacas-mathur-decidable-verification-modulo-axioms/ 2020-01-01T00:00:00+00:00 https://umangmathur.org/publications/2019-popl-mathur-verification-of-coherent-programs/ 2019-01-01T00:00:00+00:00 https://umangmathur.org/publications/2018-fse-kini-compressed-race-detection/ 2018-10-26T00:00:00+00:00 https://umangmathur.org/tags/dyanamic-analysis/ 2018-10-26T00:00:00+00:00 https://umangmathur.org/publications/2018-cav-fan-controller-synthesis/ 2018-07-18T00:00:00+00:00 https://umangmathur.org/publications/2018-csl-madhusudan-eqsmt/ 2018-01-01T00:00:00+00:00 https://umangmathur.org/publications/2018-oopsla-mathur-shb-race-detection/ 2018-01-01T00:00:00+00:00 https://umangmathur.org/publications/2017-fmcad-bauer-rationalsearch/ 2017-11-09T00:00:00+00:00 https://umangmathur.org/tags/model-checking/ 2017-11-09T00:00:00+00:00 https://umangmathur.org/tags/probabilistic-systems/ 2017-11-09T00:00:00+00:00 https://umangmathur.org/publications/2017-cav-gascon-proof-search/ 2017-07-13T00:00:00+00:00 https://umangmathur.org/publications/2017-pldi-kini-wcp-race-prediction/ 2017-06-14T00:00:00+00:00 https://umangmathur.org/publications/2014-fsttcs-chadha-information-flow/ 2014-12-12T00:00:00+00:00 https://umangmathur.org/tags/information-leakage/ 2014-12-12T00:00:00+00:00 https://umangmathur.org/tags/probabilistic/ 2014-12-12T00:00:00+00:00 https://umangmathur.org/tags/hybrid-automata/ 2014-09-08T00:00:00+00:00 https://umangmathur.org/publications/2014-formats-krishna-weak-singular-hybrid-automata/ 2014-09-08T00:00:00+00:00 https://umangmathur.org/categories/ https://umangmathur.org/research-directions/ https://umangmathur.org/team/ https://umangmathur.org/service/ https://umangmathur.org/teaching/