conf.researchr.org / Kenneth L. McMillan
Registered user since Mon 2 Jan 2023
Name:Kenneth L. McMillan
Country:United States
Affiliation:University of Texas at Austin
Contributions
2023
NFM
2022
2021
Static Analysis Symposium
2018
VMCAI
- 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)