Indirect Network Troubleshooting with The Chase

Mubashir Anwar; Fangping Lan; Anduo Wang; Matthew Caesar

doi:10.1145/3600061.3603137

Indirect Network Troubleshooting with The Chase

Mubashir Anwar, Fangping Lan, Anduo Wang, Matthew Caesar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The future of static verification in networking may be obscured by two clouds: the complexity of distributed systems with highly concurrent events, and the decision-making on infrastructures growing without a premeditated plan. This poster discusses a possible solution to these issues, in which the huge space of analyzing distributed systems and the macro-questions of system evolution are addressed by a common structure, a logical implication problem which we call indirect troubleshooting. The usefulness and feasibility of indirect troubleshooting is illustrated by a preliminary realization with the chase, a remarkable process for mechanically deciding implications.

Original language	English (US)
Title of host publication	Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023
Publisher	Association for Computing Machinery
Pages	208-210
Number of pages	3
ISBN (Electronic)	9798400707827
DOIs	https://doi.org/10.1145/3600061.3603137
State	Published - Jun 29 2023
Event	7th Asia-Pacific Workshop on Networking, APNET 2023 - Hong Kong, China Duration: Jun 29 2023 → Jun 30 2023

Publication series

Name	Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023

Conference

Conference	7th Asia-Pacific Workshop on Networking, APNET 2023
Country/Territory	China
City	Hong Kong
Period	6/29/23 → 6/30/23

ASJC Scopus subject areas

Computer Networks and Communications

Online availability

10.1145/3600061.3603137

Library availability

Discover UIUC Full Text

Cite this

Indirect Network Troubleshooting with The Chase. / Anwar, Mubashir; Lan, Fangping; Wang, Anduo et al.
Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023. Association for Computing Machinery, 2023. p. 208-210 (Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Anwar, M, Lan, F, Wang, A & Caesar, M 2023, Indirect Network Troubleshooting with The Chase. in Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023. Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023, Association for Computing Machinery, pp. 208-210, 7th Asia-Pacific Workshop on Networking, APNET 2023, Hong Kong, China, 6/29/23. https://doi.org/10.1145/3600061.3603137

@inproceedings{e5700f35c1124d54afced57c5e264b04,

title = "Indirect Network Troubleshooting with The Chase",

abstract = "The future of static verification in networking may be obscured by two clouds: the complexity of distributed systems with highly concurrent events, and the decision-making on infrastructures growing without a premeditated plan. This poster discusses a possible solution to these issues, in which the huge space of analyzing distributed systems and the macro-questions of system evolution are addressed by a common structure, a logical implication problem which we call indirect troubleshooting. The usefulness and feasibility of indirect troubleshooting is illustrated by a preliminary realization with the chase, a remarkable process for mechanically deciding implications.",

author = "Mubashir Anwar and Fangping Lan and Anduo Wang and Matthew Caesar",

note = "Publisher Copyright: {\textcopyright} 2023 Owner/Author.; 7th Asia-Pacific Workshop on Networking, APNET 2023 ; Conference date: 29-06-2023 Through 30-06-2023",

year = "2023",

month = jun,

day = "29",

doi = "10.1145/3600061.3603137",

language = "English (US)",

series = "Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023",

publisher = "Association for Computing Machinery",

pages = "208--210",

booktitle = "Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023",

address = "United States",

}

TY - GEN

T1 - Indirect Network Troubleshooting with The Chase

AU - Anwar, Mubashir

AU - Lan, Fangping

AU - Wang, Anduo

AU - Caesar, Matthew

PY - 2023/6/29

Y1 - 2023/6/29

N2 - The future of static verification in networking may be obscured by two clouds: the complexity of distributed systems with highly concurrent events, and the decision-making on infrastructures growing without a premeditated plan. This poster discusses a possible solution to these issues, in which the huge space of analyzing distributed systems and the macro-questions of system evolution are addressed by a common structure, a logical implication problem which we call indirect troubleshooting. The usefulness and feasibility of indirect troubleshooting is illustrated by a preliminary realization with the chase, a remarkable process for mechanically deciding implications.

AB - The future of static verification in networking may be obscured by two clouds: the complexity of distributed systems with highly concurrent events, and the decision-making on infrastructures growing without a premeditated plan. This poster discusses a possible solution to these issues, in which the huge space of analyzing distributed systems and the macro-questions of system evolution are addressed by a common structure, a logical implication problem which we call indirect troubleshooting. The usefulness and feasibility of indirect troubleshooting is illustrated by a preliminary realization with the chase, a remarkable process for mechanically deciding implications.

UR - http://www.scopus.com/inward/record.url?scp=85173814260&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85173814260&partnerID=8YFLogxK

U2 - 10.1145/3600061.3603137

DO - 10.1145/3600061.3603137

M3 - Conference contribution

AN - SCOPUS:85173814260

T3 - Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023

SP - 208

EP - 210

BT - Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023

PB - Association for Computing Machinery

T2 - 7th Asia-Pacific Workshop on Networking, APNET 2023

Y2 - 29 June 2023 through 30 June 2023

ER -

Indirect Network Troubleshooting with The Chase

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this