Cornell Systems Lunch

CS 7490 Fall 2010
Friday 12PM, Upson 315

Robbert van Renesse

Sponsored by Microsoft

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 Ph.D. students interested in systems. First-year graduate students are especially welcome. Non-Ph.D. students have to obtain permission from the instructor. Student participants are expected to sign up for CS 7490, Systems Research Seminar, for one credit.

To join the systems lunch mailing list please send an empty message to with the subject line "join". More detailed instructions can be found here.

Links to papers and abstracts below are unlikely to work outside the Cornell CS firewall. If you have trouble viewing them, this is the likely cause.

Date Paper Presenter
August 27 Reverse traceroute
Ethan Katz-Bassett (UW), Harsha V. Madhyastha (UCSD), Vijay Kumar Adhikari (U. Minnesota), Colin Scott, Justine Sherry, Peter van Wesep, Thomas Anderson, and Arvind Krishnamurthy (UW)
NSDI 2010
Bernard Wong
September 3 An Evaluation of Alternative Architectures for Transaction Processing in the Cloud
Donald Kossmann, Tim Kraska, Simon Loesing (ETH, Zurich)
Ben Sowell
September 10 Stateful Bulk Processing for Incremental Algorithms
Dionysios Logothetis (UC San Diego), Christopher Olston (Yahoo! Research) , Benjamin Reed (Yahoo! Research) , Kevin Webb (UC San Diego) , Kenneth Yocum (UC San Diego)
SOCC 2010
Ryan Peterson
September 17 Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
Jean Yang (MIT), Chris Hawblitzel (MSR)
PLDI 2010
Michael George
September 24 Cloud Computing and Software Security
Úlfar Erlingsson
Google Research
Úlfar Erlingsson
October 1 Rapid Recovery Architecture and Virtual Machine Contracts
Jeanna Matthews
Jeanna Matthews
October 8 Symbiotic Routing in Future Data Centers
Hussam Abu-Libdeh (Cornell University), Paolo Costa (Microsoft Research Cambridge), Antony Rowstron (Microsoft Research Cambridge), Greg O'Shea (Microsoft Research Cambridge), Austin Donnelly (Microsoft Research Cambridge)
Hussam Abu-Libdeh
October 15 Computing for Development: A New High Impact Research Area
Lakshminarayanan Subramanian
Lakshminarayanan Subramanian
October 22 Wireless Routing and Full Duplex Wireless
Philip Levis
Stanford University
Philip Levis
October 29 Scalable Flow-Based Networking with DIFANE
Minlan Yu (Princeton University), Jennifer Rexford (Princeton University), Michael J. Freedman (Princeton University), Jia Wang (AT&T Labs - Research)
Ki Suh Lee
November 5 Availability in Globally Distributed Storage Systems
Daniel Ford, Francois Labelle, Florentina Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, Sean Quinlan (Google)
OSDI 2010
Lakshmi Ganesh
November 12 Distributed Event-based Programming in Java
Patrick Eugster
Patrick Eugster
November 19 ACSU Luncheon—no systems lunch, no meeting.
November 26 Thanksgiving Break, no meeting.
December 3 Bootstrapping Accountability in the Internet We Have
Xiaowei Yang
Xiaowei Yang