Mahesh Viswanathan

发表

How Can Automatic Feedback Help Students Construct Automata?

Sumit Gulwani, Rajeev Alur, Björn Hartmann, 2015, ACM Trans. Comput. Hum. Interact..

Optimal prediction of synchronization-preserving races

Andreas Pavlogiannis, Mahesh Viswanathan, Umang Mathur, 2021, Proc. ACM Program. Lang..

Automated Grading of DFA Constructions

Sumit Gulwani, Rajeev Alur, Loris D'Antoni, 2013, IJCAI.

Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Marcelo d'Amorim, Darko Marinov, Jennifer C. Hou, 2007 .

A Retrospective Look at the Monitoring and Checking (MaC) Framework

Insup Lee, Sampath Kannan, Moonzoo Kim, 2019, RV.

Verisim: Formal analysis of network simulations

Insup Lee, Oleg Sokolsky, Carl A. Gunter, 2000, ISSTA '00.

Replication Package for Article: Deciding Memory-Safety for Single-Pass Heap Manipulating Programs

Mahesh Viswanathan, Umang Mathur, Adithya Murali, 2019 .

Deciding accuracy of differential privacy schemes

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2020, Proc. ACM Program. Lang..

Statistical verification of PCTL using antithetic and stratified samples

Yu Wang, Geir E. Dullerud, Nima Roohi, 2019, Formal Methods Syst. Des..

Preface

Oleg Sokolsky, Mahesh Viswanathan, 2003, Electron. Notes Theor. Comput. Sci..

Formally specified monitoring of temporal properties

Hanêne Ben-Abdallah, Insup Lee, Sampath Kannan, 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

What’s Decidable About Program Verification Modulo Axioms?

Mahesh Viswanathan, Umang Mathur, P. Madhusudan, 2020, TACAS.

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

Yu Wang, Geir E. Dullerud, Nima Roohi, 2020, CAV.

MaC: A Framework for Run-Time Correctness Assurance of Real-Time Systems

Hanêne Ben-Abdallah, Insup Lee, Sampath Kannan, 1998 .

Automated Methods for Checking Differential Privacy pdf

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2019, ArXiv.

The Complexity of Dynamic Data Race Prediction

Andreas Pavlogiannis, Mahesh Viswanathan, Umang Mathur, 2020, LICS.

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction pdf

Yu Wang, Geir E. Dullerud, Nima Roohi, 2020, ACM Trans. Embed. Comput. Syst..

Deciding memory safety for single-pass heap-manipulating programs

P. Madhusudan, Mahesh Viswanathan, Umang Mathur, 2019, Proc. ACM Program. Lang..

Spot-checkers

Ronitt Rubinfeld, Sampath Kannan, Funda Ergün, 1998, STOC '98.

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

Yu Wang, Geir E. Dullerud, Nima Roohi, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Decidable Synthesis of Programs with Uninterpreted Functions

Mahesh Viswanathan, Umang Mathur, Adithya Murali, 2020, CAV.

Modelchecking Safety Properties in Randomized Security Protocols

Rohit Chadha, Mahesh Viswanathan, Matthew S. Bauer, 2020, Logic, Language, and Security.

Deciding Differential Privacy for Programs with Finite Inputs and Outputs.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, 2019 .

A syntactic approach to document segmentation and labeling

George Nagy, Mahesh Viswanathan, 1990 .

Electronic Notes in Theoretical Computer Science: Preface

Oleg Sokolsky, Mahesh Viswanathan, Mahesh Viswanathan, 2003 .

A Monitoring and Checking Framework for Run-time Correctness Assurance

Hanêne Ben-Abdallah, Insup Lee, Sampath Kannan, 1998 .

The relationship between public key encryption and oblivious transfer

Sampath Kannan, Tal Malkin, Omer Reingold, 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

Atomicity Checking in Linear Time using Vector Clocks

Mahesh Viswanathan, Umang Mathur, Mahesh Viswanathan, 2020, ASPLOS.

Honda next generation speech user interface

Keisuke Kondo, Mahesh Viswanathan, Masashi Satomura, 2009 .

Assertion Checking in J-Sim Simulation Models of Network Protocols

Marcelo d'Amorim, Jennifer C. Hou, Darko Marinov, 2010, Simul..

Spot-Checkers

Ronitt Rubinfeld, Sampath Kannan, Funda Ergün, 2000, J. Comput. Syst. Sci..