SOSP NetDB 2009
Call for Papers Workshop WebsiteNetDB 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. |