Mahesh Viswanathan

University of Illinois Urbana-Champaign — United States

Computer Science · Physical Sciences

39h-index6.3kcitations262works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(127), Software Testing and Debugging Techniques(57), Software Reliability and Analysis Research(38), Logic, programming, and type systems(30), Machine Learning and Algorithms(25)

Publications262 total

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
2025Open Access
Optimized Cloud Storage Framework Utilizing Key Aggregate Searchable Encryption for Collaborative Data Sharing
International Journal of Science and Research (IJSR)·2025Open Access
Efficient Timestamping for Sampling-Based Race Detection
Proceedings of the ACM on Programming Languages·2025Open Access
Checking δ-Satisfiability of Reals with Integrals
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Efficient Timestamping for Sampling-based Race Detection
arXiv (Cornell University)·2025Open Access
The Decision Problem for Regular First Order Theories
Proceedings of the ACM on Programming Languages·2025Open Access
Deciding branching hyperproperties for real time systems
arXiv (Cornell University)·2024Open Access
Optimal Runtime Assurance via Reinforcement Learning
2024· 1 cited
Work in Progress: A New Graduate Certificate to Broaden Participation in Computing
2024· 1 citedOpen Access
Deciding Differential Privacy of Online Algorithms with Multiple Variables
2023· 5 cited
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
arXiv (Cornell University)·2023Open Access
Deciding Differential Privacy of Online Algorithms with Multiple Variables
arXiv (Cornell University)·2023Open Access
Sound Dynamic Deadlock Prediction in Linear Time
Proceedings of the ACM on Programming Languages·2023· 13 citedOpen Access
RTAEval: A framework for evaluating runtime assurance logic
arXiv (Cornell University)·2023Open Access
Sound Dynamic Deadlock Prediction in Linear Time
arXiv (Cornell University)·2023· 1 citedOpen Access
Stack-Aware Hyperproperties
arXiv (Cornell University)·2023Open Access
Dynamic Race Detection with O(1) Samples
Proceedings of the ACM on Programming Languages·2023· 7 citedOpen Access
RTAEval: A Framework for Evaluating Runtime Assurance Logic
Lecture notes in computer science·2023· 3 cited
Stack-Aware Hyperproperties
Lecture notes in computer science·2023· 4 citedOpen Access
Automata Column
ACM SIGLOG News·2022
page 1 of 14Next →

Frequent Co-authors

Sayan Mitra(9), Parasara Sridhar Duggirala(8), Koushik Sen(6), Gul Agha(6), Oleg Sokolsky(6), Sampath Kannan(5), Insup Lee(5), Moonjoo Kim(4), Chuchu Fan(4), Dileep Kini(4), George Nagy(3), Rajeev Alur(3), Viraj Kumar(3), P. Madhusudan(3), Umang Mathur(3), Sampath Kannan(3), Pavithra Prabhakar(3), Sharad Seth(2), Moonzoo Kim(2), Senthil Kannan(2)