NSS Seminar

From UBC Wiki
Jump to: navigation, search

NSS Seminar

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.

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:

  • Send email reminder to systems-l@cs.ubc.ca with paper details and wiki.ubc.ca/NSS_Seminar URL a few days prior to the presentation (at least by end of Wednesday).
  • Use subject: NSS seminar <date> @ X836 11am-12pm -- <paper-title>

Summer 2019 (Jun - Aug 2019)

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: Software-Exploitable Hardware Bugs USENIX Security 2019
Aug 30, 2019

Winter 2019 (Jan - May 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 19, 2019 Good Friday holiday Good Friday holiday Good Friday holiday Good Friday holiday
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

Fall 2018 (Sep - Dec 2018)

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

Summer 2018 (May - Aug 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

Winter 2018 (Jan - Apr 2018)

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 Micah Data Not Code: Beyond Embarrassingly Parallel on Multicore 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)

Fall 2017 (Sep - Dec 2017)

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

Summer 2017 (May - Aug 2017)

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

Winter 2017 (Jan - Apr 2017)

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

Fall 2016 (Sep - Dez 2016)

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

Summer 2016 (Mai - Aug 2016)

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

Ye Olde Arkaeve (oldest first)

"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

Note(http://wiki.nss.cs.ubc.ca/internal/FAWNNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/FBSFINote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/HeliosNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/MultiKernelNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/TermiteNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/CarburizerNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/OSTransactionNote)

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

Note(http://wiki.nss.cs.ubc.ca/internal/SEL4Note)

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

Note(http://wiki.nss.cs.ubc.ca/internal/HtraeNote)

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 Confidentiality 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