header("Content-type: text/html; charset=utf-8");
include "../syslunch.php";
setPaperDir("http://www.cs.cornell.edu/home/rvr/_cuonly");
$bgcolor = array(228/255, 99/255, 50/255);
$titlecolor = array(0, .6, 1);
syslunchheader('Fall 2014', 'Gates 114', 'fall14', 'Robbert van Renesse and Emin Gun Sirer',
'Sponsored by VMware');
schedbegin(8, 29, 2014);
/* Aug 29 */
sched($curday,
'https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/zeng',
'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');
/* Sep 5 */
sched($curday,
'https://www.usenix.org/conference/nsdi14/technical-sessions/dragojevi%C4%87',
'FaRM: Fast Remote Memory',
'Aleksandar Dragojević, Dushyanth Narayanan, Orion Hodson, and Miguel Castro; Microsoft Research',
'NSDI 2014',
'Tom Magrino');
/* Sep 12 */
sched($curday,
'AnneHollerVMware.pdf',
'Integrating Power Budget and Resource Management across a Virtualized Server Cluster',
'Anne Holler',
'VMware',
'Anne Holler');
/* Sep 19 */
sched($curday,
'http://www.scs.stanford.edu/~dm/home/papers/jeyakumar:minions.pdf',
'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');
/* Sep 26 */
sched($curday,
'https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel',
'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');
/* Oct 3 */
sched($curday,
'teyuan-huang.txt',
'A Buffer-Based Approach to Video Rate Adaptation',
'Te-Yuan Huang',
'Netflix, Stanford',
'Te-Yuan Huang');
/* Oct 10 */
sched($curday,
'muller.txt',
'Coccinelle: A Program Matching and Transformation Tool for Systems Code',
'Gilles Muller',
'INRIA',
'Gilles Muller');
/* Oct 17---NOTE: Trustee Weekend and CU 150 Birthday celebration */
sched($curday,
'https://www.usenix.org/conference/osdi14/technical-sessions/presentation/angel',
'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');
/* Oct 24 */
sched($curday,
'http://fireless.cs.cornell.edu/publications/minprobe_imc14.pdf',
'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');
/* Oct 31 */
sched($curday,
'nita.txt',
'Beyond Byzantine Agreement: Designing Protocols for Adversarial Networks',
'Cristina Nita-Rotaru',
'Purdue University',
'Cristina Nita-Rotaru');
/* Nov 7 */
sched($curday,
'https://www.usenix.org/conference/osdi14/technical-sessions/presentation/devecsery',
'Eidetic Systems',
'David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen (UMich)',
'OSDI 2014',
'Ayush Dubey');
/* Nov 14---NOTE: NYC Workshop on Digital Currency */
sched($curday,
'criswell.txt',
'Virtual Ghost: Protecting Applications from Compromised Operating Systems',
'John Criswell, Nathan Dautenhahn, Vikram Adve',
'ASPLOS 2014',
'John Criswell (U. of Rochester)');
/* Nov 21 */
nomeeting("ACSU Luncheon—no systems lunch");
/* Nov 28 */
nomeeting("Thanksgiving Break");
/* Dec 5 */
sched($curday,
'',
'',
'',
'',
'Edward Tremel');
schedend();
?>