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 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 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
VMware 		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)
SIGCOMM 2014 		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
INRIA 		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
ASPLOS 2014 		John Criswell (U. of Rochester)
November 21 ACSU Luncheon—no systems lunch, no meeting.
November 28 Thanksgiving Break, no meeting.
December 5

Edward Tremel