Data Race Detection on Umang Mathur https://umangmathur.org/tags/data-race-detection/ Recent content in Data Race Detection on Umang Mathur Hugo -- 0.148.2 en-us Thu, 25 Jul 2024 00:00:00 +0000 Predictive Monitoring with Strong Trace Prefixes https://umangmathur.org/publications/2024-cav-ang-strong-trace-prefixes/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2024-cav-ang-strong-trace-prefixes/ Predictive Monitoring against Pattern Regular Languages https://umangmathur.org/publications/2024-popl-ang-pattern-languages/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2024-popl-ang-pattern-languages/ <p>Note: The ArXiv version of the paper corrects an error in the published version.</p> Dynamic Data-Race Detection through the Fine-Grained Lens https://umangmathur.org/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ Data Race Detection on Compressed Traces https://umangmathur.org/publications/2018-fse-kini-compressed-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2018-fse-kini-compressed-race-detection/ Dynamic Race Prediction in Linear Time https://umangmathur.org/publications/2017-pldi-kini-wcp-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2017-pldi-kini-wcp-race-prediction/