Cornell Systems Lunch

CS 7490 Spring 2013
Friday 12PM, Upson 315

Robbert van Renesse and Emin Gun Sirer


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
January 25 High-Level Design Automation for Application-Customized Hardware Generation
Zhiru Zhang
Cornell ECE / CSL 		Zhiru Zhang
February 1 MemC3: Compact and Concurrent MemCache with Dumber Caching and Smarter Hashing
Bin Fan and David G. Andersen, Carnegie Mellon University; Michael Kaminsky, Intel Labs
NSDI 2013 		Qi Huang
February 8 Abstractions for Usable Information Flow Control in Aeolus
W. Cheng, D. Ports, D. Schultz, V. Popic, A. Blankstein, J. Cowling, D. Curtis, L. Shrira, B. Liskov (MIT, IBM Research, Stanford, Princeton, Brandeis)
USENIX ATC 2012 		Gabriel Bender
February 15 PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
Joseph E. Gonzalez, Yucheng Low, Haijie Gu, and Danny Bickson, Carnegie Mellon University; Carlos Guestrin, University of Washington
OSDI 2012 		Stavros Nikolaou
February 22 Machine-Verified Network Controllers
Arjun Guha, Mark Reitblatt, and Nate Foster
PLDI 2013 		Arjun Guha
March 1 The Middlebox Manifesto: Enabling Innovation in Middlebox Deployment
Vyas Sekar
Stony Brook 		Vyas Sekar
March 8 SoNIC: Precise Realtime Software Access and Control of Wired Networks
Ki Suh Lee, Han Wang, and Hakim Weatherspoon
NSDI 2013 		Ki Suh Lee
March 15 Improving Availability in Distributed Systems with Failure Informers
Joshua B. Leners and Trinabh Gupta, The University of Texas at Austin; Marcos K. Aguilera, Microsoft Research Silicon Valley; Michael Walfish, The University of Texas at Austin
NSDI 2013 		Hussam Abu-Libdeh
March 22 Spring Break, no meeting.
March 29 ACSU Luncheon—no systems lunch, no meeting.
April 5 Gecko: Contention-Oblivious Disk Arrays for Cloud Storage
Ji Yong Shin, Cornell University; Mahesh Balakrishnan, Microsoft Research; Tudor Marian, Google; Hakim Weatherspoon, Cornell University
FAST 2013 		Ji-Yong Shin
April 12 Detecting Web Drive-By Attacks in Gigabits of HTTP
Stuart Staniford
Stuart Staniford
April 19 PhoneLab: a large-scale, participatory smartphone testbed
Steven Y. Ko
SUNY Buffalo 		Steven Y. Ko
April 26 πBox: A Platform for Privacy-Preserving Apps
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov (UT Austin)
NSDI 2013 		Elisavet Kozyri
May 3 Hermann Härtig
TU Dresden
Hermann Härtig