NSS Seminar

From UBC Wiki

Systopia Seminar

We reserve Friday from 10 AM - Noon for full Systopia Lab seminars. The Friday at 10AM - 11AM slot is for Reading Group; the 11AM - 12PM slot is for Internal talks.

As of March 25, 2022, we will resume in-person meetings in ICICS x836.

Reading Group

Themes: We collaboratively pick a theme, approximately one per month. Presenters may select any relevant paper; if you are looking for a paper to present, here are some venues that you might find useful (but this list is not exhaustive).

Each seminar presenter should:

  • Edit the Wiki to record all the relevant information about the paper (including a link to it).
  • By end of day Wednesday: Send email to systems-l@cs.ubc.ca with subject line: Systopia seminar <date> 10 am-11am -- <paper-title>. In the email include the paper title and abstract and either a link to the paper or, if no such link is available without requiring a paywall, the paper itself.
  • Please also post to Discord on the reading-group channel

If you need some inspiration, check out internal talk types.

Summer 2024 (May - Aug 2024)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic Talk type
May 10 N/A N/A N/A N/A N/A N/A N/A N/A
May 17 N/A N/A N/A N/A N/A N/A N/A N/A
May 24 Devam Sisodraker Research in Progress: Topic TBA
May 31 Vincent Bode N/A RTSS Practice Talk Paul Bucci Early defence storytelling session
Jun 7 Sid Agrawal Research in Progress: OSmosis Eric Sedlar, Oracle Labs The Graal Cloud:  Integrating databases, operating systems and compilers in the cloud to make an entire cloud region operate like a single Java-based VM.
Jun 14 Tanya Prasad ASPLOS Limoncello: Prefetchers for Scale Zainab Wattoo DSN 2024 - Practice Talk
Jun 21 Prof. Timothy Roscoe (ETH Zurich) visitor A pragmatic but formal approach to building OSes for real computers Talk overflow ...
Jun 28 Joseph Wonsil TBD Xuechun Cao RPE
Jul 5 Shaurya Patel USENIX ATC USENIX ATC practice talk. Xuechun Cao USENIX ATC practice talk
Jul 12
Jul 19 Sid Agrawal PhD Proposal Defence Talk overflow ...
Jul 26 Soo Yee Lim ATC 2024 An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise Rut Vora / Amir Sabzi USENIX-Security Practice Talk :- NetShaper: A Differentially Private Network Side-Channel Mitigation System
Aug 2 Philip Schowitz
Aug 9 Zainab Wattoo
Aug 16 Soo Yee Lim PhD Proposal Defense Talk overflow ...
Aug 23
Aug 30

