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

SPLASH 2023 Author of Languages with Decidable Learning: A Meta-theorem within the OOPSLA-track
PLDI 2023 Author of Model-guided synthesis of inductive lemmas for FOL with least fixpoints within the PLDI Research Papers-track
SPLASH 2022 Author of Synthesizing Axiomatizations using Logic Learning within the OOPSLA-track
Author of Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
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
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
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 2018 Committee Member in Organizing Committee within the FMS 2018-track
Committee Member in Program Committee within the FMS 2018-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
PLDI 2017 Committee Member in External Program Committee
POPL 2017 ERC member in External Review Committee within the POPL-track
FMS Co-chair in Organizing Committee within the FMS-track
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