Knowledge, Reasoning, and Networking
In the battle with system complexity, if knowledge representation and logic reasoning give a deep answer, does networking make a profitable problem? This project (supported by the National Science Foundation Award CNS-1909450 and CNS 1657285) explores the pain points in today’s network analysis — such as unavailable information, uncertain environments, and non-monotonic dynamic behaviors — to motivate our initial conjectures to this question. For more information, please contact email@example.com.
- Fauré 1.0 Release
- Sarasate video extended version (17min), and shorter version (3min SIGCOMM 2021 demo)
- Ravel video [walkthrough]
- November, 2021: Faure: A Partial Approach to Network Analysis, HotNets 2021 [paper]
- October, Fauré 1.0 released: shallow embedding of c-tables in PostgreSQL
- Sarasate video (a strong representation system for network policies using conditional tables): extended version (17min), the shorter version (3min SIGCOMM 2021 demo)
- August, 2021: Demo Sarasate: A Strong Representation System for Networking Policies, SIGCOMM 2021 demo [Extended abstract]
- March, 2020: A Case of Knowledge-driven Policy Management: Bringing Discipline to Internet Routing, SOSR 2020 [poster]
- June, 2019: A Logical Approach to Representing and Reasoning About Interdomain Routing Policies DATALOG 2.0 2019
- June, 2019: Internet Routing and Non-monotonic Reasoning LPNMR 2019 [paper]
- April, 2019: Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach SOSR 2019 [paper] [slide]
- June: Ravel v0.2.1 released
- April, 2018: Poster A Semantic Approach to Modularizing SDN Software, NSDI 18 demo
- March, 2018: Database Criteria for Network Policy Chain, SDN-NFV Security 18
- April: Poster Automating SDN Composition: A Database Perspective presented at SOSR ‘17 [extended abstract] [poster]
- March: Short position paper Reflections on Data Integration for SDN presented at SDN-NFV Security ‘17 [paper] [slides]
- Ravel video walkthrough: [walkthrough]
- September: Ravel v0.2 released
- March: Short paper Ravel: A Database-Defined Network presented at SOSR ‘16 [paper] [slides] [demo]
- March: Ravel v0.1 released
Download the Ravel VM or install from source from our GitHub repository. Then try the Walkthrough.
Or develop your own applications. Read our Developer Guide and browse through the API.