Winter 2024 (Jan - Apr 2024)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic Talk type
Jan 12 FAAS Sid Agrawal SoCC 2023 Function as a Function pdf Milad Rezaei M.Sc. Presentation
Jan 19
Jan 26 Puneet Mehrotra Open Discussion (Margo's suggesion, Paul lead) The mistakes that help us learn File:Opinion-wapost-Everyone-can-benefit-from-this-lesson-I-learned-as-a-young-surgeon.pdf
Feb 2 FAAS Ilias Karimalis EuroSys 22 Isolating functions at the hardware limit with virtines (pdf).
Feb 9 FAAS Shaurya Patel SOSP 2023 XFaaS: Hyperscale and Low Cost Serverless Functions at Meta (pdf)
Feb 16 Praveen Gupta Research in Progress: Growlithe Milad
Feb 23 N/A Reading Week N/A N/A N/A N/A
Mar 1 Differential Privacy Infrastructure Pierre Tholoniat Columbia University (guest speaker)
Mar 8 Rut Vora Research In Progress:

CXL Side Channels

Philip Schowitz Research In Progress:

Response Time Analysis for Latency-Sensitive Applications

Mar 15 Privacy Auditing Mishaal Kazmi MSc Thesis Talk PANORAMIA: Privacy Auditing of Machine Learning Models without Retraining Jack Gong Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware (pdf)
Mar 22 Amir Sabzi USENIX Security 2023 Ethical Frameworks and Computer Security Trolley Problems: Foundations for Conversations (pdf)
Mar 29 ------------ Good Friday ------------ Good Friday ------------ -------------
Apr 5 Sepehr Jalalian ECE thesis dry-run talk Enabling Application-Aware Memory Page Placement Policies and Mechanisms with Extmem Finn Research in Progress
Apr 12 Zainab Wattoo Onward! '18 Tool: Accessible Automated Reasoning for Human Robot Collaboration(pdf) Shadab Shaikh Adaptive Randomized Smoothing MSc Thesis talk
Apr 19 Augustine Wong ECE thesis dry-run talk Out with the Outliers: Making Sense of Multi-threaded Application Performancr at Scale with NonSequitur.
Apr 26 N/A Exams N/A N/A N/A N/A N/A N/A

Fall 2023 (Sept - Dec 2023)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
Sep 8 Sid Agrawal HotOS 2023 Creating Trust by Abolishing Hierarchies [hypothesis] [slide]
Set 15 Amir Sabzi M.Sc. Presentation
Sep 22 Reto Achermann Dry Run Reto Achermann Dryrun
Sep 29 New Student Welcome New Student Welcome
Oct 6 Yayu Wang Research In Progress Visitor Talk: Daniel Berger TBD
Oct 13 New Huawei Lab Presentation Dr. Ying Xiong Discussion and brainstorming with Huawei
Oct 20 Jerry Wang Dry Run Shaurya Patel CHERI-picking PLOS talk
Oct 27 How to read and present papers

File:Giving Talks on Research Whats and Hows.pdf


Jifeng Wu (+Finn) Paul Bucci Pre-project
Nov 3 Elizabeth Fischer Writing a resume for a career in finance Shadab Shaikh Research in Progress
Nov 10 Xuechun Cao SOSP 23 Mira: A Program-Behavior-Guided Far Memory System Joe Wonsil / Nichole Boufford Summer Internship stuff
Nov 17 Wellison Santos OSDI 20 FIRM: An Intelligent Fine-Grained Resource Management Frameworkfor SLO-Oriented Microservices Finn Hackett Research in Progress
Nov 24 Chris Chen SOSP 23 Validating JIT Compilers via Compilation Space Exploration
Dec 1 Ilias Karimalis Jonas Tai Research in Progress
Dec 8 Jinyuan Liang Thesis Presentation Nichole Boufford Thesis Presentation
Dec 15

Summer 2023 (May - August 2023)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
April 28 Fabrice Lécuyer Seminar on graph algorithms and node orderings
May 5
May 12 Undergrad Interns Presentation
May 19
May 26 Jerry Wang ASPLOS 2012 Understanding modern device drivers
Jun 2 Qiaoyue Tang RPE Talk (ICCS 306) DP-AdamBC: your DP-Adam is actually DP-SGD (unless you apply Bias Correction) Shaurya Patel (ICCS 246) HoPP: Hardware-Software Co-Designed Page Prefetching for Disaggregated Memory (HPCA 2023)
Jun 9 Sid Agrawal Raid 2021 uSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts
Jun 16 Reto Achermann HotOS dryrun (Velosiraptor)
Jun 23 Niloo Gharavi Improving In-Memory Database Operations with Acceleration DIMM (AxDIMM)(DaMoN'22)
Jun 30 Ali Behrouz M.Sc. Presentation Zainab Wattoo M.Sc. Thesis Talk
Jul 7 Hadi M.Sc. Presentation
Jul 14
Jul 21 Jennifer Wong International Conference on Product-Focused Software Process Improvement How Accountability is Implemented and Understood in Research Tools Soo Yee Lim eBPF Workshop dry run
Jul 28 Sadaf Sadeghian NeurIPS 2022 Neural Temporal Walks: Motif-Aware Representation Learning on Continuous-Time Dynamic Graphs Shayan Hosseini MSc Thesis Talk
Aug 4 Tony Mason USENIX OSDI '23 eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
Aug 11 Mishaal Kazmi Auditing Differentially Private Machine Learning: How Private is DP-SGD? https://proceedings.neurips.cc/paper/2020/file/fc4ddc15f9f4b4b06ef7844d6bb53abf-Paper.pdf
Aug 18 Xuechun Cao NSDI '23 Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory
Aug 25 Alex Trostanovsky M.Sc. Thesis Talk

Winter 2023 (January - April 2023)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
Jan 13 TBD Joseph Wonsil VLDB Journal Data distribution debugging in machine learning pipelines Margo SOSP Discussion
Jan 20 Praveen Gupta CIDR 21 Lakehouse Faqia Iqbal M.Sc. Thesis Talk
Jan 27 Shayan Hosseini OSDI '22 Metastable Failures in the Wild
Feb 3 Rut Vora S&P '21 Invisible Probe: Timing Attacks with PCIe Congestion Side-channel Amir Sabzi Research in progress
Feb 10 TBD
Feb 17 Yayu Wang CCS 21 Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization Andy Warfield 2:00 PM FAST Keynote
Feb 24 Midterm Break
March 3 Alex Trostanovsky ASPLOS '23 Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing
March 10 TBD Joseph Wonsil CIDR '23 Git is for Data
March 17 Finn Hackett SREcon Americas '23 Turning an Incident Report into a Design Issue with TLA+ Haley Li Research in progress
March 24 SALmon Workshop: All day, so no reading group.
March 31 Dikla Tzafrir ASPLOS '23 Vidi: Record Replay for Reconfigurable Hardware
April 7 TBD Good Friday Holiday
April 14 Qiaoyue Tang RPE practice talk Mayank Tiwary MSc Essay

Fall 2022 (September - December 2022)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
Sep 9 TBD
Sep 16 Joe Wonsil ACM Transactions on Management Information Systems Establishing Data Provenance for Responsible Artificial

Intelligence Systems

Reto Research in progress: Velosiraptor (+ Introduction to the "Research in progress" series)
Sep 23 Reserved by Jerry and Ivan Practice talk: Tinkertoy: Build your own operating systems for IoT devices Wen Zhang (UC Berkeley) Blockaid: Data-Access Policy Enforcement for Web Applications [link]
Sep 30 National Day for Truth and Reconciliation
Oct 7 TBD Hadi VLDB '22 Sortledton: a universal, transactional graph data structure Shaurya Research in progress: Cherry picking
Oct 14 Scott Morrison (NetApp) Interesting Problems in Storage
Oct 21 Sebastian Angel (UPenn/MSR) A new architecture for private and accountable online advertising
Oct 28 Syed Iqbal SoCC'22 (Practice talk) CoSpot: A Cooperative VM Allocation Framework for Increased Revenue from Spot Instances Sid Agrawal Summer 2022 Internship Work: Enabling CHERI for seL4 userspace
Nov 4 TBD Joel Nider ASPLOS '20 High-density Multi-tenant Bare-metal Cloud Soo Research in progress: Sandbox for eBPF
Nov 11 Midterm Break / Remembrance Day
Nov 18 Keval Vora (SFU) TBA Milad Data Structure Gym: On Processing Dynamic Graphs
Nov 25 Voncarlos Marcelo de Araujo

(visiting postdoc from UQAM)

Membership Inference Attack for Beluga Whales Re-identification Ali Research in progress: Anomaly Detection in Multiplex Networks
Dec 2 TBD Sébastien Gambs

(visiting faculty from UQAM)

Synergies and tensions between privacy and other ethical issues in responsible machine learning Nichole Research in progress: TBC
Dec 9 Sepehr ASPLOS '23 Pond: CXL-Based Memory Pooling Systems for Cloud Platforms Shiqi M.Sc. thesis talk

Summer 2022 (May - August 2022)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
May 6 Mobility Amee ACM Interact. Mob. Wearable Ubiquitous Technology Network-based Contact Tracing for Infectious Diseases using Passive WiFi Sensing
May 13 Konstantin TBD (preprint is submitted to a federated learning special issue of the IEEE Transactions on Medical Imaging) Presentation title: critical information infrastructures lab @ KIT, Federated Learning and Data Valuation, current research

Recent preprint: Reward Systems for Trustworthy Medical Federated Learning

May 20 Data Management Milad VLDB 2021 Napa: Powering Scalable Data Warehousing with Robust Query Performance at Google
May 27 Puneet SIGMOD 2022 Proteus: Autonomous Adaptive Storage for Mixed Workloads
Jun 3 Shiqi EuroSys 2022 Out-of-order backprop: an effective scheduling technique for deep learning Jackson Dagger Bulk JPEG Decoding on In-Memory Processors (SYSTOR 2022)
Jun 10 Mayank EurosSys 2022 Unicorn: Reasoning about Configurable System Performance through the Lens of Causality
Jun 17 Arpan S&P 2022 RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone
Jun 24
July 1 Canada Day!
July 8 Shaurya USENIX ATC'22 ZNSwap: un-Block your Swap
July 15 Sadaf NSDI'21 On the Use of ML for Blackbox System Performance Prediction
July 22 Mohammad Dashti PhD oral defence practice Invited Talk: Steven Yuan (Huawei Toronto)
July 29 Shadab MLSys 2020 Resource Elasticity in Distributed Deep Learning
Aug 5
Aug 12
Aug 19

Winter 2022 (January - April 2022)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
Jan 14 No Meeting
Jan 21 Distributed Systems Shayan Hosseini NSDI 2021 Ownership: A Distributed Futures System for Fine-Grained Tasks
Jan 28 Operating Systems Shaurya Patel ASPLOS 2020 Classifying Memory Access Patterns for Prefetching
Feb 4 ML & Systems Joseph Wonsil MLSys 2022 Randomness in Neural Network Training: Characterizing the Impact of Tooling
Feb 11 System Security Soo Yee Lim CCS 2021 Demons in the Shared Kernel: Abstract Resource Attacks Against OS-level Virtualization
Feb 18 A. Finn Hackett & Shayan Hosseini PGo practice talk Nichole Boufford S&P 2021 CrossTalk: Speculative Data Leaks Across Cores Are Real
Feb 25 Midterm Break
Mar 4 Jinyuan Liang USENIX Security 2022 Back-Propagating System Dependency Impact for Attack Investigation
Mar 11 Datacenters/


Shaurya Patel ASPLOS 2022 TMO: Transparent Memory Offloading in Datacenters
Mar 18 Lab Reboot Event
Mar 25 Joel Nider NSDI 2020 Firecracker: Lightweight Virtualization for Serverless Applications
Apr 1 Sid Agrawal ASPLOS 2021 CubicleOS: a library OS with software componentisation for practical isolation
Apr 8 Operating Systems/


Jerry Wang arXiv 2020 The Cost of Software-Based Memory Management Without Virtual Memory
Apr 15 Holiday (Good Friday)
Apr 22 Sid Agrawal CHERI www Introduction to CHERI
Apr 29 End of Term Break

Fall 2021 (September - December 2021)

Date Theme Reading Group (10 AM)

Paper Lead(s)

Conference Paper Title Internal Slot (11 AM) Lead Topic
Sep 10 Orientation CSGSA and Departmental Event
Sep 17 Systopia Orientation 1
Sep 24 Systopia Orientation 2
Oct 1 Systopia Orientation 3
Oct 8 Networking & Security Amir Sabzi CCS 2021 Packet scheduling with optional client privacy
Oct 15 Chris Chen SIGCOMM 2021 Snowcap: Synthesizing Network-Wide Configuration Updates
Oct 22 Shiqi He USENIX Security 2021 Hermes Attack: Steal DNN Models with Lossless Inference Accuracy
Oct 29 Shaurya Patel Can far memory improve job throughput?
Nov 5 Distributed Systems Joseph Wonsil Internal Meeting Switcheroo Integrated Reproducibility using Self-describing Machine Learning Models
Nov 12 Midterm Break
Nov 19 Faqia Iqbal USENIX: SOUPS '2021 PowerCut and Obfuscator: An Exploration of the Design Space for Privacy-Preserving interventions of Smart Speakers
Nov 26 Qiaoyue Tang ICML 2018 IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures
Dec 3 Machine Learning Shadab Shaikh EuroS&P


Sponge Examples: Energy-Latency Attacks on Neural Networks
Dec 10 Haley Li SOSP 2021 Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks Michael Han Practice Job Talk!

Summer 2021 (May - August 2021)

Date Internal Slot (10AM) Lead Topic Theme Reading Group (11AM)

Paper Lead(s)

Paper Title Conference/Year
May 7, 2021 Jerry Wang M.Sc. thesis talk
May 14, 2021 CPS Security Maryam R.Aliabadi Looking from the Mirror: Evaluating IoT Device Security through Mobile Companion Apps USENIX 2019
May 21, 2021 Arpan, Sid Practical Principle of Least Privilege for Secure Embedded Systems CPS Security Joseph Wonsil M.Sc. Thesis Talk
May 28, 2021 Joel Nider The Last CPU (HotOS '21) CPS Security Zainab Wattoo DeepObfuscator: Obfuscating Intermediate Representations with Privacy-Preserving Adversarial Learning on Smartphones IoTDI'21
June 4, 2021 Sasha Fedorova Disaggregated Systems Meet Near-Data Processing (SYSTOR'21 keynote) Graph


Alex Trostanovsky Hybrid Edge Partitioner: Partitioning Large Power-Law Graphs under Memory Constraints SIGMOD 2021
June 11, 2021 Graph Processing Hadi Application Driven Graph Partitioning SIGMOD 2020
June 18, 2021 Timothy Roscoe (ETH Zurich) Invited talk: Enzian Interlude: Crazy New Hardware Joel Nider A Case Study of Processing-in-Memory in off-the-Shelf Systems (practice talk for USENIX ATC '21)
June 25, 2021 Milad PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs Graph Processing Puneet The Ubiquity of Large Graphs and Surprising Challenges of Graph Processing
July 2, 2021 OS Reto Achermann Invited Talk by Gerd Zellweger VMware

NrOS: Effective Replication and Sharing in an Operating System

July 9, 2021 OS Paul HB Observing the user experience of software upgrades


CHI 2017
July 16, 2021 OS OSDI and ATC ongoing
July 23, 2021 OS Sid Agrawal FlexOS: Making OS Isolation Flexible Presentation Video HotOS'21
July 30, 2021 Ali Tabatabaee M.Sc. Thesis Talk Blockchain Networks
August 6, 2021 Matheus Stolet M.Sc. Thesis Talk
August 13, 2021 CPS Security Maryam R.Aliabadi Cyber-Attack Detection for Electric Vehicles Using Physics-Guided Machine Learning IEEE Transactions on Transportation Electrification 2020
August 20, 2021
August 27, 2021 CPS Security Arpan Gujarati Indistinguishability Prevents Scheduler Side-Channels in

Real-Time Systems (preprint will be shared over Discord/email)

CCS 2021

Winter 2021 (January - April 2021)

Date Reading Group (10AM)

Paper Lead

Paper Title Conference/Year Theme Internal Slot (11AM)


Jan 8, 2021 Faculty Lab Orientation
Jan 15, 2021 Alex Trostanovsky Carnegie Mellon University is helping to shape the future of war. What do we really know about it? 2018 Research as a Political act Akshitha Sriraman Enabling Hyperscale Web Services
Jan 22, 2021
Jan 29, 2021 Joe Wonsil How I overcame impostor syndrome after leaving academia and Think like an impostor, and you'll go far in academia 2019 and 2016 Impostor Syndrome
Feb 5, 2021 Sid A Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads 2020 Systems and ML
Feb 12, 2021 Mohammad Dashti Kleio: A Hybrid Memory Page Scheduler with Machine Intelligence HPDC 2019 Systems and ML
Feb 19, 2021 Reading Week
Feb 26, 2021 Paul HB Whither Humane-Computer Interaction? Adult and Child Value Conflicts in the Biometric Fingerprinting for Food File:Whither Humane-Computer Interaction? Adult and Child Value Conflicts in the Biometric Fingerprinting for Food.pdf CHI 2020 Privacy / security Vijay Chidambaram(UT Austin) Title: Building Storage Systems for New Applications and New Hardware
Mar 5, 2021 Reto Achermann RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 OS / Security
Mar 12, 2021 Tony Mason Research Culture Discussion Grad Visit Day
Mar 19, 2021 Maryam R.Aliabadi Compositional Falsification of Cyber-Physical Systems with Machine Learning Components Springer Journal of Automated Reasoning 2019 OS / Security
Mar 26, 2021 Jerry Wang Refactoring the FreeBSD Kernel with Checked C IEEE SecDev 2020 OS / Security
Apr 2, 2021
Apr 9, 2021 Shiqi HE AntMan: Dynamic Scaling on GPU Clusters for Deep Learning OSDI 2020 Systems and ML
Apr 16, 2021 Matheus Stolet Toward a Generic Fault Tolerance Technique for Partial Network Partitioning OSDI 2020 Consistency
Apr 30, 2021 Anand Jayarajan LifeStream: a high-performance stream processing engine for periodic streams -- presented by the author!!! ASPLOS 2021 Data analytics

Fall 2020 (Sep - Dec 2020)

Date Reading Group (10AM)

Paper Lead

Paper Title Conference/Year Theme Internal Slot (11AM)


Sep 11, 2020 Faculty Lab Orientation
Sep 18, 2020 Ivan Project Overviews Overview
Sep 25, 2020 Sasha Project Overviews Overview
Oct 2, 2020 Margo Project Overviews Overview
Oct 9, 2020 Alex T. Expanding the Reach of Federated Learning by Reducing Client Resource Requirements 2018 Edge + IoT
Oct 16, 2020 Paul Bucci File:Privacy s Law of Design.pdf 2019 Edge + IoT Chris Chen MSc Presentation

COMET: Tractable Reactive Program Synthesis with Guarded Traces

Oct 23, 2020 Matt Multiprogramming a 64 kB Computer Safely and Efficiently SOSP 2017 Edge + IoT Nodir and Joel Introduction to Systopia Lab Equipment
Oct 30, 2020 Arpan Monitoring Cyber-Physical Systems: From Design to Integration RV 2020 CPS Jaho King Intro to the new web site!
Nov 6, 2020 Seminar is cancelled because of overlapping with OSDI conference OSDI 2020
Nov 13, 2020 Maryam Frankenstein: Advanced Wireless Fuzzing to Exploit New Bluetooth Escalation Targets USENIX 2020 Edge +


Nov 20, 2020 Matt Honeycrisp: Large-Scale Differentially PrivateAggregation Without a Trusted Core SOSP 2019 Privacy
Nov 27, 2020 Joe PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation White Paper Privacy Maryam PhD dissertation practice talk
Dec 4, 2020
Dec 11, 2020 Tony DelveFS - An event-driven semantic file system for object stores CLUSTER 2020 Emotions, privacy, trust Paul Dissertation proposal practice talk [1]
Dec 18, 2020

Summer 2020 (Jun - Aug 2020)

Date Theme Internal Slot Lead(s) Topic External Paper Lead Paper Title Conference/Year
Jun 5, 2020 New Faculty Nodir Harvesting Randomness to Optimize Distributed Systems HotNets 2017
Jun 12, 2020 New Faculty Matt FRAPpuccino: Fault-detection through Runtime Analysis of Provenance HotCloud 2017
Jun 19, 2020 New Faculty Vaas Pacer: Network Side-Channel Mitigation in the Cloud Under submission
Jun 26, 2020 New Faculty Joel Processing in Storage Class Memory HotStorage 2020
Jul 3, 2020 Puneet TBD TBD
Jul 10, 2020 Craig Mustard Practice Defense Tony TBD TBD
Jul 17, 2020 Writing Group Akshitha TBD TBD
Jul 24, 2020 Surbhi The Data Calculator: Data Structure Design and Cost Synthesis from First Principles and Learned Cost Models
Jul 31, 2020 Writing Group
Aug 7, 2020 Hayden Learning to Listen for Design
Aug 14, 2020 Writing Group
Aug 21, 2020 Vaas M.Sc. Thesis
Aug 28, 2020 Vacation Week!

Winter 2020 (Jan - May 2020)

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 Architecture Design by Jaki Presentation from our consultant on lab branding (she has mocked up some ideas and will be looking for feedback) Joel CleanupSpec: An "Undo" Approach to Safe Speculation MICRO '52
Feb 14, 2020 Architecture Matt SoftSKU: Optimizing Server Architectures for Microservice Diversity @Scale ISCA 2019
Feb 21, 2020 Architecture
Feb 28, 2020 Architecture Pauline Something on architecture
Mar 6, 2020 Architecture Maryam RIDL: Rogue In-Flight Data Load Security and Privacy (SP) 2019
Mar 13, 2020 Architecture Syed In-Datacenter Performance Analysis of a Tensor Processing Unit.

Google Hangouts Live link

ISCA 2017
Mar 20, 2020 Architecture Vaas Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism ASPLOS 2020
Mar 27, 2020 Architecture Niloo SCNN: An Accelerator for Compressed-sparse Convolutional Neural Networks ISCA 2017
Apr 3, 2020 Zixuan Yin MSc Essay Presentation: Blockchain and its applications
Apr 10, 2020
Apr 17, 2020 Databases Swati Harmonia: near-linear scalability for replicated storage with in-network conflict detection VLDB 2019
Apr 24, 2020
May 1, 2020 Databases Puneet LiveGraph: A Transactional Graph Storage System withPurely Sequential Adjacency List Scans

Slides can be found here

VLDB 2020
May 8, 2020 Architecture Jerry LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation OSDI 2018
May 15, 2020 Optimization Pauline Final presentation for my project: Generalized CORELS Hayden Certified Robustness to Adversarial Examples with Differential Privacy IEEE Security and Privacy 2019 (Oakland)
May 22, 2020 New Faculty Adalberto To Tune or Not to Tune? In Search of Optimal Configurations for Data Analytics KDD 2020 (to appear)
May 29, 2020 New Faculty Chris Qapla: Policy compliance for database-backed systems. USENIX Security 2017

Fall 2019 (Sep - Dec 2019)

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

Summer 2019 (Jun - Aug 2019)

Date Internal Slot Lead(s) Topic External Paper Lead Paper Title Conference/Year
Jun 28, 2019 TBD Mohsen Imani (UCSD)
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

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

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)


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

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 - Dec 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 (May- 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)

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)


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)


Proponent: TBA

Opponent: TBA

16 September, 2011 Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis (ICICS 104 this week) (PDF)


Proponent: Jake Wires

Opponent: Nathan Taylor

23 September, 2011 [/CloudVisor CloudVisor]: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization (PDF)


Proponent: Patrick Colp

Opponent: Nathan Taylor

30 September, 2011 TBA (PDF)


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)


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