We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of
emerging application domains such as data integration, information extraction, networking …

In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …

Distributed programming has become a topic of widespread interest, and many
programmers now wrestle with tradeoffs between data consistency, availability and latency …

Declarative Networking is a programming methodology that enables developers to concisely
specify network protocols and services, which are directly compiled to a dataflow framework …

We present Flowlog, a tierless language for programming SDN controllers. In contrast to
languages with different abstractions for each program tier—the controlplane, data-plane …

Large-scale graph analysis is becoming important with the rise of world-wide social network
services. Recently in SociaLite, we proposed extensions to Datalog to efficiently and …

With the rise of social networks, large-scale graph analysis becomes increasingly important.
Because SQL lacks the expressiveness and performance needed for graph algorithms …

As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

In recent years there has been interest in achieving application-level consistency criteria
without the latency and availability costs of strongly consistent storage infrastructure. A …

Building and debugging distributed software remains extremely difficult. We conjecture that
by adopting a data-centric approach to system design and by employing declarative …