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.

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