| Dynamic race detection with O (1) samples MA Thokair, M Zhang, U Mathur, M Viswanathan Proceedings of the ACM on Programming Languages 7 (POPL), 1308-1337, 2023 | 8 | 2023 |
| Stack-aware hyperproperties A Bajwa, M Zhang, R Chadha, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2023 | 2 | 2023 |
| Checking LTL [F, G, X] on compressed traces in polynomial time M Zhang, U Mathur, M Viswanathan Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 1 | 2021 |
| Dynamic Race Detection With O (1) Samples M AL THOKAIR, M ZHANG, U MATHUR, M VISWANATHAN | | 2023 |
