The conventional approach for building software-defined network systems requires
separately develo** the management, control, and data planes. Manually written code …

We study the dynamic query evaluation problem: Given a join query Q and a stream of
updates, we would like to construct a data structure that supports constant-delay …

Modern data analytics applications, such as knowledge graph reasoning and machine
learning, typically involve recursion through aggregation. Such computations pose great …

As the cloud rapidly expands in scale, the virtual network controller must manage an
increasing number of devices with higher update frequencies. Furthermore, the emergence …

Streaming systems are present throughout modern applications, processing continuous data
in real-time. Existing streaming languages have a variety of semantic models and …

We investigate the evaluation of conjunctive queries over static and dynamic relations. While
static relations are given as input and do not change, dynamic relations are subject to inserts …

Abstract Modern Datalog engines (eg, LogicBlox, Soufflé, ddlog) enable their users to write
declarative queries which compute recursive deductions over extensional facts, leaving high …

The core reasoning task for datalog engines is materialization, the evaluation of a datalog
program over a database alongside its physical incorporation into the database itself. The …

Differential computation (DC) has emerged as a powerful general technique for maintaining
computations over evolving datasets, even those containing arbitrarily nested loops, making …

In the rapidly evolving AI era with large language models (LLMs) at the core, making LLMs
more trustworthy and efficient, especially in output generation (inference), has gained …