Ryan Beckett -

Registered user since Tue 28 Jan 2020

Name: Ryan Beckett

Affiliation: Microsoft Research, USA

Contributions

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