| Dynamic race prediction in linear time D Kini, U Mathur, M Viswanathan ACM SIGPLAN Notices 52 (6), 157-170, 2017 | 47 | 2017 |
| 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 | 18 | 2018 |
| 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 | 16 | 2018 |
| 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 |
| 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 | 10 | 2017 |
| Decidable verification of uninterpreted programs U Mathur, P Madhusudan, M Viswanathan Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 9 | 2019 |
| Human-in-the-Loop Machine Learning to Increase Video Accessibility for Visually Impaired and Blind Users BF Yuksel, P Fazli, U Mathur, V Bisht, SJ Kim, JJ Lee, SJ Jin, YT Siu, ... Proceedings of the 2020 ACM Designing Interactive Systems Conference, 47-60, 2020 | 7 | 2020 |
| 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 |
| Increasing video accessibility for visually impaired users with human-in-the-loop machine learning BF Yuksel, SJ Kim, SJ Jin, JJ Lee, P Fazli, U Mathur, V Bisht, I Yoon, ... Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing …, 2020 | 6 | 2020 |
| Atomicity checking in linear time using vector clocks U Mathur, M Viswanathan Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 5 | 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 | 4 | 2020 |
| 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 | 4 | 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 | 4 | 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 | 4 | 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 | 4 | 2018 |
| Optimal prediction of synchronization-preserving races U Mathur, A Pavlogiannis, M Viswanathan Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 3 | 2021 |
| 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 | 2 | 2017 |
| Weak Singular Hybrid Automata SN Krishna, U Mathur, A Trivedi Formal Modeling and Analysis of Timed Systems 8711, 161-175, 2014 | 2* | 2014 |
| Scalable Statistical Root Cause Analysis on App Telemetry V Murali, E Yao, U Mathur, S Chandra 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 1 | 2021 |
| Controller synthesis for linear system with reach-avoid specifications C Fan, Z Qin, U Mathur, Q Ning, S Mitra, M Viswanathan IEEE Transactions on Automatic Control, 2021 | 1 | 2021 |
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
