• Sign in
  • Sign up
conf.researchr.org / Kenneth L. McMillan
  • 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
xMon 16 May 16:13
using conf.researchr.org (v1.55.6)
Support page
Sign Up