| Dynamic race prediction in linear time D Kini, U Mathur, M Viswanathan ACM SIGPLAN Notices 52 (6), 157-170, 2017 | 39 | 2017 |
| Computing Information Flow Using Symbolic Model-Checking R Chadha, U Mathur, S Schwoon 34th International Conference on Foundation of Software Technology and …, 2014 | 13 | 2014 |
| What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection U Mathur, D Kini, M Viswanathan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 145, 2018 | 10 | 2018 |
| Controller synthesis made real: reach-avoid specifications and linear dynamics C Fan, U Mathur, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 347-366, 2018 | 10 | 2018 |
| Look for the proof to find the program: Decorated-component-based program synthesis A Gascón, A Tiwari, B Carmer, U Mathur International Conference on Computer Aided Verification, 86-103, 2017 | 9 | 2017 |
| Exact quantitative probabilistic model checking through rational search MS Bauer, U Mathur, R Chadha, AP Sistla, M Viswanathan 2017 Formal Methods in Computer Aided Design (FMCAD), 92-99, 2017 | 7 | 2017 |
| Decidable verification of uninterpreted programs U Mathur, P Madhusudan, M Viswanathan Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 5 | 2019 |
| The complexity of dynamic data race prediction U Mathur, A Pavlogiannis, M Viswanathan Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 3 | 2020 |
| Deciding memory safety for single-pass heap-manipulating programs U Mathur, A Murali, P Krogmeier, P Madhusudan, M Viswanathan Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 3 | 2019 |
| Data race detection on compressed traces D Kini, U Mathur, M Viswanathan Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 3 | 2018 |
| Atomicity checking in linear time using vector clocks U Mathur, M Viswanathan Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 2 | 2020 |
| What’s Decidable About Program Verification Modulo Axioms? U Mathur, P Madhusudan, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2020 | 1 | 2020 |
| A decidable fragment of second order logic with applications to synthesis P Madhusudan, U Mathur, S Saha, M Viswanathan arXiv preprint arXiv:1712.05513, 2017 | 1 | 2017 |
| Weak Singular Hybrid Automata SN Krishna, U Mathur, A Trivedi Formal Modeling and Analysis of Timed Systems 8711, 161-175, 2014 | 1* | 2014 |
| Optimal prediction of synchronization-preserving races U Mathur, A Pavlogiannis, M Viswanathan Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | | 2021 |
| Scalable Statistical Root Cause Analysis on App Telemetry V Murali, E Yao, U Mathur, S Chandra arXiv preprint arXiv:2010.09974, 2020 | | 2020 |
| Decidable Synthesis of Programs with Uninterpreted Functions P Krogmeier, U Mathur, A Murali, P Madhusudan, M Viswanathan International Conference on Computer Aided Verification, 634-657, 2020 | | 2020 |
| Weak Singular Hybrid Automata S Narayanan Krishna, U Mathur, A Trivedi arXiv e-prints, arXiv: 1311.3826, 2013 | | 2013 |
| Controller synthesis for linear system with reach-avoid specifications C Fan, U Mathur, Q Ning, S Mitra, M Viswanathan | | |
| Sound Dynamic Deadlock Prediction in Linear Time U Mathur, MS Bauer, M Viswanathan | | |
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
