P. Madhusudan -

Registered user since Tue 19 Apr 2016

Name:P. Madhusudan

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Personal website:http://madhu.cs.illinois.edu

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