This term the seminar takes place every Friday at 10AM - 11AM (Internal) and 11AM - 12PM (External). Unless otherwise indicated the meeting room is X836.
Internal talks are meant to discuss and get feedback on research that is being done by members of the NSS group. External talks cover the latest conferences and topics of interest.
Themes: Each semester, 2-3 themes would be decided for the seminar. Each theme would last about a month (4-5 papers).
The Systems Seminar discusses a broad range of recent systems papers. Papers are selected from top-tier systems related conferences, including, but not limited to, the following:
General Systems: OSDI, SOSP, NSDI, ATC, EuroSys
Security: USENIX Security, CCS, Oakland, NDSS
Networking: SIGCOMM, INFOCOM, IMC
Architecture: ASPLOS, ISCA, MICRO
Distributed Systems: PODC, ICDCS
Storage: FAST
Each NSS seminar presenter should:
| Date | Theme | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|---|
| Jan 10,
2020 |
Provenance | Joe | Tracking and Analyzing the Evolution of Provenance from Scripts | IPAW 2016 | ||
| Jan 17,
2020 |
Provenance | Margo | Lab Reorganisation/Move Planning + Paint Selection
(Gather in X409) |
Vaas | Zeno: Diagnosing Performance Problems with Temporal Provenance | NSDI 2019 |
| Jan 24,
2020 |
Provenance | Mary Baker | Guest talk on Additive Manufacturing ("She sill bring exotic 3D printed parts.") | UBC 2020 | ||
| Jan 31,
2020 |
Provenance | Sarah Nadi (https://sarahnadi.org/) | Automated Support for Software Maintenance and Reuse | Karim Ali (https://karimali.ca/) | (Starts at 11:30): Scalable and Precise Security Vulnerability Detection | |
| Feb 7,
2020 |
||||||
| Feb 14,
2020 |
||||||
| Feb 21,
2020 |
||||||
| Feb 28,
2020 |
||||||
| March 6,
2020 |
||||||
| March 13,
2020 |
||||||
| March 20,
2020 |
||||||
| March 27,
2020 |
||||||
| April 3,
2020 |
||||||
| April 10,
2020 |
||||||
| April 17,
2020 |
||||||
| April 24,
2020 |
||||||
| May 1,
2020 |
||||||
| May 8,
2020 |
||||||
| May 15,
2020 |
||||||
| May 22,
2020 |
||||||
| May 29,
2020 |
| Date | Theme | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|---|
| Sep 6, 2019 | N/A | Lab Kickstart | N/A | Lab Kickstart | ||
| Sep 13, 2019 | Lab Building | |||||
| Sep 20, 2019 | Networking | Lab Building | Syed | TeaVaR: Striking the Right Utilization-Availability Balance in WAN Traffic Engineering | SIGCOMM'19 | |
| Sep 27, 2019 | Networking | Lab Building | Jose | How to End Password Reuse on the Web | NDSS '19 | |
| Oct 4, 2019 | Networking | Joel | Previous Research | Linux Kernel Address Space Isolation | Linux Plumbers Conference '19 | |
| Oct 11, 2019 | Networking | Puneet | MSc Thesis Presentation | Matt | R2P2: Making RPCs first-class datacenter citizens | ATC '19 |
| Oct 18, 2019 | Security | Nodir | How to Make the Most of a Conference | |||
| Oct 25, 2019 | Security | Jose | MSc Thesis Presentation | Vaastav | ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK) | USENIX Security 2019 |
| Nov 1, 2019 | SOSP | Reto Achermann | Realistic Hardware Abstractions and Least-Privilege Memory Management in Operating Systems | Tony | SplitFS: Reducing Software Overheadin File Systems for Persistent Memory | SOSP 2019 |
| Nov 8, 2019 | Security | Margo | The Seven Sins ofPersonal-Data Processing Systems under GDPR | Shayan | NEUZZ: Efficient Fuzzing with Neural Program Smoothing | IEEE S&P 19 |
| Nov 15, 2019 | Storage | Vaastav | Orion: A Distributed File System for Non-Volatile Main Memory and RDMA-Capable Networks | FAST'19 | ||
| Nov 22, 2019 | Storage | Puneet | ||||
| Nov 29, 2019
in ICCS 146 |
Storage | Andy Warfield | Note we are in ICCS 146
Durability in S3 |
More Andy | ||
| Dec 6, 2019 | Storage | Shayan | MSc Presentation | Craig | (5 minute Neurips talk by Margo)
Generating Application-Specific Data Layouts for In-memory Databases |
VLDI 2019 |
| Dec 13, 2019 | Storage | JS | Ongoing work | Nodir | Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models | OSDI 2018 |
| Date | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|
| Jun 28, 2019 | Talk by Mohsen Imani from UCSD at 12pm. Topic TBD | ||||
| Jul 5, 2019 | |||||
| Jul 12, 2019 | |||||
| Jul 19, 2019 | |||||
| Jul 26, 2019 | Anand | MSc thesis defense | |||
| Aug 2, 2019 | Puneet | Idea pitch for SysTEX workshop paper | |||
| Aug 9, 2019 | |||||
| Aug 16, 2019 | Matt and Chris | LEAP: Large-scale federated and privacy-preserving Evaluation & Analysis Platform | |||
| Aug 23, 2019 | Tony | HardFails: Insights into Software-Exploitable Hardware Bugs | USENIX Security 2019 | ||
| Aug 30, 2019 | |||||
| Date | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|
| Jan 11, 2019 | Nodir | BurnBox: Self-Revocable Encryption in a World Of Compelled Access | USENIX Security’18 | ||
| Jan 18, 2019 | Gleb | Fast and strongly-consistent per-item resilience in key-value stores | EuroSys'18 | ||
| Jan 25, 2019 | Surbhi | Skylight: A Window on Shingled Disk Operation | FAST'15 | ||
| Feb 1, 2019 | Vaas | Space Networking - 3 papers from HOTNETS ‘18 | HotNets'18 | ||
| Feb 8, 2019 | Tony | Practice Talk: Collaboration versus Cheating | SIGCSE'19 | ||
| Feb 15, 2019 | Internal Celebration | ||||
| Feb 22, 2019 | Anand | Weld | |||
| Mar 1, 2019 | Micah | Thesis Overview | Adam | Tentatively DIZK: A Distributed Zero Knowledge Proof System | USENIX Security’18 |
| Mar 8, 2019 | Renato | Universal Context Propagation for Distributed System Instrumentation | EuroSys'18 | ||
| Mar 15, 2019 | Gleb | Thesis Presentation | |||
| Mar 22, 2019 | Anand | SysML’19 practice talk | |||
| Mar 29, 2019 | Puneet | Scaling Guest OS Critical Sections with eCS | USENIX ATC'18 | ||
| Apr 5, 2019 | Jose | Thesis Overview | |||
| Apr 12, 2019 | Fabian | Thesis Presentation | Swati | The Case For In-Network Computing On Demand | EuroSys'19 |
| Apr 26, 2019 | Jodi | Thesis Presentation | Shayan | With Great Training comes Great Vulnerability: Practical attacks against transfer learning | Usenix Sec 18 |
| May 3, 2019 | Eric | Thesis Presentation | |||
| May 10, 2019 | Matthew | Thesis Presentation | Renato | Thesis Presentation | |
| May 17, 2019 | Ghita Berrada | TBD | Nodir | Lab servers intro | |
| May 24, 2019 | Ali Razeen | Permissions Plugins as Android Apps (MobiSys '19 practice talk) | Jose | Deniable Upload and Download via Passive Participation | NSDI '19 |
| May 31, 2019 | Craig Mustard | Jumpgate: In-Network Processing as a Service for Data Analytics (HotCloud '19 Practice Talk) | Anand | TBD |
| Date | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|
| Sep 7, 2018 | Tony | Concurrent Log-Structured Memory for Many-Core Key-Value Stores | VLDB'18 | ||
| Sep 14, 2018 | Puneet | DelegaTEE: Brokered Delegation Using Trusted Execution Environments | USENIX Security’18 | ||
| Sep 21, 2018 | Fabian | My work and time at VMware Research | Adam | Delta Pointers: Buffer Overflow Checks Without the Checks | EuroSys '18 |
| Sep 28, 2018 | Fabian | LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation | OSDI'18 | ||
| Oct 5, 2018 | Adam | Cassius PLDI’18 work (done at UW) | Suresh C. Kothari
(Visiting talk) |
An 18th-century Mathematician, a $336 Million Patent, and Software Experimentation | |
| Oct 12, 2018 | Clement+Shayan | Machine learning on the Blockchain | |||
| Oct 19, 2018 | Anand | TVM: An Automated End-to-End Optimizing Compiler for Deep Learning | OSDI'18 | ||
| Oct 26, 2018 | Craig | FSE18 Practice Talk: Performance Comprehension at WiredTiger | Vaastav | Orca: Differential Bug Localization in Large-Scale Services | OSDI'18 |
| Nov 2, 2018 | Vaastav | Dara FSE18 SRC practice talk | Clement | Effective Program Debloating via Reinforcement Learning | CCS '18 |
| Nov 9, 2018 | Fabian | LPC Practice Talk | Nodir | ResQ: Enabling SLOs in Network Function Virtualization | NSDI'18 |
| Nov 16, 2018 | Anand | My SysML paper | Swati | Automated Synthesis of Adversarial Workloads for Network Functions | SIGCOMM'18 |
| Nov 23, 2018 | Renato | Verifying concurrent software using movers in CSPEC | OSDI'18 | ||
| Nov 30, 2018 | Craig | Practice talk for KeyChain at IEEE BigData | Tony | “Everything You Should Know About Non-Volatile RAM Allocators But Didn’t Know to Ask” | |
| Dec 7, 2018 | Vaastav | The FuzzyLog: A Partially Ordered Shared Log | OSDI'18 | ||
| Dec 14, 2018 | Adam | Possibly NetHide | USENIX Security’18 | ||
| Dec 21, 2018 |
| Date | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|
| May 4, 2018 | Renato practice talk on PGo (10 minutes) | PGo for PNW PLSE | |||
| May 11, 2018 | |||||
| May 18, 2018 | Shayan | zkLedger: Privacy preserving auditing for distributed ledgers | NSDI'18 | ||
| May 25, 2018 | |||||
| June 1, 2018 | |||||
| June 8, 2018 | Jose | Most Websites Don’t Need to Vibrate: A Cost–Benefit Approach to Improving Browser Security | CCS'17 | ||
| June 15, 2018 | Puneet | Medea: Scheduling of Long Running Applications in Shared Production Clusters | EuroSys '18 | ||
| June 22, 2018 | Vaastav | Exploiting a natural network effect for scalable, fine-grained clock synchronization | NSDI'18 | ||
| June 29, 2018 | Clement | DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars | ICSE'18 | ||
| July 6, 2018 | Stewart Grant | NetChain: Scale-Free Sub-RTT Coordination | NSDI'18 | ||
| July 13, 2018 | Nodir | ANCS’18 practice talk | |||
| July 20, 2018 | Tony | Redesigning LSMs for Nonvolatile Memory with NoveLSM | ATC'18 | ||
| July 27, 2018 | Craig | Azure Accelerated Networking: SmartNICs in the Public Cloud | NSDI'18 | ||
| Aug 3, 2018 | Chris | DolphinAttack: Inaudible Voice Commands | CCS'17 | ||
| Aug 10, 2018 | Shayan | Learning Differentially Private Recurrent Neural Networks | ICLR'18 | ||
| Aug 17, 2018 | Tony | Amy | Runtime Analysis of Whole-System Provenance | CCS'18 | |
| Aug 24, 2018 | Renato | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!) | FAST'16 | ||
| Aug 31, 2018 | Gleb | Matthew |
| Date | Internal Slot Lead(s) | Topic | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|---|---|
| Jan 5, 2018 | Sangeetha Jyothi (UIUC) | Talk by Sangeetha from UIUC:
Morpheus: Towards Automated SLOs for Enterprise Clusters |
OSDI'16 | ||
| Jan 12, 2018 | Tony | TBD | Tony | ffwd: Delegation is (much) faster than you think. SOSP ‘17 | SOSP’17 |
| Jan 19, 2018 | Stew | Inferring and asserting invariants in distributed systems.
(practice talk for U. Washington visit) |
Tony | Spectre Attacks: Exploiting Speculative Execution (arXiv January 2018)
Meltdown Effect of Meltdown and Spectre Patches on the Performance of HPC Applications |
arXiv January 18 |
| Jan 26, 2018 | Jose | DefDroid: Towards a More Defensive Mobile OS Against Disruptive App Behavior | MobiSys ‘16 | ||
| Feb 2, 2018 | Clement | DeepLog: Anomaly Detection and Diagnosis from System Logs through Deep Learning | CCS'17 | ||
| Feb 9, 2018 | Craig | Data Sharing for Spark | Stewart | Practical Whole-System Provenance Capture | SoCC'17 |
| Feb 16, 2018 | Nodir | Clipper: A Low-Latency Online Prediction Serving System (NSDI 2017) | NSDI'17 | ||
| Feb 23, 2018 | Fabian | Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control | SOSP’17 | ||
| Mar 2, 2018 | Renato, Matthew, Finn | PGo | Matthew | kAFL: Hardware-Assisted Feedback Fuzzingfor OS Kernels | USENIX Security'17 |
| Mar 9, 2018 | Puneet | Protocol-Aware Recovery for Consensus-Based Storage | FAST'18 | ||
| Mar 16, 2018 | Renato | Fencing off Go: Liveness and Safety for Channel-Based Programming | POPL'17 | ||
| Mar 23, 2018 | Amanda | NetCache: Balancing Key-Value Stores with Fast In-Network Caching | SOSP’17 | ||
| Mar 30, 2018 | Holiday: Good Friday | Holiday: Good Friday | |||
| Apr 6, 2018 | Gleb | A System to Verify Network Behavior of Known Cryptographic Clients | NSDI'17 | ||
| Apr 13, 2018 | Amanda | Thesis presentation | |||
| Apr 20, 2018 | Lise | Directed studies talk/presentation | Stephen | Drizzle: Fast and Adaptable Stream Processing at Scale | SOSP’17 |
| Apr 27, 2018 | Nodir | PhD proposal (10am - noon) |
| Date | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|
| Sep 8, 2017 | Nodir | Re-architecting datacenter networks and stacks for low latency and high performance | SIGCOMM'17 |
| Sep 15, 2017 | Stewart | An Empirical Study on the Correctness of Formally Verified Distributed Systems | EuroSys'17 |
| Sep. 22, 2017 | Jake | Sketches of Space: Ownership Accounting for Shared Storage, SoCC practice talk | |
| Sep 29, 2017 | Jose | Algorand: Scaling Byzantine Agreements for Cryptocurrencies | SOSP’17 |
| Oct 6, 2017 | Fabian | IncBricks: Toward In-Network Computation with an In-Network Cache | ASPLOS'17 |
| Oct 13, 2017 | Josh Leners (Two Sigma) | Archival Storage at Two Sigma | |
| Oct 20, 2017 | Gleb | REM: Resource-Efficient Mining for Blockchains | USENIX Security'17 |
| Oct 27, 2017 | Renato | Push-Button Verification of File Systems via Crash Refinement
OSDI'16 pdf |
OSDI'16 |
| Nov 3, 2017 | Clement | Deep Models Under the GAN: Information Leakage from Collaborative Deep Learning | CCS'17 |
| Nov 10, 2017 | Tony | My VM is Lighter (and Safer) than your Container | SOSP’17 |
| Nov 17, 2017 | Jodi | The Loopix Anonymity System | USENIX Security'17 |
| Nov 24, 2017 | Amanda | Practice Talk for HotNets17 | |
| Dec 1, 2017 | Adalberto | Runtime Adaptation of Microservices, my phd work :-) | |
| Dec 8, 2017 | Clement | Tormentor practice talk | |
| Dec 15, 2017 | Cancelled | ||
| Dec 22, 2017 | Cancelled |
| Date | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|
| May 5, 2017 | |||
| May 12, 2017 | |||
| May 19, 2017 | |||
| May 26, 2017 | |||
| Jun 2, 2017 | Clement | Gaia: Geo-Distributed Machine Learning Approaching LAN Speeds | NSDI'17 |
| Jun 9, 2017 | Nodir | Tux²: Distributed Graph Computation for Machine Learning | NSDI'17 |
| Jun 16, 2017 | Tony | Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads | NSDI'17 |
| Jun 23, 2017 | Kalan MacRow | Guest Talk Vaportrail: Privacy-preserving platform for personal data | |
| Jun 30, 2017 | Tony | To FUSE or Not to FUSE: Performance of User-Space File Systems + Niccolum Introduction (my current project) | |
| Jul 7, 2017 | Amanda | Mosaic: Processing a Trillion-Edge Graph on a Single Machine | EuroSys'17 |
| Jul 14, 2017 | Fabian | FarmBeats: An IoT Platform for Data-Driven Agriculture | NSDI'17 |
| Jul 21, 2017 | Syed | RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks | NSDI'17 |
| Date | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|
| Jan 6, 2017 | Nodir | Network Requirements for Resource Disaggregation | OSDI'16 |
| Jan 13, 2017 | Irene Y. Zhang | Improving Programmability and Performance for Mobile/Cloud Applications. (Practice job talk; http://irenezhang.net/ ) | |
| Jan 20, 2017 | David W-K | Shuffler | OSDI'16 |
| Jan 27, 2017 | Lab photo | 1030-11AM: ?? 11-1130AM: Lab photo | |
| Feb 3, 2017 | Kent | TBD (in room CS104) | USENIX Security'16 |
| Feb 10, 2017 | Amanda | P4: Programming Protocol-Independent Packet Processors | SIGCOMM CCR'14 |
| Feb 17, 2017 | Alex | Identifying and Characterizing Sybils in the Tor Network | USENIX Security'16 |
| Feb 24, 2017 | N/A | Reading week | |
| Mar 3, 2017 | JS | EbbRT: A Framework for Building Per-Application Library Operating Systems (in room CS146) | OSDI'16 |
| Mar 10, 2017 | Stewart | Efficient Network Reachability Analysis Using a Succinct Control Plane Representation | OSDI'16 |
| Mar 17, 2017 | Clement | REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems | OSDI'16 |
| Mar 24, 2017 | Mihir | Practice talk | |
| Mar 31, 2017 | TBD |
| Date | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|
| Sep 16, 2016 | JS | Enhanced Certificate Transparency and End-to-end Encrypted Mail | NDSS'14 |
| Sep 23, 2016 | Patrick | CaSE: Cache-Assisted Secure Execution on ARM Processors | Oakland'16 |
| Sep 30, 2016 | Mihir | Arabesque: A System for Distributed Graph Mining | SOSP'15 |
| Oct 7, 2016 | Micah | Schedule Data, Not Code (my thesis in progress) | |
| Oct 14, 2016 | Nodir | JUGGLER: A Practical Reordering Resilient Network Stack for Datacenters | EuroSys'16 |
| Oct 21, 2016 | Wali | XRay: Enhancing the Web’s Transparency with Differential Correlation | USENIX Security'14 |
| Oct 28, 2016 | Peter | Warp Transactional File System | NSDI'16 |
| Nov 4, 2016 | Amanda | Taming uncertainty in distributed systems with help from the network, pdf | |
| Nov 11, 2016 | Remembrance day, no meeting | ||
| Nov 18, 2016 | Alex R. | Unobservable Communication over Fully Untrusted Infrastructure | OSDI'16 |
| Nov 25, 2016 | Jodi | Scalable error isolation for distributed systems | NSDI'15 |
| Dec 2, 2016 | Stewart | Uncovering Bugs in Distributed Storage Systems During Testing (Not in Production!) | FAST'14 |
| Date | External Paper Lead | Paper Title | Conference'Year |
|---|---|---|---|
| June 3, 2016 | JS | Speeding up Web Page Loads with Shandian | NSDI'16 |
| June 10, 2016 | Peter | The Design and Implementation of Open vSwitch | NSDI'15 |
| June 17, 2016 | Mihir | Yesquel: Scalable SQL storage for Web applications | SOSP'15 |
| June 24, 2016 | Patrick | SKEE: A Lightweight Secure Kernel-level Execution Environment for ARM | NDSS'16 |
| July 1, 2016 | Cancelled: Canada day | ||
| July 8, 2016 | Wali | iSeeYou | USENIX Security'14 |
| July 15, 2016 | Peter | Towards Wifi Mobility without Fast Handove | NSDI'15 |
| July 22, 2016 | Mihir | Profiling a Warehouse-Scale Computer | ISCA'15 |
| July 29, 2016 | Graham | COZ: Finding Code that Counts with Causal Profiling | SOSP'15 |
| August 5, 2016 | JS | Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds | NSDI'16 |
| August 12, 2016 | Stewart | Sibyl: A practical Internet Route Oracle | NSDI'16 |
| August 19, 2016 | Patrick | fTPM: A Software-Only Implementation of a TPM Chip | USENIX Security'16 |
| August 26, 2016 | Wali | RAPTOR: Routing Attacks on Privacy in Tor (Almost Certainly) | USENIX Security'15 |
"Impossible. Perhaps the archives are incomplete." - Obi-Wan Kenobi
| Date | Paper |
|---|---|
| October 2nd, 2009 | FAWN: A Fast Array of Wimpy Nodes (PDF)
David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan. SOSP'09. Proponent: Dutch Meyer Opponent: Brendan Cully |
| October 9th, 2009 | Fast Byte-Granularity Software Fault Isolation (PDF)
Miguel Castro, Manuel Costa, J.P. Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black. SOSP'09. Proponent: Geoffrey Lefebvre Opponent: Dutch Meyer |
| October 16th, 2009 | SOSP summaries and Execution synthesis WIP. |
| October 23rd, 2009 | Helios: Heterogeneous Multiprocessing with Satellite Kernels (PDF)
Edmund B. Nightingale, Orion Hodson, Ross [/McIlroy McIlroy], Chris Hawblitzel, Galen Hunt. SOSP'09. Proponent: Shriram Rajagopalan Opponent: Geoffrey Lefebvre |
| October 30rd, 2009 | The Multikernel: A New OS Architecture for Scalable Multicore Systems (PDF)
System Group,ETH Zurich, Microsoft Research,Cambridge, ENS. SOSP'09. Proponent: Nathan Taylor Opponent: Shriram Rajagopalan |
| November 6th, 2009 | Automatic Device Driver Synthesis with Termite (PDF)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser (NICTA, UNSW, Open Kernel Labs). SOSP'09 Proponent: Mohammad Abdul-Amir Opponent: Patrick Colp |
| November 13th, 2009 | Tolerating Hardware Device Failures in Software (PDF)
Asim Kadav, Matthew J. Renzelmann, Michael M. Swift. University of Wisconsin-Madison. SOSP'09 Proponent: Patrick Colp Opponent: Nathan Taylor |
| November 20th, 2009 | Operating System Transactions (PDF)
Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel. UT Austin SOSP'09 Proponent: Ryan OConner Opponent: Mohammad Abdul-Amir |
| November 27th, 2009 | seL4: Formal Verification of an Kernel (PDF)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell , Harvery Tuch, Simon Winwood, TICTA, UNSW, Open Kernel Labs SOSP'09 Proponent: Quan Zhang Opponent: Ryan OConner |
| December 4th, 2009 | Matchmaking for Online Games and Other Latency-Sensitive P2P Systems (PDF)
Sharad Agarwal, Jacob R. Lorch, MSR. Sigcomm'09 Proponent: Cody Brown Opponent: Quan Zhang |
| January 15th, 2010 | Safe and Effective Fine-grained TCP Retransmissions for Datacenter Communication (PDF)
Vijay Vasudevan, Amar Phanishayee, Hiral Shah, Elie Krevat, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Brian Mueller, CMU, Panasas Inc. Sigcomm'09 Proponent: Brad Penoff Opponent: Cody Brown |
| January 22th, 2010 | BCube: A High Performance, Server-centric Network Architecture for Modular Data Centers (PDF)
Chuanxiong Guo, Guohan Lu, Dan Li, Haitao Wu, Xuan Zhang, Yunfeng Shi, Chen Tian, Yongguang Zhang, Songwu Lu, MSR, Tsinghua, PKU, HUST, UCLA. Sigcomm'09 Proponent: Dutch Meyer Opponent: Brad Penoff |
| January 29th, 2010 | SnowFlock: Rapid Virtual Machine Cloning for Cloud Computing (PDF)
H. Andr�s Lagar-Cavilla, Joseph A. Whitney, Adin Scannell, Philip Patchin, Stephen M. Rumble, Eyal de Lara, Michael Brudno, M. Satyanarayanan. UT and CMU. Eurosys'09 Proponent: Nathan Taylor Opponent: Dutch Meyer |
| February 12th, 2010 | Hierarchical File Systems are Dead (PDF)
Margo Seltzer, Nicholas Murphy. Harvard. HotOS'09 Proponent: Mihir Nanavati Opponent: Nathan Taylor |
| March 5th, 2010 | Automatically Patching Errors in Deployed Software (PDF)
Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin Rinard. SOSP '09 Proponent: Brendan Cully Opponent: Mihir Nanavati |
| March 12th, 2010 | quFiles: The Right File at the Right Time (PDF)
Kaushik Veeraghavan, Jason Flinn, Ed Nightingale, Brian Noble. UMich. FAST '10 Proponent: Shriram Rajagopalan Opponent: Patrick Colp |
| March 19th, 2010 | Membrane: Operating System Support for Restartable File Systems (PDF)
Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. Wisconsin, Madison. FAST '10 Proponent: Patrick Colp Opponent: Brendan Cully |
| March 26th, 2010 | Tracking Back References in a Write-Anywhere File System (PDF)
Peter Macko, Margo Seltzer, Keith A. Smith. Harvard. FAST '10 Proponent: Shamma Opponent: Shriram Rajagopalan |
| April 9th, 2010 | Discovery of Application Workloads from Network File Traces (PDF)
Neeraja J. Yadwadkar, Chiranjib Bhattacharyya, K. Gopinath and Thirumale Niranjan. IISc, [/NetApp NetApp]. FAST '10 Proponent: Andy Warfield Opponent: Shamma |
| April 16th, 2010 | Kivati: Fast Detection and Prevention of Atomicity Violations (PDF)
Lee Chew and David Lie. UoT. Eurosys '10 Proponent: Geoffrey Lefebvre Opponent: Nathan Taylor/Mihir Nanavati |
| April 23rd, 2010 | [/CoreDet CoreDet]: A Compiler and Runtime System for Deterministic Multithreaded Execution (PDF)
Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze and Dan Grossman. UWash. ASPLOS '10 Proponent: Nathan Taylor Opponent: Geoffrey Lefebvre |
| May 7th, 2010 | SPAIN: COTS Data-Center Ethernet for Multipathing over Arbitrary Topologies (PDF)
Jayaram Mudigonda, Praveen Yalagandula, Mohammad Al-Fares and Jeffrey C. Mogul. HP Labs and UCSD. NSDI '10 Proponent: Dutch Meyer Opponent: Cody Brown |
| May 14th, 2010 | Reverse Traceroute (PDF)
Ethan Katz-Bassett, University of Washington; Harsha V. Madhyastha, University of California, San Diego; Vijay Kumar Adhikari, University of Minnesota; Colin Scott, Justine Sherry, Peter van Wesep, Thomas Anderson, and Arvind Krishnamurthy, University of Washington. NSDI '10 Proponent: Ryan O'Connor Opponent: Cody Brown |
| May 21st, 2010 | Centrifuge: Integrated Lease Management and Partitioning for Cloud Services (PDF)
Atul Adya, Google; John Dunagan and Alec Wolman, Microsoft Research. NSDI '10 Proponent: Dutch Meyer Opponent: Ryan O'Connor |
| May 28th, 2010 | CuriOS: Improving Reliability through Operating System Structure (PDF)
Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, Roy H. Campbell, University of Illinois at Urbana-Champaign. OSDI '08 Proponent: Mihir Nanavati Opponent: Patrick Colp |
| June 4th, 2010 | Hypersafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity (PDF)
Zhi Wang, Ellick M. Chan, Xuxian Jiang, NCSU. Oakland '10 Proponent: Patrick Colp Opponent: Brendan Cully |
| July 2nd, 2010 | Tolerating Malicious Device Drivers in Linux (PDF)
Silas Boyd-Wickizer and Nickolai Zeldovich, MIT. Usenix '10 Proponent: Mark Spear Opponent: Dhirendra Kholia |
| July 9th, 2010 | Satori: Enlightened page sharing (PDF)
Grzegorz Miłos, Derek G. Murray, Steven Hand and Michael Fetterman, Cambridge University, NVIDIA Corporation. Usenix '09 Proponent: Mihir Nanavati Opponent: Mark Spear |
| 17 September, 2010 | Capsicum: Practical Capabilities for UNIX (PDF)
Robert N.M. Watson and Jonathan Anderson, University of Cambridge; Ben Laurie and Kris Kennaway, Google UK Ltd. Proponent: Patrick Colp Opponent: Dutch Meyer |
| 24 September, 2010 | Addressing Shared Resource Contention in Multicore Processors Via Scheduling (PDF)
Sergey Zhuravlev, Sergey Blagodurov and Alexandra Fedorova(Simon Fraser University) Proponent: Micah Best Opponent: Patrick Colp |
| 01 October, 2010 | No seminar; "How I spent my summer vacation" - Experiences from our colleagues who have been away on internship |
| 08 October, 2010 | No seminar; OSDI / Thanksgiving / ErdOS: enabling opportunistic resources sharing in mobile Operating Systems
Narseo Vallina Rodriguez (University of Cambridge Computer Laboratory) |
| 15 October, 2010 | Wide-Area Route Control for Distributed Services (PDF)
Vytautas Valancius and Nick Feamster, Georgia Institute of Technology; Jennifer Rexford, Princeton University; Akihiro Nakao, The University of Tokyo Proponent: Mark Spear Opponent: Micah Best |
| 22 October, 2010 | FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (PDF)
Livio Soares and Michael Stumm, University of Toronto Proponent: Sara Dadizadeh Opponent: Mark Spear |
| 29 October, 2010 | Finding a Needle in Haystack: Facebook's Photo Storage (IN ICICS 202) (PDF)
Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel, Facebook Inc. Proponent: Alex T. Opponent: Sara Dadizadeh |
| 05 November, 2010 | An Analysis of Linux Scalability to Many Cores (PDF)
Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich, MIT CSAIL Proponent: Chris Head Opponent: Alex T. |
| 12 November, 2010 | Efficient System-Enforced Deterministic Parallelism (PDF)
Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. OSDI '10 Proponent: Ryan O'Connor Opponent: Chris Head |
| 26 November, 2010 (ICICS 104) | Effective Data-Race Detection for the Kernel (PDF)
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk, Microsoft Research, OSDI 2010 Proponent: Mihir "The Miggs" Nanavati Opponent: Ryan O'Connor |
| 03 December, 2010 | Making Linux Protection Mechanisms Egalitarian with UserFS (PDF)
Taesoo Kim and Nickolai Zeldovich, MIT CSAIL Proponent: Nathan Taylor Opponent: Mihir "The Miggs" Nanavati |
| 10 December, 2010 | FACULTY KOMBAT BATTLE ROYALE: Large-scale Incremental Processing Using Distributed Transactions and Notifications(PDF)
Daniel Peng and Frank Dabek, Google, Inc, OSDI 10 Proponent: Andy Warfield Opponent: Buck Krasic |
| 15 April, 2011 | Reverse Engineering of Binary Device Drivers with RevNIC (PDF)
Vitaly Chipounov (EPFL), George Candea (EPFL) Proponent: Mihir Ibn Khairanavati Opponent: Nathan Taylonte |
| 22 April, 2011 | Good Friday, no seminar. |
| 29 April, 2011 | ISSNet |
| 06 May, 2011 | Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center (PDF)
Authors Proponent: Dutch Meyer Opponent: A Quartet of Menacing Demons |
| 13 May, 2011 | SPORC: Group Collaboration using Untrusted Cloud Resources (PDF)
Ariel J. Feldman, William P. Zeller, Michael J. Freedman, and Edward W. Felten (Princeton) Proponent: Brendan Cully Opponent: Chris Head |
| 20 May, 2011 | TIE: Principled Reverse Engineering of Types in Binary Programs (PDF)
JongHyup Lee, Thanassis Avgerinos, and David Brumley (CMU) Proponent: Patrick Colp Opponent: Brendan Cully |
| 27 May, 2011 | Practical Byzantine Fault Tolerance (PDF)
Miguel Castro and Barbara Liskov Proponent: Nathan Taylor Opponent: Patrick Colp |
| 03 June, 2011 | Bitcoin: A Peer-to-Peer Electronic Cash System (PDF)
Satoshi Nakamoto Proponent: Alexandru Totolici Opponent: Nathan Taylor |
| 09 September, 2011 | CryptDB: Protecting Conï¬dentiality with Encrypted Query Processing (PDF)
Authors Proponent: TBA Opponent: TBA |
| 16 September, 2011 | Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis (ICICS 104 this week) (PDF)
Authors Proponent: Jake Wires Opponent: Nathan Taylor |
| 23 September, 2011 | [/CloudVisor CloudVisor]: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization (PDF)
Authors Proponent: Patrick Colp Opponent: Nathan Taylor |
| 30 September, 2011 | TBA (PDF)
Authors Proponent: TBA Opponent: TBA |
| December 7, 2012 | IoT Mashups with the WoTKit (PDF)
Authors: Blackstock, Michael and Lea, Rodger. IoT'12 Presenter: Michael Blackstock |
| November 2, 2012 | Binary stirring: self-randomizing instruction addresses of legacy x86 binary code (PDF)
Authors: Wartell, Richard and Mohan, Vishwath and Hamlen, Kevin W. and Lin, Zhiqiang. CCS'12 Presenter: Patrick Colp |
| Sept 28, 2012 | 1. Scalable DBMS Architecture with Innesto (MSc Thesis)
Author/Presenter: Primal Wijesekera 2. Xen Slicing (Ideas Presentation) Presenter: Patrick Colp |
| August 2, 2012 | TBA (PDF)
Authors Proponent: Mihir Nanavati |
| July 26, 2012 | Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS (PDF)
Authors: Michael F. Nowlan, Nabin Tiwari, Janardhan Iyengar, Syed Obaid Amin, and Bryan Ford. NSDI '12 Presenter: Aiman Erbad Slides: (OpenOffice) (PDF) |
| July 19, 2012 | Thialfi: A Client Notification Service for Internet-Scale Applications (PDF)
Authors: Atul Adya, Gregory H. Cooper, Daniel Myers, Michael Piatek. SOSP'11 Presenter: Jean-Sebastien Legare |
| July 12, 2012 | Aiman Defence practice talk |
| July 5, 2012 | PTask: Operating System Abstractions To Manage GPUs as Compute Devices (PDF)
Authors: Christopher J. Rossbach, Jon Currey (MSR), Mark Silberstein (Technion), Baishakhi Ray, Emmett Witchel (UT Austin). SOSP'11 Presenter: Mihir Nanavati |
| January 17th, 2013 | Embassies: Radically Refactoring the Web [www.usenix.org/system/files/conference/nsdi13/nsdi13-final85.pdf PDF]
Presenter: Shriram |
| January 18, 2013 | Granola: Low-Overhead Distributed Transaction Coordination (PDF, Slides)
Authors: James Cowling, Barbara Liskov (MIT CSAIL). USENIX ATC'12 Presenter: Mahdi Tayarani Najaran |
| January 24th, 2013 | Chucky: exposing missing checks in source code for vulnerability discovery PDF
Presented: Patrick |
| January 25, 2013 | Dune: Safe User-level Access to Privileged CPU Features (PDF, Slides)
Authors: Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazi�res, Christos Kozyrakis (Stanford University). USENIX OSDI'12 Presenter: Mihir Nanavati |
| January 31st, 2013 | The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors PDF
Presenter: Nodir |
| February 7th, 2013 | SplitX: High-Performance Private Analytics PDF
Presenter: Jean-S�bastien (JS) |
| February 14th, 2013 | Distributed Skip List in Fine-Grain Message Passing Interface
Presenter: Sarwar Strata: Scalable High-Performance Storage on Virtualized Non-volatile Memory Presenter: Brendan |
| February 21st, 2013 | UBC midterm break -- no seminar |
| February 28th, 2013 | Omega: flexible, scalable schedulers for large compute clusters PDF
Presenter: RJ |
| March 7th, 2013 | Network Virtualization in Multi-tenant Datacenters PDF
Presenter: Nodir |
| March 14th, 2013 | D�ppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud PDF
Presenter: Marjan |
| March 21st, 2013 | [/ViewBox ViewBox]: Integrating Local File Systems with Cloud Storage Services PDF
Presenter: Jonatan |
| March 28th, 2013 | VPN Gate: A Volunteer-Organized Public VPN Relay System with Blocking Resistance for Bypassing Government Censorship Firewalls PDF
Presenter: David |
| April 4th, 2013 | NSDI'14 conference week -- no seminar |
| April 11th, 2013 | NSDI'14 review Technical sessions
Presenters: David, Nodir and Ivan |
| June 14, 2013 | CORFU: A Shared Log Design for Flash Clusters (PDF, Slides)
Authors: Mahesh Balakrishnan, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber, Michael Wei, John D. Davis (MSR and UCSD). USENIX NSDI'12 Presenter: Christopher Head |
| October 3rd, 2013 | SOSP smorgasbord (everyone reads abstract/intro/conclusion of a paper from SOSP 2013). |
| October 9th, 2013 | VirtuOS: An Operating System with Kernel Virtualization PDF
Presenter: Mihir |
| October 16th, 2013 | IOFlow: A Software-Defined Storage Architecture PDF
Presenter: Nodir |
| October 23rd, 2013 | Replication, History, and Grafting in the Ori File System PDF
Presenter: Jonatan |
| October 30th, 2013 | Verifying Computations with State PDF
Presenter: David |
| November 6th, 2013 | [/PrivExec PrivExec]: Private Execution as an Operating System Service PDF
Presenter: Marjan |
| November 13th, 2013 | Tango: Distributed Data Structures over a Shared Log PDF
Presenter: Mahdi |
| November 20th, 2013 | Naiad: A Timely Dataflow System PDF
Presenter: RJ |
| November 27th, 2013 | Timecard: Controlling User-Perceived Delays in Server-Based Mobile Applications PDF
Presenter: Yanyan |
| May 2nd, 2014 | FaRM: Fast Remote Memory [www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-dragojevic.pdf PDF]
Presenter: Mihir |
| May 9th, 2014 | Fast Dynamic Binary Translation for the Kernel PDF
Presenter: Patrick |
| May 16th, 2014 | ClickOS and the Art of Network Function Virtualization PDF
Presenter: Nodir |
| May 23rd, 2014 | Efficient Batched Synchronization in Dropbox-like Cloud Storage Services PDF
Presenter: Jonatan |
| May 30th, 2014 | Stitching the Gadgets: On the Ineffectiveness of Coarse-Grained Control-Flow Integrity Protection [www.trust.informatik.tu-darmstadt.de/fileadmin/user_upload/Group_TRUST/PubsPDF/techreport-stitching-gadgets.pdf PDF]
Presenter: David |
| June 6th, 2014 | Permacoin: Repurposing Bitcoin Work for Data Preservation [cs.umd.edu/%7Eamiller/permacoin.pdf PDF]
Presenter: Marjan |
| June 13rd, 2014 | Data center TCP project
Presenter: Mihir |
| June 20th, 2014 | David's masters thesis - Binary Shuffling: Defeating Memory Disclosure Attacks through Re-Randomization
Presenter: David |
| June 27th, 2014 | Building Web Applications on Top of Encrypted Data Using Mylar [www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-popa.pdf PDF]
Presenter: RJ Sumi |
| July 11th, 2014 | MICA: A Holistic Approach to Fast In-Memory Key-Value Storage [www.usenix.org/conference/nsdi14/technical-sessions/presentation/lim PDF]
Presenter: Mihir |
| July 25th, 2014 | Callisto: Co-Scheduling Parallel Runtime Systems [timharris.co.uk/papers/2014-eurosys.pdf PDF]
Presenter: Nathan |
| August 1st, 2014 | Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations [www.usenix.org/conference/usenixsecurity13/technical-sessions/papers/haller PDF]
Presenter: Kent |
| August 8th, 2014 | pFabric: Minimal Near-Optimal Datacenter Transport [conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p435.pdf PDF]
Presenter: Nodir |
| August 15th, 2014 | The Snipper Attack: anonymously Deanonymizing and Disabling the Tor Network [www.internetsociety.org/sites/default/files/05_4_0.pdf PDF]
Presenter: Marjan |
| September 5th, 2014 | FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack PDF
Presenter: Kent |
| September 12th, 2014 | Static Detection of Second-Order Vulnerabilities in Web Applications PDF
Presenter: JS L�gar� |
| September 19th, 2014 | Making middleboxes someone else's problem: network processing as a Cloud service PDF
Presenter: Peter |
| September 26th, 2014 | Decoupling Cores, Kernels, and Operating Systems PDF
Presenter: Mihir |
| October 3rd, 2014 | Characterizing Storage Workloads with Counter Stacks PDF
Presenter: Jake |
| October 10th, 2014 | Protecting Users by Confining [/JavaScript JavaScript] with COWL PDF
Presenter: RJ Sumi |
| October 17th, 2014 | User-Guided Device Driver Synthesis PDF
Presenter: Nodir |
| October 24th, 2014 | Arrakis: The Operating System is the Control Plane PDF
Presenter: Patrick |
| October 31st, 2014 | IX: A Protected Dataplane Operating System for High Throughput and Low Latency PDF
Presenter: Peter |
| November 7st, 2014 | Visitor talk about Tetrisched: Space-Time Scheduling for Heterogeneous Datacenters PDF
Presenter: Alexey Tumanov |
| November 14th, 2014 | Shielding applications from an untrusted cloud with Heaven PDF
Presenter: Marjan |
| November 21st, 2014 | Shadapp project and status
Presenter: JS |
| December 5th, 2014 | Automatically Detecting Vulnerable Websites Before They Turn Malicious PDF
Presenter: Arthur |
| January 9th, 2015 | CONGA: Distributed Congestion-Aware Load Balancing for Datacenters PDF
Presenter: Nodir |
| February 13rd, 2015 | Experimental Security Analysis of a Modern Automobile [www.autosec.org/pubs/cars-oakland2010.pdf PDF]
Presenter: Nodir |
| February 13rd, 2015
(2nd paper) |
Comprehensive Experimental Analyses of Automotive Attack Surfaces [www.autosec.org/pubs/cars-usenixsec2011.pdf PDF]
Presenter: Wali |
| February 27th, 2015 | TBD
Presenter: TBD |
| March 6th, 2015 | TBD
Presenter: TBD |