Mahesh Viswanathan
University of Illinois at Urbana-Champaign
H-index: 41
North America-United States
Top articles of Mahesh Viswanathan
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Deciding Differential Privacy of Online Algorithms with Multiple Variables | Rohit Chadha A Prasad Sistla Mahesh Viswanathan Bishnu Bhusal | 2023/11/15 | |
Dynamic race detection with O (1) samples | Proceedings of the ACM on Programming Languages | Mosaad Al Thokair Minjian Zhang Umang Mathur Mahesh Viswanathan | 2023/1/9 |
RTAEval: A framework for evaluating runtime assurance logic | Kristina Miller Christopher K Zeitler William Shen Mahesh Viswanathan Sayan Mitra | 2023/10/19 | |
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning | arXiv preprint arXiv:2310.04288 | Kristina Miller Christopher K Zeitler William Shen Kerianne Hobbs Sayan Mitra | 2023/10/6 |
Sound dynamic deadlock prediction in linear time | Proceedings of the ACM on Programming Languages | Hünkar Can Tunç Umang Mathur Andreas Pavlogiannis Mahesh Viswanathan | 2023/6/6 |
Stack-aware hyperproperties | Ali Bajwa Minjian Zhang Rohit Chadha Mahesh Viswanathan | 2023/4/22 | |
Automata Column | ACM SIGLOG News | Mahesh Viswanathan | 2023/2/6 |
Work in Progress: A New Graduate Certificate to Broaden Participation in Computing | Yael Gertner Nancy Amato Adrienne Gulley Jancie Harris Mahesh Viswanathan | 2022/8/23 | |
Proof blocks: autogradable scaffolding activities for learning to write proofs | Seth Poulsen Mahesh Viswanathan Geoffrey L Herman Matthew West | 2022/7/7 | |
A tree clock data structure for causal orderings in concurrent executions | Umang Mathur Andreas Pavlogiannis Hünkar Can Tunç Mahesh Viswanathan | 2022/2/28 | |
Evaluating proof blocks problems as exam questions | ACM Inroads | Seth Poulsen Mahesh Viswanathan Geoffrey L Herman Matthew West | 2022/2/14 |
Optimal prediction of synchronization-preserving races | Proceedings of the ACM on Programming Languages | Umang Mathur Andreas Pavlogiannis Mahesh Viswanathan | 2021/1/4 |
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction | ACM Transactions on Embedded Computing Systems (TECS) | Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E Dullerud | 2021/11/15 |
Checking LTL [F, G, X] on compressed traces in polynomial time | Minjian Zhang Umang Mathur Mahesh Viswanathan | 2021/8/20 | |
On linear time decidability of differential privacy for programs with unbounded inputs | Rohit Chadha A Prasad Sistla Mahesh Viswanathan | 2021/6/29 | |
Controller synthesis for linear system with reach-avoid specifications | IEEE Transactions on Automatic Control | Chuchu Fan Zengyi Qin Umang Mathur Qiang Ning Sayan Mitra | 2021/3/30 |
Deciding accuracy of differential privacy schemes | Proceedings of the ACM on Programming Languages | Gilles Barthe Rohit Chadha Paul Krogmeier A Prasad Sistla Mahesh Viswanathan | 2021/1/4 |
What’s decidable about program verification modulo axioms? | Umang Mathur P Madhusudan Mahesh Viswanathan | 2020/4/17 | |
Statistically model checking PCTL specifications on Markov decision processes via reinforcement learning | Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E Dullerud | 2020/12/14 | |
Atomicity checking in linear time using vector clocks | Umang Mathur Mahesh Viswanathan | 2020/3/9 |