NSS Seminar
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).
- 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 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.
Winter 1 2024 (Sep - Dec 2024)
We do not have x836 available for reading group on the following days: Sept 20, Oct 4, Oct 18, Nov 22, Dec 13.
They are underlined below.
| Date | Room | Theme | Reading Group (10 AM)
Paper Lead(s) |
Conference | Paper Title | Internal Slot (11 AM) Lead | Topic | Talk type | |
|---|---|---|---|---|---|---|---|---|---|
| Sept 6 | X836 | Operating Systems | Sid Agrawal | ATC 2024 | Limitations and Opportunities of Modern Hardware Isolation Mechanisms PDF | ||||
| Sep 13 | X836 | Systopia Orientation and QnA. | |||||||
| Sep 20 | ICCS 146 | Operating Systems | Shaurya Patel | OSDI 2024 | Automatically Reasoning About How Systems Code Uses the CPU Cache PDF | ||||
| Sep 27 | X836 | Program Synthesis | Sepehr Noorafshan | PLDI '14 | A lightweight symbolic virtual machine for solver-aided host languages | ||||
| Oct 4 | ICCS 146 | Tentative MSR Talk (Organized by: Mathias L) | |||||||
| Oct 11 | X836 | TBD | Rut Vora | TBD | TBD | Joe Wonsil | GIS | ||
| Oct 18 | ICCS 304 | Exams | Philip Schowitz | RPE Examination (ICCS 304) | Talk overflow | ||||
| Oct 25 | X836 | Security | Soo Yee Lim | CCS 2024 | TBC | ||||
| Nov 1 | X836 | Memory Management | Xuechun Cao | TBD | TBD | ||||
| Nov 8 | X836 | TBD | Yayu Wang | TBD | TBD | Praveen Gupta | TBD | TBD | |
| Nov 15 | X836 | Ilias | Baoxiang Jiang | PIS | PIS | ||||
| Nov 22 | ICCS 146 | Chris Chen | |||||||
| Nov 29 | ICCS 146 | Satvik | |||||||
| Dec 6 | X836 | Joe W | |||||||
| Dec 13 | ICCS 146 | Sepehr Noorafshan | |||||||
| Dec 20 | Exam Time | ||||||||
| Dec 27 | Happy Holidays | ||||||||
Winter 2 - 2024(Jan - April 2025)
| Date | Theme | Reading Group (10 AM)
Paper Lead(s) |
Conference | Paper Title | Internal Slot (11 AM) Lead | Topic | Talk type | |
|---|---|---|---|---|---|---|---|---|
| Jan 10 | Harshinee | |||||||
| Jan 17 | Kjell | |||||||
| Jan 24 | Jiayin | |||||||
| Jan 31 | Rubia | |||||||
| Feb 7 | Operating Systems | Tanya Prasad | TBD | TBD | ||||
| Feb 14 | Ryan | |||||||
| Feb 21 | TBD | Anastasiia Beheni | TBD | TBD | ||||
| Feb 28 | ||||||||
| Mar 7 | ||||||||
| Mar 14 | ||||||||
| Fri 21 | ||||||||
| Fri 28 | ||||||||
| Apr 4 | ||||||||
| Apr 11 | ||||||||
| Apr 18 | Good Friday - stat holiday | |||||||
| Apr 25 | Exam Time | |||||||
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 | |||||
| Aug 2 | Philip Schowitz | RTAS 2024 | Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification | |||||
| Aug 9 | Zainab Wattoo | IEEE Access (2024) | ChatGPT for Robotics: Design Principles and Model Abilities | Rut Vora / Amir Sabzi | USENIX-Security Practice Talk :- NetShaper: A Differentially Private Network Side-Channel Mitigation System | |||
| Aug 16 | Soo Yee Lim | PhD Proposal Defense | Talk overflow | ... | ||||
| Aug 23 | Interns/UG | Schedule for Lightning Talks | Talk overflow | ... | ||||
| Aug 30 | Interns/UG | Schedule for Lightning Talks | Talk overflow | |||||
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 | 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 | 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/
Virtualization |
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/
Architecture |
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
2021 |
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
Processing |
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 |
OSDI'21 | ||
| 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)
Lead(s) |
Topic |
|---|---|---|---|---|---|---|
| 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)
Lead(s) |
Topic |
|---|---|---|---|---|---|---|
| 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 +
IoT |
||
| 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. | 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 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 | 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 - 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)
Authors Proponent: Dutch Meyer Opponent: A Quartet of Menacing Demons |
| 13 May, 2011 | SPORC: Group Collaboration using Untrusted Cloud Resources (PDF)
Ariel J. Feldman, William P. Zeller, Michael J. Freedman, and Edward W. Felten (Princeton) Proponent: Brendan Cully Opponent: Chris Head |
| 20 May, 2011 | TIE: Principled Reverse Engineering of Types in Binary Programs (PDF)
JongHyup Lee, Thanassis Avgerinos, and David Brumley (CMU) Proponent: Patrick Colp Opponent: Brendan Cully |
| 27 May, 2011 | Practical Byzantine Fault Tolerance (PDF)
Miguel Castro and Barbara Liskov Proponent: Nathan Taylor Opponent: Patrick Colp |
| 03 June, 2011 | Bitcoin: A Peer-to-Peer Electronic Cash System (PDF)
Satoshi Nakamoto Proponent: Alexandru Totolici Opponent: Nathan Taylor |
| 09 September, 2011 | CryptDB: Protecting Conï¬dentiality with Encrypted Query Processing (PDF)
Authors Proponent: TBA Opponent: TBA |
| 16 September, 2011 | Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis (ICICS 104 this week) (PDF)
Authors Proponent: Jake Wires Opponent: Nathan Taylor |
| 23 September, 2011 | [/CloudVisor CloudVisor]: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization (PDF)
Authors Proponent: Patrick Colp Opponent: Nathan Taylor |
| 30 September, 2011 | TBA (PDF)
Authors Proponent: TBA Opponent: TBA |
| December 7, 2012 | IoT Mashups with the WoTKit (PDF)
Authors: Blackstock, Michael and Lea, Rodger. IoT'12 Presenter: Michael Blackstock |
| November 2, 2012 | Binary stirring: self-randomizing instruction addresses of legacy x86 binary code (PDF)
Authors: Wartell, Richard and Mohan, Vishwath and Hamlen, Kevin W. and Lin, Zhiqiang. CCS'12 Presenter: Patrick Colp |
| Sept 28, 2012 | 1. Scalable DBMS Architecture with Innesto (MSc Thesis)
Author/Presenter: Primal Wijesekera 2. Xen Slicing (Ideas Presentation) Presenter: Patrick Colp |
| August 2, 2012 | TBA (PDF)
Authors Proponent: Mihir Nanavati |
| July 26, 2012 | Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS (PDF)
Authors: Michael F. Nowlan, Nabin Tiwari, Janardhan Iyengar, Syed Obaid Amin, and Bryan Ford. NSDI '12 Presenter: Aiman Erbad Slides: (OpenOffice) (PDF) |
| July 19, 2012 | Thialfi: A Client Notification Service for Internet-Scale Applications (PDF)
Authors: Atul Adya, Gregory H. Cooper, Daniel Myers, Michael Piatek. SOSP'11 Presenter: Jean-Sebastien Legare |
| July 12, 2012 | Aiman Defence practice talk |
| July 5, 2012 | PTask: Operating System Abstractions To Manage GPUs as Compute Devices (PDF)
Authors: Christopher J. Rossbach, Jon Currey (MSR), Mark Silberstein (Technion), Baishakhi Ray, Emmett Witchel (UT Austin). SOSP'11 Presenter: Mihir Nanavati |
| January 17th, 2013 | Embassies: Radically Refactoring the Web [www.usenix.org/system/files/conference/nsdi13/nsdi13-final85.pdf PDF]
Presenter: Shriram |
| January 18, 2013 | Granola: Low-Overhead Distributed Transaction Coordination (PDF, Slides)
Authors: James Cowling, Barbara Liskov (MIT CSAIL). USENIX ATC'12 Presenter: Mahdi Tayarani Najaran |
| January 24th, 2013 | Chucky: exposing missing checks in source code for vulnerability discovery PDF
Presented: Patrick |
| January 25, 2013 | Dune: Safe User-level Access to Privileged CPU Features (PDF, Slides)
Authors: Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazi�res, Christos Kozyrakis (Stanford University). USENIX OSDI'12 Presenter: Mihir Nanavati |
| January 31st, 2013 | The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors PDF
Presenter: Nodir |
| February 7th, 2013 | SplitX: High-Performance Private Analytics PDF
Presenter: Jean-S�bastien (JS) |
| February 14th, 2013 | Distributed Skip List in Fine-Grain Message Passing Interface
Presenter: Sarwar Strata: Scalable High-Performance Storage on Virtualized Non-volatile Memory Presenter: Brendan |
| February 21st, 2013 | UBC midterm break -- no seminar |
| February 28th, 2013 | Omega: flexible, scalable schedulers for large compute clusters PDF
Presenter: RJ |
| March 7th, 2013 | Network Virtualization in Multi-tenant Datacenters PDF
Presenter: Nodir |
| March 14th, 2013 | D�ppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud PDF
Presenter: Marjan |
| March 21st, 2013 | [/ViewBox ViewBox]: Integrating Local File Systems with Cloud Storage Services PDF
Presenter: Jonatan |
| March 28th, 2013 | VPN Gate: A Volunteer-Organized Public VPN Relay System with Blocking Resistance for Bypassing Government Censorship Firewalls PDF
Presenter: David |
| April 4th, 2013 | NSDI'14 conference week -- no seminar |
| April 11th, 2013 | NSDI'14 review Technical sessions
Presenters: David, Nodir and Ivan |
| June 14, 2013 | CORFU: A Shared Log Design for Flash Clusters (PDF, Slides)
Authors: Mahesh Balakrishnan, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber, Michael Wei, John D. Davis (MSR and UCSD). USENIX NSDI'12 Presenter: Christopher Head |
| October 3rd, 2013 | SOSP smorgasbord (everyone reads abstract/intro/conclusion of a paper from SOSP 2013). |
| October 9th, 2013 | VirtuOS: An Operating System with Kernel Virtualization PDF
Presenter: Mihir |
| October 16th, 2013 | IOFlow: A Software-Defined Storage Architecture PDF
Presenter: Nodir |
| October 23rd, 2013 | Replication, History, and Grafting in the Ori File System PDF
Presenter: Jonatan |
| October 30th, 2013 | Verifying Computations with State PDF
Presenter: David |
| November 6th, 2013 | [/PrivExec PrivExec]: Private Execution as an Operating System Service PDF
Presenter: Marjan |
| November 13th, 2013 | Tango: Distributed Data Structures over a Shared Log PDF
Presenter: Mahdi |
| November 20th, 2013 | Naiad: A Timely Dataflow System PDF
Presenter: RJ |
| November 27th, 2013 | Timecard: Controlling User-Perceived Delays in Server-Based Mobile Applications PDF
Presenter: Yanyan |
| May 2nd, 2014 | FaRM: Fast Remote Memory [www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-dragojevic.pdf PDF]
Presenter: Mihir |
| May 9th, 2014 | Fast Dynamic Binary Translation for the Kernel PDF
Presenter: Patrick |
| May 16th, 2014 | ClickOS and the Art of Network Function Virtualization PDF
Presenter: Nodir |
| May 23rd, 2014 | Efficient Batched Synchronization in Dropbox-like Cloud Storage Services PDF
Presenter: Jonatan |
| May 30th, 2014 | Stitching the Gadgets: On the Ineffectiveness of Coarse-Grained Control-Flow Integrity Protection [www.trust.informatik.tu-darmstadt.de/fileadmin/user_upload/Group_TRUST/PubsPDF/techreport-stitching-gadgets.pdf PDF]
Presenter: David |
| June 6th, 2014 | Permacoin: Repurposing Bitcoin Work for Data Preservation [cs.umd.edu/%7Eamiller/permacoin.pdf PDF]
Presenter: Marjan |
| June 13rd, 2014 | Data center TCP project
Presenter: Mihir |
| June 20th, 2014 | David's masters thesis - Binary Shuffling: Defeating Memory Disclosure Attacks through Re-Randomization
Presenter: David |
| June 27th, 2014 | Building Web Applications on Top of Encrypted Data Using Mylar [www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-popa.pdf PDF]
Presenter: RJ Sumi |
| July 11th, 2014 | MICA: A Holistic Approach to Fast In-Memory Key-Value Storage [www.usenix.org/conference/nsdi14/technical-sessions/presentation/lim PDF]
Presenter: Mihir |
| July 25th, 2014 | Callisto: Co-Scheduling Parallel Runtime Systems [timharris.co.uk/papers/2014-eurosys.pdf PDF]
Presenter: Nathan |
| August 1st, 2014 | Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations [www.usenix.org/conference/usenixsecurity13/technical-sessions/papers/haller PDF]
Presenter: Kent |
| August 8th, 2014 | pFabric: Minimal Near-Optimal Datacenter Transport [conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p435.pdf PDF]
Presenter: Nodir |
| August 15th, 2014 | The Snipper Attack: anonymously Deanonymizing and Disabling the Tor Network [www.internetsociety.org/sites/default/files/05_4_0.pdf PDF]
Presenter: Marjan |
| September 5th, 2014 | FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack PDF
Presenter: Kent |
| September 12th, 2014 | Static Detection of Second-Order Vulnerabilities in Web Applications PDF
Presenter: JS L�gar� |
| September 19th, 2014 | Making middleboxes someone else's problem: network processing as a Cloud service PDF
Presenter: Peter |
| September 26th, 2014 | Decoupling Cores, Kernels, and Operating Systems PDF
Presenter: Mihir |
| October 3rd, 2014 | Characterizing Storage Workloads with Counter Stacks PDF
Presenter: Jake |
| October 10th, 2014 | Protecting Users by Confining [/JavaScript JavaScript] with COWL PDF
Presenter: RJ Sumi |
| October 17th, 2014 | User-Guided Device Driver Synthesis PDF
Presenter: Nodir |
| October 24th, 2014 | Arrakis: The Operating System is the Control Plane PDF
Presenter: Patrick |
| October 31st, 2014 | IX: A Protected Dataplane Operating System for High Throughput and Low Latency PDF
Presenter: Peter |
| November 7st, 2014 | Visitor talk about Tetrisched: Space-Time Scheduling for Heterogeneous Datacenters PDF
Presenter: Alexey Tumanov |
| November 14th, 2014 | Shielding applications from an untrusted cloud with Heaven PDF
Presenter: Marjan |
| November 21st, 2014 | Shadapp project and status
Presenter: JS |
| December 5th, 2014 | Automatically Detecting Vulnerable Websites Before They Turn Malicious PDF
Presenter: Arthur |
| January 9th, 2015 | CONGA: Distributed Congestion-Aware Load Balancing for Datacenters PDF
Presenter: Nodir |
| February 13rd, 2015 | Experimental Security Analysis of a Modern Automobile [www.autosec.org/pubs/cars-oakland2010.pdf PDF]
Presenter: Nodir |
| February 13rd, 2015
(2nd paper) |
Comprehensive Experimental Analyses of Automotive Attack Surfaces [www.autosec.org/pubs/cars-usenixsec2011.pdf PDF]
Presenter: Wali |
| February 27th, 2015 | TBD
Presenter: TBD |
| March 6th, 2015 | TBD
Presenter: TBD |