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
PLDI 2023
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022
Author of Kleene Algebra Modulo Theories: A Framework for Concrete KATs within the PLDI-track
PLDI 2020
Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track
POPL 2020
Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
Share
x
Sun 4 Dec 05:20