Cornell Systems Lunch

CS 7490 Spring 2012
Friday 12PM, Upson 315

Robbert van Renesse

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 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 27 Systems Meet and Greet
A chance for all systems students to practice their elevator speeches
systems Ph.D. students
February 3 ServerSwitch: A programmable and high performance platform for data center networks
Guohan Lu, Chuanxiong Guo, Yulong Li, Zhiqiang Zhou, Tong Yuan, Haitao Wu, Yongqiang Xiong, Rui Gao, and Yongguang Zhang
NSDI 2011
Ki Suh Lee
February 10 Understanding Network Failures in Data Centers: Measurement, Analysis, and Implications
Phillipa Gill (U. Toronto), Navendu Jain (MSR), Nachiappan Nagappan (MSR)
Haoyan Geng
February 17 Frenetic: A Network Programming Language
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, and David Walker
ACM SIGPLAN International Conference on Functional Programming 2011
Mark Reitblatt
February 24 Paxos Replicated State Machines as the Basis of a High-Performance Data Store
William J. Bolosky, Dexter Bradshaw, Randolph B. Haagens, Norbert P. Kusters and Peng Li (Microsoft)
NSDI 2011
Deniz Altinbuken
March 2 Privacy leakage vs. Protection measures: the growing disconnect
Balachander Krishnamurthy, Konstantin Naryshkin, Craig E. Wills
Web 2.0 Security and Privacy 2011
Stavros Nikolaou
March 9 Detecting failures in distributed systems with the FALCON spy network
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Aguilera, Michael Walfish (UT Austin / MSR)
SOSP 2011
Hussam Abu-Libdeh
March 16 Exploiting Internet Insecurity to Circumvent Censorship
Amir Houmansadr, Giang T. K. Nguyen, Matthew Caesar, Nikita Borisov
Nikita Borisov
March 23 Spring Break, no meeting.
March 30 ACSU Luncheon—no systems lunch, no meeting.
April 6 Reclaiming Security for Web Programmers
Arjun Guha
Brown University
Arjun Guha
April 13 Sharing Mobile Code Securely With Information Flow Control
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, and Andrew C. Myers
IEEE Symposium on Security and Privacy 2012
Owen Arden
April 20 Intrusion Recovery Using Selective Re-execution
Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek (MIT CSAIL)
OSDI 2010
Elisavet Kozyri
April 27 Cologne: A Declarative Distributed Constraint Optimization Platform
Boon Thao Loo
Boon Thau Loo
May 4 Rethinking Overhearing in Wireless Networks
Aditya Akella
Univ. of Wisconsin-Madison
Aditya Akella