• Sign in
  • Sign up
conf.researchr.org / Ryan Beckett
  • 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
xWed 6 Dec 21:09
using conf.researchr.org (v1.62.0)
Support page
Sign Up