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 cs-systems-lunch-l-request@cornell.edu 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.

Other semesters:

fall 19 spring 20
fall 18 spring 19
fall 17 spring 18
fall 16 spring 17
fall 15 spring 16
fall 14 spring 15
fall 13 spring 14
fall 12 spring 13
fall 11 spring 12
fall 10 spring 11
fall 09 spring 10
fall 08 spring 09
fall 07 spring 08
fall 06 spring 07
fall 05 spring 06
fall 04 spring 05
fall 03 spring 04
fall 02 spring 03
fall 01 spring 02
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)
SIGMOD 2010 		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
Clarkson 		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)
SIGCOMM 2010 		Hussam Abu-Libdeh
October 15 Computing for Development: A New High Impact Research Area
Lakshminarayanan Subramanian
NYU 		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)
SIGCOMM 2010 		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
Purdue 		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
Duke 		Xiaowei Yang