NYU Systems Reading Group

Past Discussions

<-- Home

Date Time Discussion Leader Topic Relevant Papers
04/22/10 12:30-1:45pm Cancelled
N/A -
04/15/10 12:30-1:45pm Cancelled
N/A -
04/08/10 12:30-1:45pm Nguyen Tran
DSybil: Optimal Sybil-Resistance for Recommendation Systems Oakland09
04/01/10 12:30-1:45pm Cancelled
N/A -
03/25/10 12:30-1:45pm Anh Hoang Le
Programming Model for a Heterogeneous x86 Platform -
03/18/10 12:30-1:45pm none
Spring Break none
03/11/10 12:30-1:45pm Minlan Yu
Scalable Interprise Networks with Inexpensive Switches -
03/04/10 12:30-1:45pm Robert Soulé
A Universal Calculus for Stream Processing Languages -
02/25/10 12:30-1:45pm Muthu Baskaran
A Mapping Path for multi-GPGPU Accelerated Computers from a Portable High Level Programming Abstraction -
02/18/10 12:30-1:45pm Yair Sovran
Modular Data Storage with Anvil SOSP 09
02/11/10 12:30-1:45pm Russell Power
MapReduce and parallel DBMSs: Friends or Foes Cacm 2010
02/04/10 12:30-1:45pm Aditya Dhananjay
In Defense of Wireless Carrier Sense Sigcomm 2009
12/9/09 12:30-1:45pm Anh Hoang Le
Automatic Device Driver Synthesis with Termite Ryzhyk-SOSP09
12/2/09 12:30-1:45pm Nguyen Tran
FAWN: A Fast Array of Wimpy Nodes
11/25/09 12:30-1:45pm Cancelled
N/A
11/18/09 12:30-1:45pm Cancelled
N/A
11/11/09 12:30-1:45pm Yair Sovran
Quincy: Fair Scheduling for Distributed Computing Clusters
11/4/09 12:30-1:45pm Robert Soulé
seL4: Formal Verification of an OS Kernel Klein-SOSP09
10/28/09 12:30-1:45pm Bonan Min
Operating Systems Transactions porter-SOSP
10/21/09 12:30-1:45pm Geoffrey Challen
Managing Sensor Network Resource Usage and Monitoring Active Volcanoes
10/07/09 12:30-1:45pm Russell Power
Helios: Heterogeneous Multiprocessing with Satellite Kernels nightingale-sosp09.pdf
09/30/09 12:30-1:45pm Aditya Dhananjay
RouteBricks: Exploiting Parallelism To Scale Software Routers Dobrescu-SOSP09
09/23/09 12:30-1:45pm Jay Chen
The Multikernel: A New OS Architecture for Scalable Multicore Systems Baumann-SOSP09
09/16/09 12:30-1:45pm Yair Sovran
Fabric: A Platform for Secure Distributed Computation and Storage Liu-SOSP09
09/09/09 12:30-1:45pm Nguyen Tran
Heat-ray: Combating Identity Snowball Attacks using Machine Learning, Combinatorial Optimization and Attack Graphs Dunagan-SOSP09
04/28/09 12:30-1:45pm Eric Hielscher
ASPLOS09 overview N/A
04/21/09 12:30-1:45pm cancelled N/A N/A
04/14/09 12:30-1:45pm Nguyen Tran
Sybil-Resilient Online Content Voting Tran-NSDI09
04/07/09 12:30-1:45pm Yair Sovran
RPC Chains: Efficient Client-Server Communication in Geodistributed Systems Song-NSDI09
03/24/09 12:30-1:45pm Ashlesh Sharma
Block-switched Networks: A New Paradigm for Wireless Transport Li-NSDI09
03/17/09 12:30-1:45pm Bonan Min
HashCache: Cache Storage for the Next Billion Badam_nsdi09
03/10/09 12:30-1:45pm Yoshihisa Abe
Transparent Checkpoints of Closed Distributed Systems in Emulab Burtsev09
03/03/09 12:30-1:45pm Aditya Dhananjay
Softspeak: Making VoIP Play Fair in Existing 802.11 Deployments SoftSpeak-draft
24/02/09 12:30-1:45pm none Cancelled none
02/17/09 12:30-1:45pm Jay Chen
SPLAY: Distributed Systems Evaluation Made Simple (or How to Turn Ideas into Live Systems in a Breeze) Email Yair Sovran for a copy
02/10/09 12:30-1:45pm Nektarios Paisios
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems CrystalBall (Tech Report)
02/03/09 12:30-1:45pm Nguyen Tran
SybilLimit: A Near-Optimal Social Network Defense against Sybil Attacks SybilLimit
01/27/09 12:30-1:45pm Yair Sovran PADS: A Policy Architecture for Building Distributed Storage Systems PADS (draft)
12/03/08 12:30-1:45pm Nguyen Tran
Ashlesh Sharma
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
Learning to Share: Narrowband-Friendly Wideband Networks
DryadLINQ
Rahul_SIGCOMM08
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