Cornell Systems LunchCS 7490 Fall 2014
|
|
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. |
Past semesters: |
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 |