TY - GEN
T1 - Demo
T2 - ACM SIGCOMM 2023 Conference
AU - Anwar, Mubashir
AU - Wang, Anduo
AU - Lan, Fangping
AU - Caesar, Matthew
N1 - Publisher Copyright:
© 2023 Owner/Author(s).
PY - 2023/9/10
Y1 - 2023/9/10
N2 - Traditional network state management focuses on packets that exercise network structures (configurations, procedures) and testify semantics (intentions), but provides little insights into how the structure actually "causes"the semantics. In response to this missed opportunity, we propose reflective networking, which features a network structure capable of altering itself with a causal connection to its semantics. Specifically, we investigate the network datalog structure and the chase, a process that transforms datalog programs by "executing"intents (semantic constraints) that are themselves expressed in datalog. To illustrate the usefulness of reflective networking, this demonstration presents a first use case: we developed an intuitive specification of routing in datalog, and employed the chase to summarize a network's routing behavior by minimizing (repeatedly transforming) the corresponding datalog program.
AB - Traditional network state management focuses on packets that exercise network structures (configurations, procedures) and testify semantics (intentions), but provides little insights into how the structure actually "causes"the semantics. In response to this missed opportunity, we propose reflective networking, which features a network structure capable of altering itself with a causal connection to its semantics. Specifically, we investigate the network datalog structure and the chase, a process that transforms datalog programs by "executing"intents (semantic constraints) that are themselves expressed in datalog. To illustrate the usefulness of reflective networking, this demonstration presents a first use case: we developed an intuitive specification of routing in datalog, and employed the chase to summarize a network's routing behavior by minimizing (repeatedly transforming) the corresponding datalog program.
KW - datalog minimization
KW - network management
KW - reflective programming
KW - the chase
UR - http://www.scopus.com/inward/record.url?scp=85174056171&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85174056171&partnerID=8YFLogxK
U2 - 10.1145/3603269.3610847
DO - 10.1145/3603269.3610847
M3 - Conference contribution
AN - SCOPUS:85174056171
T3 - SIGCOMM 2023 - Proceedings of the ACM SIGCOMM 2023 Conference
SP - 1188
EP - 1190
BT - SIGCOMM 2023 - Proceedings of the ACM SIGCOMM 2023 Conference
PB - Association for Computing Machinery
Y2 - 10 September 2023 through 14 September 2023
ER -