P. Madhusudan

Registered user since Tue 19 Apr 2016

Name:P. Madhusudan
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Research interests:Software verification, Certified software, Security

Contributions

POPL 2022 Author of Learning Formulas in Finite Variable Logics within the POPL-track
Committee Member in Program Committee within the POPL-track
SPLASH 2021 Author of Synthesizing Contracts Correct Modulo a Test Generator within the OOPSLA-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
POPL 2020 Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track
PLDI 2019 Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track
POPL 2019 Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track
Session Chair of Model Checking (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
FMS 2018 Committee Member in Organizing Committee within the FMS 2018-track
Committee Member in Program Committee within the FMS 2018-track
SPLASH 2018 Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track
FMS 2017 Committee Member in Organizing Committee within the FMS 2017-track
POPL 2018 Author of Foundations for Natural Proofs and Quantifier Instantiation within the Research Papers-track
Author of Foundations for Natural Proofs and Quantifier Instantiation within the Artifact Evaluation-track
FMS Co-chair in Organizing Committee within the FMS-track
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2017 Committee Member in External Program Committee
POPL 2016 Author of Learning Invariants using Decision Trees and Implication Counterexamples within the Research Papers-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014 Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track