Cornell Systems Lunch

CS 754 Spring 2007
Friday 12PM, Upson 315

E. Gün Sirer and Andrew Myers


Sponsored by the Information Assurance Institute (IAI),
Computing and Information Science, Cornell

The Systems Lunch is a seminar for discussing recent, interesting papers in the systems area, broadly defined to span operating systems, distributed systems, networking, architecture, databases, and programming languages. The goal is to foster technical discussions among the Cornell systems research community. We meet once a week on Fridays at noon in Upson 315.

The systems lunch is open to all Cornell students interested in systems. First-year graduate students are especially welcome. Student participants are expected to sign up for CS 754, Systems Research Seminar, for one credit.

Date Paper Presenter
January 26 DDoS Defense by Offense
Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David Karger, Scott Shenker
SIGCOMM 2006
Lakshmi Ganesh
February 02 The Future of Computer Systems - Is it Already Here ?
Danny Dolev, Pete Wyckoff, Tal Anker

In this talk I will present several works that concern with offloading.

I will first present NICOS - a Network Interface Card OS that enables a developer to dynamically offload custom tasks to the NIC. This work also provides an innovative scheduling scheme for non-preemptive environments. Next, I will review the state-of-the-art in processor technology and programmable peripheral devices. Finally, I will present Hydra - a generic code offloading framework. Hydra enables an application developer to design the offloading aspects of the application by specifying an "offloading layout", which is enforced by the runtime, during application deployment. The framework also provides the necessary development tools and programming constructs for developing such applications.

Yaron Weinsberg (Hebrew University)
February 09 Accommodating Workload Diversity in Chip Multiprocessors via Adaptive Core Fusion
Engin Ipek, Meyrem Kirman, Nevin Kirman, José Martínez
Workshop on Complexity-Effective Design
José Martínez (Cornell ECE)
February 16 PCP: Efficient Endpoint Congestion Control
Thomas Anderson, Andrew Collins, Arvind Krishnamurthy, and John Zahorjan
NSDI 2006
Hitesh Ballani
February 23 A Comparison of Software and Hardware Techniques for x86 Virtualization
Keith Adams, Ole Agesen
ASPLOS 2006
Dan Williams
March 01 On Thieves and Terrorists in Peer-to-Peer Systems

Because of the topic's relevance, non-cooperation in peer-to-peer computing has become an active field of research. In the first part of this talk, I will present BitThief, a free-riding BitTorrent client which applies simple tricks to avoid uploading while still maintaining good download rates. In the second part of my talk, a game-theoretic model is introduced which helps to gain insights into the effects of non-cooperation on a given distributed system.

Stefan Schmid (ETH Zurich)
March 08 An Integrated Approach to Recovery and High Availability in an Updatable, Distributed Data Warehouse
Edmond Lau, Samuel Madden
VLDB 2006
Felix Weigel
March 15 Distributed Radio

Mobile computing systems rely on radio frequency communications to support interactions with larger distributed systems such as the Internet and the World Wide Web. While logically convenient, the view of RF communications as a point-to-point link is unrealistic, particularly in RF-dense urban environments. The RF communication channel is affected by many factors in the urban setting, including shadowing and multipath.

Distributed Radio combines multiple radio devices into a system, deriving benefits from the cooperative sharing of resources. While the processing resource sharing is not unlike that of a distributed computing system, the treatment of location as a resource enables a potentially much more reliable system. A useful view is that the positions of the elements in a distributed radio provide a statistical sample of possible locations, from which the one(s) most suitable for a particular task (e.g., receiving a GPS signal) can be selected.

The statistical sampling perspective leads to an extension of the distributed radio to mobile nodes. We introduce the idea of "mobility gain" and show how it can be obtained by self-positioning radio packet repeaters.

Jonathan Smith (UPENN)
March 22 Spring Break, no meeting.
March 29 ROFL: Routing on Flat Labels
Matthew Caesar, Tyson Condie, Jayanthkumar Kannan, Karthik Lakshminarayanan, Ion Stoica, Scott Shenker
SIGCOMM 2006
Oliver Kennedy
April 06 Octant: A Comprehensive Framework for Geolocalization on the Internet
Bernard Wong, Ivan Stoyanov, Emin Gun Sirer
NSDI 2007
Bernard Wong
April 12 LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting General Security Attacks
Feng Qin, Zhenmin Li, Yuanyuan Zhou, Cheng Wang, Ho-seop Kim, Youfeng Wu
Micro 2006
Lantian Zheng
April 19 From Uncertainty to Bugs: Inferring Bugs in Systems With Static Analysis and Probabilistic Graphical Models

(Meeting is 12:45-1:45; no lunch provided)
Ted Kremenek
(Stanford)
April 26 XORs in the Air: Practical Wireless Network Coding
Friday, April 27, noon, Upson 315 Abstract

This talk discusses COPE, an alternate architecture for wireless mesh networks. In addition to forwarding packets, routers mix (i.e., code) packets from different sources to increase the information content of each transmission. I will show that intelligently mixing packets increases network throughput. COPE's design is rooted in the theory of network coding. Prior work on network coding is mainly theoretical and focuses on multicast traffic. This talk bridges theory with practice. It addresses the common case of unicast traffic, dynamic and potentially bursty flows, and practical issues facing the integration of network coding in the current network stack. We evaluate COPE on a 20-node wireless network, and discuss the results of the first testbed deployment of wireless network coding. The results show that COPE largely increases network throughput. The gains vary from a few percent to several folds depending on the traffic pattern, congestion level, and transport protocol.

Dina Katabi is an Associate Professor in the Electrical Engineering and Computer Science Department at MIT. She has joined the MIT faculty in March 2003, after completing her PhD at MIT. Dina's work focuses on wireless networks, network security, routing, and distributed resource management. She has award-winning papers in ACM SIGCOMM and Usenix NSDI. Further, she has been awarded a Sloan Fellowship award in 2006, the NBX Career Development chair in 2006, and an NSF CAREER award in 2005. Her doctoral dissertation won an ACM Honorable Mention award and a Sprowls award for academic excellence.

Dina Katabi (MIT)
May 04 Split Snapshots: a new approach to old state storage

Kurzweil says, computers will enable people to live forever and doctors will be doing backup of your memories by late 2030. This talk is not about that, yet. Instead, the remarkable drop in disk costs makes it possible and attractive to retain past application states and store them for a long time for mining or auditing. A still open question is how to best organize the past state storage? Split snapshots are a recent approach to past state storage that is attractive for several reasons. Split snapshots are persistent, can be taken with high-frequency, and they are transactionally consistent. Unmodified database code can run against them. Like no other past state storage approach, they provide low-cost discriminated garbage collection of snapshots, a useful capability in long-lived systems since since indiscriminately keeping all snapshots accessible is impractical even if raw disk storage is cheap, because administering such large-volume storage is expansive over long duration.

A number of novel techniques underly split snapshots. A new in-memory data-structure creates consistent copy-on-write snapshots without blocking, a new persistent data structure provides high performance versioned meta-data, and a new snapshot storage organization allows to gradually garbage collect selected copy-on-write snapshots without creating disk-fragmentation and without copying. Measurements of a split snapshot prototype system indicate that the new techniques are efficient and scalable, imposing minimal (4%) performance penalty on a storage system, on expected common workloads.

Liuba Shrira
(Brandeis University)