| Date |
Time |
Discussion Leader |
Topic |
Relevant Papers |
| 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 |
|
