| Date |
Time |
Discussion Leader |
Topic |
Relevant Papers |
| 11/19/08 |
12:30-1:45pm |
Michael Paik
Yair Sovran
|
Deadlock Immunity: Enabling Systems to Defend against Deadlocks
Improving MapReduce Performance in Heterogeneous Environments
|
Jula-OSDI08
Zaharia-OSDI08
|
| 11/12/08 |
12:30-1:45pm |
Nguyen Tran
Eric Hielscher
|
FlightPath: Obedience vs. Choice in Cooperative Services
Device Driver Safety Through a Reference Validation Mechanism
|
Li-OSDI08
Williams-OSDI08
|
| 11/5/08 |
12:30-1:45pm |
Bonan Min
Aditya Dhananjay
|
Mencius: Building Efficient Replicated State Machine for WANs
Harnessing Exposed Terminals in Wireless Networks
|
Mencius-OSDI08
Vutukuru-NSDI08
|
| 10/29/08 |
12:30-1:45pm |
Jinyang Li
Le Hoang Anh
|
Digging For Data Structures
SQCK: A Declarative File System Checker
|
Cozzie-OSDI08
sqck-OSDI08
|
| 10/22/08 |
12:30-1:45pm |
Nguyen Tran
|
Hardware Enforcement of Application Security Policies Using
Tagged Memory
|
Nickolai-OSDI08
|
| 10/15/08 |
12:30-1:45pm |
Yair Sovran |
Accountable Internet Protocol (AIP) |
Andersen-sigcomm08
|
| 10/8/08 |
12:30-1:45pm |
Eric Hielscher |
Corey: an operating system for many cores |
corey-osdi08
|
| 10/1/08 |
12:30-1:45pm |
none |
Cancelled |
none
|
| 09/24/08 |
12:30-1:45pm |
Arthur
Meacham |
Floodless in SEATTLE: A Scalable Ethernet
Architecture for Large Enterprises
|
kim08
|
| 09/17/08 |
12:30-1:45pm |
Ashlesh
Sharma |
A Case for Adapting Channel Width in Wireless
Networks |
chandra08
|
| 09/10/08 |
12:30-1:45pm |
Lakshminarayanan
Subramanian |
ZigZag Decoding: Combating Hidden Terminals in
Wireless Networks |
ZigZag08
|
| 04/30/08 |
12:30-1:45pm |
Jay
Chen |
Remus: High Availability via Asynchronous
Virtual Machine Replication |
Cully08
|
| 04/23/08 |
12:30-1:45pm |
Arthur
Meacham |
Merge: A Programming Model for Heterogeneous Multi-core Systems
|
Linderman08
|
| 04/16/08 |
12:30-1:45pm |
none |
Cancelled
|
none
|
| 04/09/08 |
12:30-1:45pm |
none |
Cancelled |
none
|
| 04/02/08 |
12:30-1:45pm |
Robert
Soulé |
PRACTI and Padre |
Belarami08
Belarami06
Talk
|
| 03/26/08 |
12:30-1:45pm |
Nguyen Tran |
FriendStore |
Tran08
|
| 03/19/08 |
12:30-1:45pm |
none |
Spring Break |
none
|
| 03/12/08 |
12:30-1:45pm |
Yair Sovran |
Feedback-Driven Threading: Power-Efficient
and High-Performance Execution of Multi-threaded Workloads on CMPs |
Suleman08
|
| 03/05/08 |
12:30-1:45pm |
Le Hoang Anh |
Automated Soundness Proofs for Datflow
Analyses and Transformations via Local Rules |
Lerner05
Lerner03
|
| 02/27/08 |
12:30-1:45pm |
Nguyen Tran |
Paxos |
Lamport01
Lamport00
Talk
|
| 02/20/08 |
12:30-1:45pm |
Yair Sovran |
Pass it on: Social Networks Stymie Censors |
Sovran08
|
| 02/13/08 |
12:30-1:45pm |
none |
Cancelled |
none
|
| 02/06/08 |
12:30-1:45pm |
Eric Hielscher |
The Landscape of Parallel Computing
Research: A View from Berkeley |
Asanovic06
Talk
|
| 01/30/08 |
12:30-1:45pm |
none |
Cancelled |
none
|
| 01/23/08 |
12:30-1:45pm |
none |
Organizational Meeting |
none
|
| 12/05/07 |
12:30-1:45pm |
Le Hoang Anh |
DejaView: A Personal Virtual Computer
Recorder |
Laadan07
|
| 11/28/07 |
12:30-1:45pm |
Eric Hielscher |
ASTEC: A New Approach to Refactoring C |
McCloskey05
Talk
|
| 11/21/07 |
12:30-1:45pm |
none |
Thanksgiving Break |
none
|
| 11/14/07 |
12:30-1:45pm |
Robert
Soulé |
Distributed Simulation and the Time Warp
Operating System |
Jefferson87
Talk
|
| 11/07/07 |
12:30-1:45pm |
none |
Postponed |
none
|
| 10/31/07 |
12:30-1:45pm |
Eric Hielscher |
TxLinux: Using and Managing Hardware
Transactional Memory in the Operating System |
Rossbach07
Talk
|
| 10/24/07 |
12:30-1:45pm |
Nguyen Tran |
Dynamo: Amazon's Highly Available Key-Value
Store |
DeCandia07
Talk
|
| 09/05/07 |
12:00-1:20pm |
none |
Off Week for SOSP |
none
|
| 10/10/07 |
12:30-1:45pm |
Yair Sovran |
Triage: Diagnosing Production Run Failures
at the User's Site |
Tucek07
Talk
|
| 10/03/07 |
12:30-1:45pm |
Robert
Soulé |
Information Flow Control For Standard OS
Abstractions |
Krohn07
Talk
|
| 09/26/07 |
12:30-1:45pm |
Le Hoang Anh |
PeerReview: Practical Accountability for
Distributed systems |
Haeberlen07
Talk
|
| 09/19/07 |
12:30-1:45pm |
Jay
Chen |
Sinfonia: a new paradigm for building
scalable distributed systems |
Aguilera07
Talk
|
| 09/12/07 |
12:20-1:35pm |
Arthur
Meacham |
Bouncer: Securing Software by Blocking Bad
Input |
Costa07
Talk
|
| 09/05/07 |
12:00-1:20pm |
none |
Organizational Meeting |
none
|
| 11/29/06 |
12:00-1:20pm |
Laune
Harris |
"Multi-User Designs for CAL in Developing
Countries" |
Talk
Pal06
Pawar06
|
| 11/01/06 |
12:00-1:20pm |
Nguyen
Tran |
"Cooperative backup using Social Networks" |
Talk
Li06
|
| 10/25/06 |
12:00-1:20pm |
Jay
Chen |
"Socializing over the internet" |
Talk
Kraut02
Cummings04
|
| 10/18/06 |
12:00-1:20pm |
Nikolaos
Michalakis |
"Analysis of an Electronic Voting System" |
Talk
Kohno
Oakland04
|
| 10/11/06 |
12:00-1:20pm |
Nikolaos
Michalakis |
"Combating Web Censorship through Social
Links" |
Talk
|
| 10/04/06 |
12:00-1:20pm |
Arthur
Meacham |
"Privacy vs Ubiquity" |
Talk
Ford OSDI06
|
| 09/27/06 |
12:00-1:20pm |
Robert
Soule |
"Addressing Producer-Consumer Conflicts in
DRM systems" |
Talk
|
| 09/20/06 |
12:00-1:20pm |
Arthur
Meacham |
"RFID and Privacy" |
Talk
Staake
Eden
|
| 09/13/06 |
12:00-1:20pm |
Robert
Soule |
"Digital Rights Management" |
Talk
Biddle02
Adelsbach05
|
| 09/06/06 |
12:00-1:20pm |
Nikos
Michalakis |
"Systems, Society and Economy" |
Talk
Readings
|
| 05/03/06 |
12:30-1:45pm |
Nikos
Michalakis |
"Na Kika: Secure Service Execution and
Composition in an Open Edge-Side Computing Network" |
Grimm NSDI06 |
| 04/12/06 |
12:30-1:45pm |
Le Hoang Anh |
"A Study of Techniques for Finding Bugs
Using Compiler Extensions" |
Hallem
PLDI02,
Engler
OSDI00,
Engler
SOSP01
|
| 02/15/06 |
12:30-1:45pm |
Laune Harris, Le Hoang Anh, Guy Lichtman,
Nikos Michalakis |
"Bugs in Systems and How Machine Learning
can help" |
Slides [ppt] |
| 02/01/06 |
12:30-1:45pm |
Laune Harris |
"Bugs and Bug Finding Techniques" |
Bug
Taxonomy |
| 12/07/05 |
12:30-1:45pm |
Nikos
Michalakis |
"Self-Protecting Systems - Analysis and
Comparison" |
Slides
[pdf],
Doc |
| 11/30/05 |
2:00-3:00pm |
Guy
Lichtman |
"Correlating Instrumentation Data to System
States: A Building Block for Automated Diagnosis and Control" |
Cohen
OSDI 04 |
| 11/09/05 |
12:30-1:45pm |
Guy
Lichtman |
"Speculative Execution in a Distributed
File System" |
Nightingale
SOSP 05 |
| 11/02/05 |
12:30-1:45pm |
Nikos Michalakis |
"Session State: Beyond Soft State" |
Ling NSDI 04 |
| 10/19/05 |
12:30-1:45pm |
Guy
Lichtman |
"Performance Debugging for Distributed
Systems of Black Boxes" |
Aguilera SOSP 03 |
| 10/12/05 |
12:30-1:45pm |
Laune Harris |
"Thirty Years Is Long Enough: Getting
Beyond C" |
Brewer HotOS 05 |
| 10/12/05 |
12:30-1:45pm |
Laune Harris |
"Broad New OS Research: Challenges and
Opportunities" |
Hunt HotOS 05 |
| 10/05/05 |
12:30-1:45pm |
Laune Harris |
"Concrete Syntax for Objects.
Domain-Specific Language Embedding and Assimilation without
Restrictions." |
Bravenboer OOPSLA 04 |
| 9/28/05 |
12:30-1:45pm |
Guy Lichtman |
"Performance Modeling and System Management
for Multi-component Online Services" |
Stewart
NSDI 05 |
| 9/21/05 |
12:30-1:45pm |
Nikos Michalakis |
"Rx: Treating bugs as allergies---a safe
method to survive software failure." |
QIN SOSP 05
Nikos Slides
|
| 9/14/05 |
12:30-1:45pm |
Laune Harris |
Checking System Rules Using
System-Specific, Programmer-Written Compiler Extensions |
Engler OSDI 00 |
| 5/11/05 |
2:00-3:00pm |
Vinay Pai |
Chainsaw: Eliminating Trees from Overlay
Multicast |
Pai
05, Tamilmani
04 |
| 4/27/05 |
2:00-3:00pm |
Siddhartha Annapureddy |
Shark: Scaling File Servers via Cooperative
Caching |
Annapureddy
05 |
| 4/20/05 |
2:00-3:00pm |
Alex Sherman |
The Akamai Configuration Management System |
Sherman 05 |
| 4/13/05 |
2:00-3:00pm |
Adam Kravetz |
Debunking Myths About Overlays |
Castro
05 |
| 3/9/05 |
2:00-3:00pm |
Marc Shapiro |
Exploring the consistency problem space |
abstract |
| 2/23/05 |
2:00-3:00pm |
Siddhartha
Annapureddy |
Virtualizing I/O Devices |
Sugerman
01 |
| 2/16/05 |
2:00-3:00pm |
Michael
Freedman |
Measuring end-host latency: IDMaps and King |
Francis 01,
Gummadi
02 |
| 2/3/05 |
2:00-3:00pm |
Carl Bosley |
Supporting Large-Scale Live Streaming Applications |
Sripanidkulchai
04 |
| 1/26/05 |
2:00-3:00pm |
Nishith Krishna |
A universal consistency algorithm |
Shapiro
04 |
| 1/12/05 |
12:15-1:15pm |
Nikos Michalakis |
LOCKSS: Preserving Peer Replicas by Voting |
Maniatis
03 |
| 12/2/04 |
12:30-1:30pm |
Jinyuan
Li
|
Secure UNtrusted Data Repository (SUNDR) |
Li 04 |
| 11/18/04 |
12:30-1:30pm |
Guy Lichtman
|
Automatic Detection of Fragments in Dynamic
Web Pages |
Ramaswamy 04 |
| 11/11/04 |
12:30-1:30pm |
Nishith Krishna
|
Database replication using epidemic
communication |
Holliday 04 |
| 11/04/04 |
12:30-1:30pm |
Siddhartha
Annapureddy |
Scale and Performance in the Denali
Isolation Kernel |
Whitaker
02 |
| 10/15/04 |
12:30-1:30pm |
Kevin
Shanahan |
Vivaldi: A Decentralized Network Coordinate
System |
Dabek 04 |
| 10/7/04 |
12:30-1:30pm |
Antonio
Nicolosi |
Robustness to Inflated Subscription in
Multicast Congestion Control |
Gorinsky
03 |
| 9/30/04 |
12:30-1:30pm |
Amnon
Barak |
Enhancing MOSIX to support Grid computing |
www, abstract |
| 9/16/04 |
12:30-1:30pm |
Jinyuan
Li |
Sizing Router Buffers |
Appenzeller
04 |
| 9/8/04 |
12:30-1:30pm |
Michael
Freedman |
A System for Authenticated Policy-Compliant
Routing |
Raghavan
04 |
| 5/19/04 |
3:30-4:30pm |
Jim
Blythe |
AI-based approaches to workflow management
in Grids |
abstract |
| 5/7/04 |
3:00-4:00pm |
Maxwell
Krohn |
On-the-Fly Verification of Rateless Erasure Codes |
Krohn
04 |
| 4/28/04 |
3:30-4:30pm |
Jinyuan
Li |
Consistent and Automatic Replica
Regeneration |
Yu 04 |
| 4/21/04 |
3:30-4:30pm |
Yaron
Sella |
FairPlay: A Secure Two-Party Computation
System |
abstract |
| 4/14/04 |
3:30-4:30pm |
Siddhartha
Annepureddy |
Serverless Network File Systems |
Anderson 95 |
| 3/24/04 |
3:30-4:30pm |
Michael
Freedman |
Democratizing Content Publication with Coral |
www,
Freedman
04 |
| 3/10/04 |
3:30-4:30pm |
Eric
Freudenthal |
DisCo: Middleware for Securely Deploying
Decomposable Services |
Freudenthal
04 |
| 3/1/04 |
3:30-4:30pm |
Udi Wieder |
Better Routing for Skip-Graphs and Small
Worlds |
abstract,
IPTPS
04
|
| 2/25/04 |
3:30-4:30pm |
Nick
Feamster |
Practical Correctness Verification for
Wide-area Internet Routing |
abstract |
| 2/18/04 |
3:30-4:30pm |
Robert
Grimm |
xtc - Towards an eXTensible Compiler - Step
1: The Parser |
www,
abstract
|
| 2/11/04 |
3:30-4:30pm |
Angelos Keromytis |
An End-Point Solution to Zero-day Worms |
abstract,
Sidiroglou
03 |
| 2/4/04 |
3:30-4:30pm |
Nikolaos Michalakis |
Mesh-Based Content Routing using XML |
Snoeren
01 |
| 1/28/04 |
12:30-1:30pm |
Jeremy
Weinberger |
Network Topologies |
Tangmunarunkit
02, Faloutsos 99 |
| 1/21/04 |
12:30-1:30pm |
Daniel Giffin |
End-to-End Routing Behavior in the Internet |
Paxson 96 |
| 1/14/04 |
12:30-1:30pm |
John Turek |
Next Web Programming Models |
abstract |
| 1/7/04 |
12:30-1:30pm |
Eric
Freudenthal |
E: Open-Source Distributed Capabilities |
www, video
|
| 12/10/03 |
12:30-1:30pm |
Nishith Krishna |
CoDeeN: A CDN on PlanetLab |
www,
OSDI
02,
HotNets
03 |
| 12/3/03 |
12:30-1:30pm |
Jinyuan
Li |
Pond: An OceanStore Prototype |
Rhea 03 |
| 11/26/03 |
12:30-1:30pm |
Antonio Nicolosi |
End System Multicast |
www,
Chu
01 |
| 11/12/03 |
12:30-1:30pm |
Vijay
Karamcheti |
NetBait: Distributed Worm Detection |
www,
Chun
03 |
| 10/15/03 |
12:30-1:30pm |
Michael
Freedman |
User-level Internet Path Diagnosis |
Mahajan
03 |
| 10/8/03 |
12:30-1:30pm |
Eric
Freudenthal |
SHARP: An Architecture for Secure Resource
Peering |
Fu 03 |
| 10/1/03 |
12:30-1:30pm |
Robert
Grimm |
Improving the Reliability of Commodity
Operating Systems |
Swift
03 |
| 9/24/03 |
12:30-1:30pm |
Siddhartha
Annapureddy |
Backtracking Intrusions |
King
03 |
| 9/17/03 |
12:30-1:30pm |
Congchun He |
Capriccio: Scalable Threads for Internet
Services |
von
Behren 03 |
| 9/10/03 |
12:30-1:30pm |
Xiaodong Fu |
Google File System |
Ghemawat
03 |
| 9/3/03 |
12:30-1:30pm |
Petar
Maymounkov |
Xen and the Art of Virtualization |
Barham
03 |
| 8/27/03 |
12:30-1:30pm |
Antonio Nicolosi |
Terra: A VM-Based Platform for Trusted
Computing |
Garfinkle
03 |
| 8/13/03 |
12:30-1:30pm |
Jinyuan
Li |
Untrusted O/S on Trusted Hardware |
Lie
03,
Lie
00
|
| 8/06/03 |
12:30-1:30pm |
Xin Yu |
ATP: A Reliable Transport Protocol for Ad-hoc
Networks |
Sundaresan
03
|
| 7/30/03 |
12:30-1:30pm |
David
Mazieres |
Internet Indirection Infrastructure |
Stoica 02
|
| 7/23/03 |
12:30-1:30pm |
Michael
Freedman |
Determining location for pervasive systems |
Hightower
01
|
| 7/16/03 |
12:30-1:30pm |
Vijay
Karamcheti |
Aura: Distraction-Free Pervasive Computing |
Garlan
02
|
| 7/9/03 |
12:30-1:30pm |
Christian Almazan |
iROS: Ubiquitous Computing Rooms |
Johanson
02
|
| 7/2/03 |
12:30-1:30pm |
Robert
Grimm |
A vision of pervasive computing; one.world
Suggested
papers for ubicomp session |
Weiser
91,
Grimm 03
|
| 6/18/03 |
12:30-1:30pm |
Jinyuan
Li |
Impact of DHT Routing Geometry on
Resilience and Proximity |
Gummadi 03 |
| 6/11/03 |
12:30-1:30pm |
Siddhartha
Annapureddy |
Keyword searching on DHTs |
Reynolds 03,
Li
03 |
| 6/4/03 |
12:30-1:30pm |
Eric
Freudenthal |
Skiplists and SkipNet |
Harvery
03 (full); (short)
|
| 5/28/03 |
12:30-1:30pm |
Michael
Freedman |
Overview of DHTs + Making Gnutella Scalable |
Chawathe
03,
notes
|
| 5/21/03 |
12:30-1:30pm |
Michael
Freedman |
Organizational meeting |
|
