Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mahesh Viswanathan
conf.researchr.org general profile
ESEC/FSE 2018 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ICER 2021 profile
PLDI 2015 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2018 profile
Not registered as user yet
Name:
Mahesh Viswanathan
Country:
United States
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2025
POPL
Author of The Decision Problem for Regular First Order Theories within the POPL-track
2023
PLDI
Author of Sound Dynamic Deadlock Prediction in Linear Time within the PLDI Research Papers-track
POPL
Author of Dynamic Race Detection with O(1) Samples within the POPL-track
2022
ESEC/FSE
Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the ESEC/FSE 2021-track
PLDI
Author of (POPL 2021) Optimal Prediction of Synchronization-Preserving Races within the SIGPLAN Track-track
2021
ESEC/FSE
Author of Checking LTL[F,G,X] on Compressed Traces in Polynomial Time within the Research Papers-track
ICER
Author of Evaluating Proof Blocks Problems as Exam Questions within the Research Papers-track
POPL
Author of Optimal Prediction of Synchronization-Preserving Races within the POPL-track
Author of Deciding Accuracy of Differential Privacy Schemes within the POPL-track
2020
POPL
Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track
2019
POPL
Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track
2018
ESEC/FSE
Author of Data Race Detection on Compressed Traces within the Research Papers-track
SPLASH
Author of What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection within the OOPSLA-track
VMCAI
Author of Revisiting MITL to Fix Decision Procedures within the VMCAI 2018-track
2017
PLDI
Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track
2015
PLOOC
Author of AutomataTutor and what I learned from building an online teaching tool within the PLOOC 2015-track
Share
x
Thu 21 Nov 12:13