Research Projects

Declarative Networking

Joseph M. Hellerstein and Ion Stoica

This project explores logic-based specification and dataflow execution of network protocols, distributed systems, sensor networks, and parallel algorithms.

More information: http://p2.cs.berkeley.edu