Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kenneth L. McMillan
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2022 profile
POPL 2018 profile
POPL 2022 profile
SPLASH 2013 profile
SPLASH 2021 profile
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
Share
x
Mon 16 May 16:13