BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Beckett:Ryan

Contributed to:

CAV (2) 20192019
PLDI 20162016
PLDI 20172017
POPL 20202020

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.