SOSP Workshop on Networking Meets Databases (NetDB) 2009

October 14, 2009

Big Sky Resort
Big Sky, MT

ACM SIGOPS In Cooperation with USENIX
Follow sosp09 on Twitter

SOSP NetDB 2009

Call for Papers Workshop Website

NetDB 2009 Technical Program

Wednesday, October 14
1:25 PM - 1:30 PM Opening Remarks
1:30 PM - 3:00 PM Session 1
3:00 PM - 3:30 PM Break
3:30 PM - 5:30 PM Session 2
5:35 PM - 7:00 PM Panel Discussion: "Declare your declarativity"
7:00 PM - 8:30 PM Dinner


Session 1

Data Indexing for Stateful, Large-scale Data Processing
Dionysios Logothetis and Kenneth Yocum (UC San Diego)
Scaling Online Social Networks without Pains
Josep M. Pujol, Geogos Siganos, Vijay Erramilli, Pablo Rodriguez (Telefonica Research)
Generating Wide-Area Content-Based Publish/Subscribe Workloads
Albert Yu, Pankaj K. Agarwal, Jun Yang (Duke University)

Session 2

Architectural Considerations for Distributed RFID Tracking and Monitoring
Zhao Cao, Yanlei Diao, Prashant Shenoy (University of Massachusetts)
Declarative Transport: A Customizable Transport Service for the Future Internet
Karim Mattar, Ibrahim Matta, John Day, Vatche Ishakian, Gonca Gursun (Boston University)
I Do Declare: Consensus in a Logic Language
Peter Alvaro, Neil Conway, Russell Sears, Tyson Condie, Joseph M. Hellerstein (UC Berkeley)
On the Declarativity of Declarative Networking
Yun Mao (AT&T Labs - Research)

Panel Discussion: "Declare your declarativity"

Joe Hellerstein (UC Berkeley), Arvind Krishnamurthy (U Washington), Mothy Roscoe (ETH Zurich), Fred Baker (Cisco), Petros Maniatis (Intel Berkeley), and Eddie Kohler (UCLA/Meraki)

A recent area of research is using declarative languages to implement complex systems and networking protocols. The appeal of declarative languages is their compactness: with just a few tens of lines, one can describe the entire semantics of a complex protocol, such as the consistency semantics of a file-system, or the TCP protocol, or the Paxos consensus protocol. Such compactness can make it easier for developers to ensure that their protocol implementations are semantically correct and they have few bugs. At the same time, there is little experience with using declarative languages for solving systems problems, and some are skeptical about their ease of use and ease of debugging.

Each member of the panel will take a stand on whether systems will benefit from using declarative languages. By presenting different points of view, the panel will better put forward the promises and the challenges of this research area. Each panel member will have 7 minutes to present their point of view. After the panel presentations, the floor will be opened for Q&A.