Cornell Systems Lunch
CS 7490 Spring 2015
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.
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.
|January 23||Scalable Error Isolation for Distributed Systems
|Marco Serafini (QCRI)|
|January 30||A Self-Configurable Geo-Replicated Cloud Storage System
Ardekani and Terry
|February 6||Targeted Resource Management in Multi-Tenant Distributed Systems
Host: Hakim Weatherspoon
|Rodrigo Fonseca (Brown)|
|February 13||Bitcoin, Ethereum and Beyond: An introduction to the workings and unsolved problems of cryptocurrency
Host: Ittay Eyal
|Vitalik Buterin (Ethereum)|
|February 20||Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
Host: Nate Foster
|Andreas Haeberlean (UPENN)|
|March 6||CosTLO: Cost-Effective Redundancy for Lower Latency Variance on CloudStorage Services
Zhe Wu, Curtis Yu, and Harsha V. Madhyastha
|March 13||Warranties for Faster Strong Consistency
Jed Liu. Tom Magrino. Owen Arden. Michael D. George. Andrew C. Myers
|March 20||Willow: A User-Programmable SSD
Sudharsan Seshadri, Mark Gahagan, Sundaram Bhaskaran, Trevor Bunker, Arup De, Yanqin Jin, Yang Liu, and Steven Swanson, University of California, San Diego
|March 27||Understanding Optimal Caching and Opportunistic Caching at The Edge of Information-Centric Networks
|Networking Named Content
|April 3||Spring Break, no meeting.|
|April 10||ACSU Luncheon—no systems lunch, no meeting.|
|April 17||Advanced Sports Monitoring
Host: Fred Schneider
|Dag Johansen (Univ. of Tromso and Forzasys)|
|April 24||Physical Disentanglement in a Container-Based File System
Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
|May 1||Operating System Support for High-throughput Accelerators
Future applications will need to use programmable parallel accelerators like GPUs to achieve their performance and power goals. However building efficient systems that use accelerators today is incredibly difficult.
In this talk I will argue that the root cause for this complexity is the lack of adequate operating system support for programs running on accelerators. I will describe our experience in building native file system (GPUfs) and networking (GPUnet) layers for GPUs. These layers expose well-understood standard I/O abstractions like files and sockets to programs running on GPUs, and are designed to accommodate massive parallelism, extreme NUMA and weak memory consistency of the underlying hardware.
GPUfs and GPUnet break the constrained GPU-as-coprocessor model and streamline the development of high-performance, distributed applications like in-GPU-memory MapReduce and a new class of low-latency, high-throughput GPU-native network services such as a face verification server.
Joint work with Emmett Witchel, Bryan Ford, Idit Keidar, and UT Austin and Technion students.
|Mark Silberstein (Technion)|