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 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
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)
SIGCOMM 2011 		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
UIUC 		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
UPenn 		Boon Thau Loo
May 4 Rethinking Overhearing in Wireless Networks
Aditya Akella
Univ. of Wisconsin-Madison 		Aditya Akella