Kenneth L. McMillan -

Not registered as user yet

Name:Kenneth L. McMillan

Country:United States

Affiliation:University of Texas at Austin

Contributions

PLDI 2022	Author of (POPL 2022) Induction Duality: Primal-Dual Search for Invariants within the SIGPLAN Track-track
POPL 2022	Author of Induction Duality: Primal-Dual Search for Invariants within the POPL-track Committee Member in Program Committee within the POPL-track
SAS 2021	Committee Member in Program Committee within the SAS-track
VMCAI 2018	Author of P5: Planner-less Proofs of Probabilistic Parameterized Protocols within the VMCAI 2018-track Committee Member in Program Committee within the VMCAI 2018-track Author of How to Stay Decidable within the VMCAI 2018-track Invited Speaker in Invited Speakers within the VMCAI 2018-track Session Chair of Model Checking (part of VMCAI 2018)
PLDI 2018	Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track
PLDI 2016	Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track
SPLASH 2013	Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track