Collaborated with:D.Walker R.Mahajan Michael Greenberg 0002 N.Giannarakis A.Gupta T.D.Millstein J.Padhye
Talks about:network (3) abstract (2) counterexampl (1) interpret (1) distribut (1) synthesi (1) configur (1) topolog (1) control (1) tempor (1)
Person: Ryan Beckett
DBLP: Beckett:Ryan
Contributed to:
2019
20162017
2020Wrote 4 papers:
- CAV-2019-GiannarakisBMW #fault tolerance #network #performance #refinement #verification
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
- PLDI-2016-BeckettGW
- Temporal NetKAT (RB, MG0, DW), pp. 386–401.
- PLDI-2017-BeckettMMPW #network #synthesis
- Network configuration synthesis with abstract topologies (RB, RM, TDM, JP, DW), pp. 437–451.
- POPL-2020-BeckettGMW #abstract interpretation #distributed #network
- Abstract interpretation of distributed network control planes (RB, AG, RM, DW), p. 27.