Cornell Systems Lunch

CS 7490 Fall 2014
Friday 12PM, Gates 114

Robbert van Renesse and Emin Gun Sirer

Sponsored by VMware

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 Gates 114.

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 29 Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks
Hongyi Zeng, Stanford; Shidong Zhang and Fei Ye, Google; Vimalkumar Jeyakumar, Stanford; Mickey Ju and Junda Liu, Google; Nick McKeown, Stanford; Amin Vahdat, Google and UCSD
NSDI 2014
Matthew Milano
September 5 FaRM: Fast Remote Memory
Aleksandar Dragojević, Dushyanth Narayanan, Orion Hodson, and Miguel Castro; Microsoft Research
NSDI 2014
Tom Magrino
September 12 Integrating Power Budget and Resource Management across a Virtualized Server Cluster
Anne Holler
Anne Holler
September 19 Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazières (Stanford University, Cisco Systems, Barefoot Networks)
Mark Reitblatt
September 26 Ironclad Apps: End-to-End Security via Automated Full-System Verification
Chris Hawblitzel, Jon Howell, and Jacob R. Lorch, Microsoft Research; Arjun Narayan, University of Pennsylvania; Bryan Parno, Microsoft Research; Danfeng Zhang, Cornell University; Brian Zill, Microsoft Research
OSDI 2014
Danfeng Zhang
October 3 A Buffer-Based Approach to Video Rate Adaptation
Te-Yuan Huang
Netflix, Stanford
Te-Yuan Huang
October 10 Coccinelle: A Program Matching and Transformation Tool for Systems Code
Gilles Muller
Gilles Muller
October 17 End-to-end Performance Isolation Through Virtual Datacenters
Sebastian Angel, The University of Texas at Austin; Hitesh Ballani, Thomas Karagiannis, Greg O’Shea, and Eno Thereska, Microsoft Research
OSDI 2014
Theodoros Gkountouvas
October 24 Timing is everything: Accurate, Minimum-cost, Available Bandwidth Estimation in High-speed Wired Networks
Han Wang, Ki Suh Lee, Erluo Li, ChiunLin Lim, Hakim Weatherspoon, and Ao Tang
Internet Measurement Conference (IMC 2014)
Han Wang
October 31 Beyond Byzantine Agreement: Designing Protocols for Adversarial Networks
Cristina Nita-Rotaru
Purdue University
Cristina Nita-Rotaru
November 7 Eidetic Systems
David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen (UMich)
OSDI 2014
Ayush Dubey
November 14 Virtual Ghost: Protecting Applications from Compromised Operating Systems
John Criswell, Nathan Dautenhahn, Vikram Adve
John Criswell (U. of Rochester)
November 21 ACSU Luncheon—no systems lunch, no meeting.
November 28 Thanksgiving Break, no meeting.
December 5

Edward Tremel