Managing and reasoning about networks by data (knowledge) management. (Supported by the National Science Foundation Award CNS-1909450 and CNS 1657285.)


2021

2020

  • March, 2020: A Case of Knowledge-driven Policy Management: Bringing Discipline to Internet Routing, SOSR 2020 [poster]

2019

  • 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]

2018

2017

2016


Get Started

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.