Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ryan Beckett
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2020 profile
Registered user since Tue 28 Jan 2020
Name:
Ryan Beckett
Affiliation:
Microsoft Research, USA
Contributions
2023
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Modular Control Plane Verification via Temporal Invariants within the PLDI Research Papers-track
2022
PLDI
Author of Kleene Algebra Modulo Theories: A Framework for Concrete KATs within the PLDI-track
2020
PLDI
Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track
POPL
Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
Share
x
Wed 6 Dec 21:09