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

PLDI 2019Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track
POPL 2019Author 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 2018Committee Member in Organizing Committee within the FMS 2018-track
Committee Member in Program Committee within the FMS 2018-track
SPLASH 2018Author 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 2017Committee Member in Organizing Committee within the FMS 2017-track
POPL 2018Author 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
FMSCo-chair in Organizing Committee within the FMS-track
POPL 2017ERC member in External Review Committee within the POPL-track
PLDI 2017Committee Member in External Program Committee
POPL 2016Author of Learning Invariants using Decision Trees and Implication Counterexamples within the Research Papers-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track