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
PLDI 2024 profile
PLDI 2025 profile
POPL 2020 profile
POPL 2025 profile
Registered user since Tue 28 Jan 2020
Name:
Ryan Beckett
Affiliation:
Microsoft Research, USA
Contributions
2025
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL
Committee Member in Program Committee within the POPL-track
2024
PLDI
Author of Diffy: Data-Driven Bug Finding for Configurations within the PLDI Research Papers-track
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
Sun 22 Dec 08:26