conf.researchr.org / Ryan Beckett

Registered user since Tue 28 Jan 2020

Name: Ryan Beckett

Affiliation: Microsoft Research, USA

Contributions

PLDI 2020Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track
POPL 2020Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track