Kenneth L. McMillan -

Not registered as user yet

Name:Kenneth L. McMillan

Affiliation:UT Austin

Contributions

POPL 2022	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