Hot Topics in Programming Languages and Systems

Professor	Emery Berger
Meeting Time	Fridays, 11am first class: Sept 9
Course Number	CMPSCI 691B unique number: 40459
Room Number	CS 150

This graduate seminar will start with an organizational meeting Friday, Sept 9. This is a 1-credit class, graded on submission of paper reviews (one per week) and presentations, but all interested in PL & OS topics are invited to attend and participate.

We will be discussing recent papers mostly drawn from the following top conferences in both areas: PLDI, OOPSLA, OSDI, SOSP, and ASPLOS (and possibly POPL).

Sept 16 Transactional memory: architectural support for lock-free data structures
Maurice Herlihy (Brown), J. Eliot B. Moss (UMass Amherst)
ISCA 1993
note: the topic of transactional memory is now hot and this paper is foundational, hence its inclusion Gene Novark

Sept 23 Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection
Emmett Witchel (UTexas), Junghwan Rhee (UTexas), and Krste Asanovic (MIT)
SOSP 2005 Ting Yang

Sept 30 SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
Feng Qin, Shan Lu, Yuanyuan Zhou (UIUC)
HPCA 2005 Eric Feng

Oct 7 Recovering Device Drivers
Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy (Washington)
OSDI 2004 Vitaliy Lvin

Oct 14 Enhancing Server Availability and Security Through Failure-Oblivious Computing
Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. (MIT)
OSDI 2004 Emery Berger

Oct 14 Rx: Treating Bugs As Allergies -- A Safe Method for Surviving Software Failures
Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou (UIUC)
SOSP 2005 Emery Berger

Oct 21 class cancelled
OOPSLA 2005

Oct 28 Shangri-la: Achieving high performance from compiled network applications while enabling ease of programming
Michael K. Chen, Xiao Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju (Intel)
PLDI 2005 Ed Walters

Nov 4 Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap
Chris Lattner, Vikram Adve (UIUC)
PLDI 2005 Gene Novark

Nov 14 no class

Nov 18 class cancelled
faculty retreat

Nov 25 class cancelled
Thanksgiving

Dec 2 Scalable Statistical Bug Isolation
Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan (Berkeley)
PLDI 2005 Ting Yang

Dec 9 FS²: Dynamic Data Replication in Free Disk Space for Improving Disk Performance and Energy-Consumption
Hai Huang, Wanda Hung, Kang Shin (UMich)
SOSP 2005 Eric Feng

Dec 16 MapReduce: Simplified Data Processing on Large Clusters
Jeffrey Dean, Sanjay Ghemawat (Google)
OSDI 2004 Vitaliy Lvin