Not registered as user yet

Name:Mahesh Viswanathan
Country:United States
Affiliation:University of Illinois at Urbana-Champaign

Contributions

PLDI 2022 Author of (POPL 2021) Optimal Prediction of Synchronization-Preserving Races within the SIGPLAN Track-track
ICER 2021 Author of Evaluating Proof Blocks Problems as Exam Questions within the Research Papers-track
ESEC/FSE 2022 Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the ESEC/FSE 2021-track
ESEC/FSE 2021 Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the Research Papers-track
POPL 2021 Author of Optimal Prediction of Synchronization-Preserving Races within the POPL-track
Author of Deciding Accuracy of Differential Privacy Schemes within the POPL-track
POPL 2020 Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track
POPL 2019 Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track
SPLASH 2018 Author of What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection within the OOPSLA-track
VMCAI 2018 Author of Revisiting MITL to Fix Decision Procedures within the VMCAI 2018-track
ESEC/FSE 2018 Author of Data Race Detection on Compressed Traces within the Research Papers-track
PLDI 2017 Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track
PLOOC 2015 Author of AutomataTutor and what I learned from building an online teaching tool within the PLOOC 2015-track