== 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.

'''<big>As of March 25, 2022, we will resume in-person meetings in ICICS x836.</big>'''

=== 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: [https://dblp.uni-trier.de/db/conf/osdi OSDI], [https://dblp.uni-trier.de/db/conf/sosp SOSP], [https://dblp.uni-trier.de/db/conf/nsdi/ NSDI], [https://dblp.uni-trier.de/db/conf/usenix ATC], [https://dblp.uni-trier.de/db/conf/eurosys/ EuroSys]
* Security: [https://dblp.uni-trier.de/db/conf/uss/ USENIX Security], [https://dblp.uni-trier.de/db/conf/ccs/ CCS], [https://dblp.uni-trier.de/db/conf/sp/ Oakland], [https://dblp.uni-trier.de/db/conf/ndss/ NDSS]
* Networking: [https://dblp.uni-trier.de/db/conf/sigcomm/ SIGCOMM], [https://dblp.uni-trier.de/db/conf/infocom/ INFOCOM], [https://dblp.uni-trier.de/db/conf/imc/ IMC]
* Architecture: [https://dblp.uni-trier.de/db/conf/asplos/ ASPLOS], [https://dblp.uni-trier.de/db/conf/isca/ ISCA], [https://dblp.uni-trier.de/db/conf/micro/ MICRO]
* Distributed Systems: [https://dblp.uni-trier.de/db/conf/podc/ PODC], [https://dblp.uni-trier.de/db/conf/icdcs/ ICDCS]
* Storage: [https://dblp.uni-trier.de/db/conf/fast/ 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 [Mailto:systems-l@cs.ubc.ca 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 [https://discord.com/channels/486306907913584641/708696534950346873 reading-group] channel
If you need some inspiration, check out [[Documentation:TalkTypes|internal talk types]].

=== Winter 2024 (Jan - Apr 2024) ===
{| class="wikitable sortable mw-collapsible"
!Date
!Theme
!Reading Group (10 AM)

Paper Lead(s)
!Conference
!Paper Title
!Internal Slot (11 AM) Lead
!Topic
!
|-
|Jan 12
|FAAS
|Sid Agrawal
|SoCC 2023
|Function as a Function [https://dl.acm.org/doi/pdf/10.1145/3620678.3624648 pdf]
|Milad Rezaei
|M.Sc. Presentation
|
|-
|Jan 19
|Security and Ethics
|Amir Sabzi
|USENIX Security 2023
|Ethical Frameworks and Computer Security Trolley Problems: Foundations for Conversations [https://securityethics.cs.washington.edu/ComputerSecurityTrolleyProblems.pdf pdf]
|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|thumb|Washington Post Article]]
|
|-
|Jan 26
|
|Milad Rezaei
|
|
|
|
|
|-
|Feb 2
|
|Ilias Karimalis
|
|
|Xuechun Cao
|Research in Progress: FetchBPF
|
|-
|Feb 9
|
|
|
|
|Sid Agrawal
|Research in Progress: OSmosis
|
|-
|Feb 16
|Serverless
|Maryam
|
|
|Maryam
|
|
|-
|Feb 23
|
|
|
|
|Phillip
|
|
|-
|Mar 1
|
|Zainab
|
|
|Vincent
|
|
|-
|Mar 8
|
|
|
|
|
|
|
|-
|Mar 15
|
|
|
|
|
|
|
|-
|Mar 22
|
|
|
|
|
|
|
|-
|Mar 29
|
|
|
|
|
|
|
|-
|Apr 5
|
|
|
|
|
|
|
|-
|Apr 12
|
|
|
|
|
|
|
|-
|Apr 19
|
|
|
|
|
|
|
|-
|Apr 26
|
|Tanya Prasad
|TBD
|TBD
|
|
|
|}

=== Fall 2023 (Sept - Dec 2023) ===
{| class="wikitable sortable mw-collapsible"
!Date
!Theme
!Reading Group (10 AM)

Paper Lead(s)
!Conference
!Paper Title
!Internal Slot (11 AM) Lead
!Topic
!
|-
|Sep 8
|
|Sid Agrawal
|HotOS 2023
|[https://sigops.org/s/conferences/hotos/2023/papers/castes.pdf Creating Trust by Abolishing Hierarchies] [[https://hyp.is/go?url=https%3A%2F%2Fsigops.org%2Fs%2Fconferences%2Fhotos%2F2023%2Fpapers%2Fcastes.pdf&group=__world__ hypothesis]] [[https://ubcca-my.sharepoint.com/:p:/g/personal/siagraw_student_ubc_ca/EWWldmqfbCJIiK4xHtgPJTgBZHDF9Ews3EZ0zVJ92T_-eQ?e=AgESws 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
|
|[https://www.linkedin.com/in/ying-xiong-59a2482/ 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|thumb|PDF]]

[https://github.com/abbaswu/Giving-Talks-on-Research-Whats-and-Hows/ Source]
|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
|[https://dl.acm.org/doi/10.1145/3600006.3613157 Mira: A Program-Behavior-Guided Far Memory System]
|Joe Wonsil / Nichole Boufford
|Summer Internship stuff
|
|-
|Nov 17
|
|Wellison Santos
|OSDI 20
|[https://haoran-qiu.com/pdf/firm.pdf FIRM: An Intelligent Fine-Grained Resource Management Frameworkfor SLO-Oriented Microservices]
|Finn Hackett
|Research in Progress
|
|-
|Nov 24
|
|Chris Chen
|SOSP 23
|[https://dl.acm.org/doi/10.1145/3600006.3613140 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) ===
{| class="wikitable sortable mw-collapsible"
!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
|
| colspan="5" |'''Undergrad Interns Presentation'''
|
|-
|May 19
|
|
|
|
|
|
|
|-
|May 26
|
|Jerry Wang
|ASPLOS 2012
|[https://dl.acm.org/doi/abs/10.1145/2189750.2150987 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)'''
|[https://ieeexplore.ieee.org/document/10070986 HoPP: Hardware-Software Co-Designed Page Prefetching for Disaggregated Memory] (HPCA 2023)
|
|-
|Jun 9
|
|Sid Agrawal
|Raid 2021
|[https://cs.brown.edu/people/vpk/papers/uscope.raid21.pdf uSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts]
|
|
|
|-
|Jun 16
|
|
|
|
|Reto Achermann
|HotOS dryrun (Velosiraptor)
|
|-
|Jun 23
|
|
|
|
|Niloo Gharavi
|[https://dl.acm.org/doi/abs/10.1145/3533737.3535093 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
|[https://www.doc.ic.ac.uk/~fkelbert/papers/profes17.pdf How Accountability is Implemented and Understood in Research Tools]
|Soo Yee Lim
|eBPF Workshop dry run
|
|-
|Jul 28
|
|Sadaf Sadeghian
|NeurIPS 2022
|[https://proceedings.neurips.cc/paper_files/paper/2022/file/7dadc855cef7494d5d956a8d28add871-Paper-Conference.pdf Neural Temporal Walks: Motif-Aware Representation Learning on Continuous-Time Dynamic Graphs]
|Shayan Hosseini
|MSc Thesis Talk
|
|-
|Aug 4
|
|Tony Mason
|USENIX OSDI '23
|[https://www.usenix.org/system/files/osdi23-min.pdf 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
|[https://arxiv.org/abs/2203.09615 Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory]
|
|
|
|-
|Aug 25
|
|Alex Trostanovsky
|
|M.Sc. Thesis Talk
|
|
|
|}

=== Winter 2023 (January - April 2023) ===
{| class="wikitable sortable mw-collapsible"
!Date
!Theme
!Reading Group (10 AM)

Paper Lead(s)
!Conference
!Paper Title
!Internal Slot (11 AM) Lead
!Topic
|-
|Jan 13
| rowspan="4" |TBD
|Joseph Wonsil
|VLDB Journal
|[https://ssc.io/pdf/mlinspect-journal.pdf Data distribution debugging in machine learning pipelines]
|Margo
|SOSP Discussion
|-
|Jan 20
|Praveen Gupta
|CIDR 21
|[https://cs.stanford.edu/~matei/papers/2021/cidr_lakehouse.pdf Lakehouse]
|Faqia Iqbal
|M.Sc. Thesis Talk
|-
|Jan 27
|Shayan Hosseini
|OSDI '22
|[https://www.usenix.org/conference/osdi22/presentation/huang-lexiang Metastable Failures in the Wild]
|
|
|-
|Feb 3
|Rut Vora
|S&P '21
|[https://ieeexplore.ieee.org/document/9519482 Invisible Probe: Timing Attacks with PCIe Congestion Side-channel]
|Amir Sabzi
|Research in progress
|-
|Feb 10
| rowspan="4" |TBD
|
|
|
|
|
|-
|Feb 17
|Yayu Wang
|CCS 21
|[https://download.vusec.net/papers/constantine_ccs21.pdf Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization]
|'''Andy Warfield 2:00 PM'''
|FAST Keynote
|-
|Feb 24
| colspan="5" | '''Midterm Break'''
|-
|March 3
|Alex Trostanovsky
|ASPLOS '23
|[https://dl.acm.org/doi/10.1145/3567955.3567963 Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing]
|
|
|-
|March 10
| rowspan="4" |TBD
|Joseph Wonsil
|CIDR '23
|[https://www.cidrdb.org/cidr2023/papers/p43-low.pdf Git is for Data]
|
|
|-
|March 17
|Finn Hackett
|SREcon Americas '23
|[https://www.usenix.org/conference/srecon23americas/presentation/hackett Turning an Incident Report into a Design Issue with TLA+]
|Haley Li
|Research in progress
|-
|March 24
| colspan="5" |'''SALmon Workshop: All day, so no reading group.'''
|-
|March 31
|Dikla Tzafrir
|ASPLOS '23
|[https://dl.acm.org/doi/pdf/10.1145/3582016.3582040 Vidi: Record Replay for Reconfigurable Hardware]
|
|
|-
|April 7
| rowspan="2" |TBD
| colspan="5" |'''Good Friday Holiday'''
|-
|April 14
|Qiaoyue Tang
|
|RPE practice talk
|Mayank Tiwary
|MSc Essay
|}

=== Fall 2022 (September - December 2022) ===
{| class="wikitable sortable mw-collapsible"
!Date
!Theme
!Reading Group (10 AM)

Paper Lead(s)
!Conference
!Paper Title
!Internal Slot (11 AM) Lead
!Topic
|-
|Sep 9
| rowspan="4" |TBD
|
|
|
|
|
|-
|Sep 16
|Joe Wonsil
|ACM Transactions on Management Information Systems
|[https://kups.ub.uni-koeln.de/53868/1/TMIS_manuscript_DataProvenance.pdf Establishing Data Provenance for Responsible Artificial]

[https://kups.ub.uni-koeln.de/53868/1/TMIS_manuscript_DataProvenance.pdf 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 [[https://www.usenix.org/system/files/osdi22-zhang.pdf link]]
|-
|Sep 30
| colspan="5" |National Day for Truth and Reconciliation
|-
|Oct 7
| rowspan="4" |TBD
|Hadi
|VLDB '22
|[https://dl.acm.org/doi/abs/10.14778/3514061.3514065 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
| rowspan="4" |TBD
|Joel Nider
|ASPLOS '20
|[https://dl.acm.org/doi/10.1145/3373376.3378507 High-density Multi-tenant Bare-metal Cloud]
|Soo
|Research in progress: Sandbox for eBPF
|-
|Nov 11
| colspan="5" |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
| rowspan="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
|[https://www.microsoft.com/en-us/research/uploads/prod/2022/10/Pond-ASPLOS23.pdf Pond: CXL-Based Memory Pooling Systems for Cloud Platforms]
|Shiqi
|M.Sc. thesis talk
|}
=== Summer 2022 (May - August 2022) ===
{| class="wikitable sortable mw-collapsible"
!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
|[https://arxiv.org/abs/2005.12045 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: [https://arxiv.org/ftp/arxiv/papers/2205/2205.00470.pdf Reward Systems for Trustworthy Medical Federated Learning]
|
|
|-
| May 20
| rowspan="2" |Data Management
|Milad
|VLDB 2021
|[https://research.google/pubs/pub50617/ Napa: Powering Scalable Data Warehousing with Robust Query Performance at Google]
|
|
|-
| May 27
| Puneet
| SIGMOD 2022
| [https://cs.uwaterloo.ca/~mtabebe/publications/abebeProteus2022SIGMOD.pdf Proteus: Autonomous Adaptive Storage for Mixed Workloads]
|
|-
| Jun 3
| rowspan="4" |
|Shiqi
|EuroSys 2022
|[https://dl.acm.org/doi/abs/10.1145/3492321.3519563 Out-of-order backprop: an effective scheduling technique for deep learning]
|Jackson Dagger
|[[:File:Bulk JPEG Decoding on In Memory Processors-cr5.pdf|Bulk JPEG Decoding on In-Memory Processors (SYSTOR 2022)]]
|-
| Jun 10
|Mayank
|EurosSys 2022
|[https://arxiv.org/pdf/2201.08413.pdf Unicorn: Reasoning about Configurable System Performance through the Lens of Causality]
|
|
|-
| Jun 17
| Arpan
|S&P 2022
|[https://cybersecurity.seas.wustl.edu/paper/sp22-rt-tee.pdf RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone]
|
|
|-
| Jun 24
|
|
|
|
|
|-
| July 1
| colspan="6" | '''Canada Day!'''
|-
| July 8
| rowspan="3" |
|Shaurya
|USENIX ATC'22
|[https://marksilberstein.com/wp-content/uploads/2022/05/ZNSwap-final.pdf ZNSwap: un-Block your Swap]
|
|
|-
| July 15
|Sadaf
|NSDI'21
|[https://www.usenix.org/system/files/nsdi21-fu.pdf 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
| rowspan="4" |
|Shadab
|MLSys 2020
|[https://proceedings.mlsys.org/paper/2020/file/006f52e9102a8d3be2fe5614f42ba989-Paper.pdf Resource Elasticity in Distributed Deep Learning]
|
|
|-
| Aug 5
| colspan="5" |
|-
| Aug 12
|
|
|
|
|
|-
| Aug 19
|
|
|
|
|
|}

=== Winter 2022 (January - April 2022) ===
{| class="wikitable sortable mw-collapsible"
!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
|[https://www.usenix.org/system/files/nsdi21-wang.pdf Ownership: A Distributed Futures System for Fine-Grained Tasks]
|
|
|-
| Jan 28
| Operating Systems
|Shaurya Patel
|ASPLOS 2020
|[https://dl.acm.org/doi/pdf/10.1145/3373376.3378498 Classifying Memory Access Patterns for Prefetching]
|
|
|-
| Feb 4
| ML & Systems
| Joseph Wonsil
| MLSys 2022
|[https://arxiv.org/pdf/2106.11872.pdf Randomness in Neural Network Training: Characterizing the Impact of Tooling]
|
|-
| Feb 11
| rowspan="4" | System Security
|Soo Yee Lim
|CCS 2021
|[https://dl.acm.org/doi/abs/10.1145/3460120.3484744 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 [https://ieeexplore.ieee.org/document/9519489 CrossTalk: Speculative Data Leaks Across Cores Are Real]
|-
| Feb 25
| colspan="5" |'''Midterm Break'''
|-
| Mar 4
|Jinyuan Liang
|USENIX Security 2022
|[https://www.usenix.org/system/files/sec22summer_fang.pdf Back-Propagating System Dependency Impact for Attack Investigation]
|
|
|-
| Mar 11
| rowspan="4" | Datacenters/
Virtualization
|Shaurya Patel
|ASPLOS 2022
|[https://www.cs.cmu.edu/~dskarlat/publications/tmo_asplos22.pdf TMO: Transparent Memory Offloading in Datacenters]
|
|
|-
| Mar 18
| colspan="5" |'''Lab Reboot Event'''
|-
| Mar 25
|Joel Nider
|NSDI 2020
|[https://www.usenix.org/system/files/nsdi20-paper-agache.pdf Firecracker: Lightweight Virtualization for Serverless Applications]
|
|
|-
| Apr 1
|Sid Agrawal
|ASPLOS 2021
|[https://dl.acm.org/doi/abs/10.1145/3445814.3446731 CubicleOS: a library OS with software componentisation for practical isolation]
|
|
|-
| Apr 8
| rowspan="4" | Operating Systems/
Architecture
|Jerry Wang
|arXiv 2020
|[https://arxiv.org/pdf/2009.06789.pdf The Cost of Software-Based Memory Management Without Virtual Memory]
|
|
|-
| Apr 15
| colspan="5" |Holiday (Good Friday)
|-
| Apr 22
|Sid Agrawal
|CHERI [https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ www]
|Introduction to [https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf CHERI]
|
|
|-
| Apr 29
| colspan="5" |'''End of Term Break'''
|}

=== Fall 2021 (September - December 2021) ===
{| class="wikitable sortable mw-collapsible"
!Date
!Theme
!Reading Group (10 AM)

Paper Lead(s)
!Conference
!Paper Title
!Internal Slot (11 AM) Lead
!Topic
|-
|Sep 10
| rowspan="4" |Orientation
| colspan="5" |CSGSA and Departmental Event
|-
|Sep 17
| colspan="5" |Systopia Orientation 1
|-
|Sep 24
| colspan="5" |Systopia Orientation 2
|-
|Oct 1
| colspan="5" |Systopia Orientation 3
|-
|Oct 8
| rowspan="4" |Networking & Security
|Amir Sabzi
|CCS 2021
|[https://www.cis.upenn.edu/~sga001/papers/ifs-ccs21.pdf Packet scheduling with optional client privacy]
|
|
|-
|Oct 15
|Chris Chen
|SIGCOMM 2021
|[https://nsg.ee.ethz.ch/fileadmin/user_upload/publications/snowcap_sigcomm_final.pdf Snowcap: Synthesizing Network-Wide Configuration Updates]
|
|
|-
|Oct 22
|Shiqi He
|USENIX Security 2021
|[https://www.usenix.org/system/files/sec21-zhu.pdf Hermes Attack: Steal DNN Models with Lossless Inference Accuracy]
|
|
|-
|Oct 29
|Shaurya Patel
|
|[https://dl.acm.org/doi/pdf/10.1145/3342195.3387522 Can far memory improve job throughput?]
|
|
|-
|Nov 5
| rowspan="4" |Distributed Systems
|Joseph Wonsil
|Internal Meeting Switcheroo
|Integrated Reproducibility using Self-describing Machine Learning Models
|
|
|-
|Nov 12
| colspan="5" |'''Midterm Break'''
|-
|Nov 19
|Faqia Iqbal
|USENIX: SOUPS '2021
|[https://www.usenix.org/system/files/soups2021-chandrasekaran.pdf PowerCut and Obfuscator: An Exploration of the Design Space for Privacy-Preserving interventions of Smart Speakers]
|
|
|-
|Nov 26
|Qiaoyue Tang
|ICML 2018
|[https://arxiv.org/abs/1802.01561 IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures]
|
|
|-
|Dec 3
| rowspan="2" |Machine Learning
|Shadab Shaikh
|EuroS&P

2021
|[https://arxiv.org/pdf/2006.03463.pdf Sponge Examples: Energy-Latency Attacks on Neural Networks]
|
|
|-
|Dec 10
|Haley Li
|SOSP 2021
|[https://dl.acm.org/doi/pdf/10.1145/3477132.3483590 Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks]
|Michael Han
|Practice Job Talk!
|}
=== Summer 2021 (May - August 2021) ===
{| class="wikitable sortable mw-collapsible"
!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
|[https://www.usenix.org/system/files/sec19-wang-xueqiang_0.pdf Looking from the Mirror: Evaluating IoT Device Security through Mobile Companion Apps]
|USENIX 2019
|-
|May 21, 2021
|Arpan, Sid
|[http://sjero.net/pubs/2021_RTAS_Patina.pdf 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
|[https://arxiv.org/pdf/1909.04126.pdf 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
|[https://arxiv.org/pdf/2103.12594.pdf Hybrid Edge Partitioner: Partitioning Large Power-Law Graphs under Memory Constraints]
|SIGMOD 2021
|-
|June 11, 2021
|
|
|Graph Processing
|Hadi
|[https://dl.acm.org/doi/abs/10.1145/3318464.3389745 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
|[https://dl.acm.org/doi/abs/10.1145/3298989?casa_token=ISriKHpvMicAAAAA:E4FEQsKVPpnMZPbTcp8X4KMZ8xL7qkuKtcXs3CxgrEC2jg8moG519ESWBWuZ18ghfX2LERIACXyG PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs]
|Graph Processing
|Puneet
|[http://www.vldb.org/pvldb/vol11/p420-sahu.pdf 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

http://www.francescovitale.com/managing-software-upgrades/
|CHI 2017
|-
|July 16, 2021
|
|
|OS
|
|OSDI and ATC ongoing
|
|-
|July 23, 2021
|
|
|OS
|Sid Agrawal
|[https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s05-lefeuvre.pdf FlexOS: Making OS Isolation Flexible] [https://www.youtube.com/watch?v=0abQORrJLS4&list=PLl-7Fg11LUZe_6cCrz6sVvTbE_8SEobNB 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
|[https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9293332 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) ===
{| class="wikitable sortable mw-collapsible"
!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
|[https://www.publicsource.org/carnegie-mellon-university-is-helping-to-shape-the-future-of-war-what-do-we-really-know-about-it/ 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
|[https://www.nature.com/articles/d41586-019-03036-y How I overcame impostor syndrome after leaving academia] and [https://www.timeshighereducation.com/blog/think-impostor-and-youll-go-far-academia Think like an impostor, and you'll go far in academia]
|2019 and 2016
|Impostor Syndrome
|
|
|-
|Feb 5, 2021
|Sid A
|[https://www.usenix.org/conference/osdi20/presentation/narayanan-deepak Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads]
|2020
|Systems and ML
|
|
|-
|Feb 12, 2021
|Mohammad Dashti
|[https://www.blagodurov.net/files/hpdc002-doudaliA.pdf Kleio: A Hybrid Memory Page Scheduler with Machine Intelligence]
|HPDC 2019
|Systems and ML
|
|
|-
|Feb 19, 2021
|
|Reading Week
|
|
|
|
|-
|Feb 26, 2021
|Paul HB
|[https://dl.acm.org/doi/10.1145/3313831.3376564 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|thumb|Whither Humane-Computer Interaction? Adult and ChildValue Conflicts in the Biometric Fingerprinting for Food]]
|CHI 2020
|Privacy / security
|Vijay Chidambaram(UT Austin)
|Title: Building Storage Systems for New Applications and New Hardware
|-
|Mar 5, 2021
|Reto Achermann
|[https://www.usenix.org/conference/osdi20/presentation/narayanan-vikram 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
|[https://link.springer.com/article/10.1007/s10817-018-09509-5 Compositional Falsification of Cyber-Physical Systems with Machine Learning Components]
|Springer ''Journal of Automated Reasoning'' 2019
|OS / Security
|
|
|-
|Mar 26, 2021
|Jerry Wang
|[https://cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf Refactoring the FreeBSD Kernel with Checked C]
|IEEE SecDev 2020
|OS / Security
|
|
|-
|Apr 2, 2021
|
|
|
|
|
|
|-
|Apr 9, 2021
|Shiqi HE
|[https://www.usenix.org/conference/osdi20/presentation/xiao AntMan: Dynamic Scaling on GPU Clusters for Deep Learning]
|OSDI 2020
|Systems and ML
|
|
|-
|Apr 16, 2021
|Matheus Stolet
|[https://www.usenix.org/system/files/osdi20-alfatafta.pdf Toward a Generic Fault Tolerance Technique for Partial Network Partitioning]
|OSDI 2020
|Consistency
|
|
|-
|Apr 30, 2021
|Anand Jayarajan
|[https://dl.acm.org/doi/abs/10.1145/3445814.3446725 LifeStream: a high-performance stream processing engine for periodic streams] -- '''presented by the author!!!'''
|ASPLOS 2021
|Data analytics
|
|
|-
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|-
|}

=== Fall 2020 (Sep - Dec 2020) ===
{| class="wikitable sortable mw-collapsible"
!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.
|[https://arxiv.org/pdf/1812.07210.pdf 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|thumb|Ari Waldman writing on enshrining design into law for privacy]]
|2019
|Edge + IoT
|Chris Chen
|MSc Presentation
COMET: Tractable Reactive Program Synthesis with Guarded Traces
|-
|Oct 23, 2020
|Matt
|[http://www.amitlevy.com/papers/tock-sosp2017.pdf Multiprogramming a 64 kB Computer Safely and Efficiently]
|SOSP 2017
|Edge + IoT
|Nodir and Joel
|Introduction to Systopia Lab Equipment
|-
|Oct 30, 2020
|Arpan
|[https://www.react.uni-saarland.de/publications/Schwenger20.pdf 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
|[https://www.usenix.org/system/files/sec20-ruge.pdf Frankenstein: Advanced Wireless Fuzzing to Exploit New Bluetooth Escalation Targets]
|USENIX 2020
|Edge +
IoT
|
|
|-
|Nov 20, 2020
|Matt
|[https://www.cis.upenn.edu/~ahae/papers/honeycrisp-sosp2019.pdf Honeycrisp: Large-Scale Differentially PrivateAggregation Without a Trusted Core]
|SOSP 2019
|Privacy
|
|
|-
|Nov 27, 2020
|Joe
|[https://arxiv.org/pdf/2011.08069.pdf PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation]
|White Paper
|Privacy
|Maryam
|PhD dissertation practice talk
|-
|Dec 4, 2020
|
|
|
|
|
|
|-
|Dec 11, 2020
|Tony
|[https://fsgeek.ca/wp-content/uploads/2020/12/2020-DelveFS-An-event-driven-semantic-file-system-for-object-stores.pdf DelveFS - An event-driven semantic file system for object stores]
|CLUSTER 2020
|Emotions, privacy, trust
|Paul
|Dissertation proposal practice talk [https://drive.google.com/file/d/1mBmA9ytvyLNaChS-gHjciZmb-A8PdUZq/view?usp=drivesdk]
|-
|Dec 18, 2020
|
|
|
|
|
|
|}

=== Summer 2020 (Jun - Aug 2020) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
! Date
! Theme
! Internal Slot Lead(s)
! Topic
! External Paper Lead
! Paper Title
! Conference/Year
|-
|Jun 5, 2020
|New Faculty
|
|
|Nodir
|[https://conferences.sigcomm.org/hotnets/2017/papers/hotnets17-final8.pdf Harvesting Randomness to Optimize Distributed Systems]
| HotNets 2017
|-
|Jun 12, 2020
| New Faculty
|
|
|Matt
|[https://tfjmp.org/files/publications/hotcloud-2017.pdf FRAPpuccino: Fault-detection through Runtime Analysis of Provenance]
|HotCloud 2017
|-
|Jun 19, 2020
| New Faculty
|
|
|Vaas
|'''[https://arxiv.org/pdf/1908.11568.pdf Pacer: Network Side-Channel Mitigation in the Cloud]'''
|Under submission
|-
|Jun 26, 2020
| New Faculty
|
|
|Joel
|[https://wiki.ubc.ca/images/9/95/Processing_In_Storage_Class_Memory.pdf 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
|[https://stratos.seas.harvard.edu/files/stratos/files/datacalculator.pdf 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
|[https://www.cs.ubc.ca/~ebani/papers/LearningToListenForDesign_OnwardEssay_2019.pdf Learning to Listen for Design]
|
|-
|Aug 14, 2020
|
|
|Writing Group
|
|
|
|-
|Aug 21, 2020
|
|Vaas
|M.Sc. Thesis
|
|
|
|-
|Aug 28, 2020
| colspan="6" |Vacation Week!
|}

=== Winter 2020 (Jan - May 2020) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!Date
!Theme
!Internal Slot Lead(s)
!Topic
!External Paper Lead
!Paper Title
!Conference/Year
|-
|Jan 10, 2020
|Provenance
|
|
|Joe
|[https://link.springer.com/chapter/10.1007%2F978-3-319-40593-3_2 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
|[https://www.usenix.org/conference/nsdi19/presentation/wu 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 (<nowiki>https://sarahnadi.org/</nowiki>)
|Automated Support for Software Maintenance and Reuse
|Karim Ali (<nowiki>https://karimali.ca/</nowiki>)
|(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
|[http://memlab.ece.gatech.edu/papers/MICRO_2019_3.pdf CleanupSpec: An "Undo" Approach to Safe Speculation]
|MICRO '52
|-
|Feb 14, 2020
|Architecture
|
|
|Matt
|[https://research.fb.com/wp-content/uploads/2019/05/SoftSKU-Optimizing-Server-Architectures-for-Microservice-Diversity-@Scale.pdf 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
|[https://mdsattacks.com/files/ridl.pdf RIDL: Rogue In-Flight Data Load]
|''Security and Privacy (SP) 2019''
|-
|Mar 13, 2020
|Architecture
|
|
|Syed
|[https://dl.acm.org/doi/pdf/10.1145/3079856.3080246 In-Datacenter Performance Analysis of a Tensor Processing Unit.]

[https://hangouts.google.com/call/calendar/c3dhdGlnaXJpZ29zd2FtaUBnbWFpbC5jb20.51u3ucir3qni2v9s1epi0bn2ci?no_rd Google Hangouts Live link]
|ISCA 2017
|-
|Mar 20, 2020
|Architecture
|
|
|Vaas
|[http://skarlat2.web.engr.illinois.edu/publications/cuckoo_asplos20.pdf 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
|[http://www.vldb.org/pvldb/vol13/p1020-zhu.pdf LiveGraph: A Transactional Graph Storage System withPurely Sequential Adjacency List Scans]
Slides can be found [https://docs.google.com/presentation/d/1ZS4ukc-XHNaVG_dfi9aBlGPIcnxJhMDKT9eSJfJnL88/edit?usp=sharing here]
|VLDB 2020
|-
|May 8, 2020
|Architecture
|
|
|Jerry
|[https://www.usenix.org/system/files/osdi18-shan.pdf LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation]
|OSDI 2018
|-
|May 15, 2020
|Optimization
|Pauline
|Final presentation for my project: Generalized CORELS
|Hayden
|[https://arxiv.org/pdf/1802.03471.pdf 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
|[https://people.mpi-sws.org/~aasthakm/files/qapla.pdf Qapla: Policy compliance for database-backed systems.]
|USENIX Security 2017
|-
|}

=== Fall 2019 (Sep - Dec 2019) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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
|[https://dl.acm.org/citation.cfm?id=3342069 TeaVaR: Striking the Right Utilization-Availability Balance in WAN Traffic Engineering]
|SIGCOMM'19
|-
|Sep 27, 2019
|Networking
|
|Lab Building
|Jose
|[https://www.ndss-symposium.org/wp-content/uploads/2019/02/ndss2019_06A-5_Wang_paper.pdf 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
|[https://www.usenix.org/system/files/atc19-kogias-r2p2_0.pdf 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
|[https://www.usenix.org/conference/usenixsecurity19/presentation/vahldiek-oberwagner 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
|[https://www.cs.utexas.edu/~vijay/papers/sosp19-splitfs.pdf SplitFS: Reducing Software Overheadin File Systems for Persistent Memory]
|SOSP 2019
|-
|Nov 8, 2019
|Security
|Margo
|[https://www.usenix.org/system/files/hotcloud19-paper-shastri.pdf The Seven Sins ofPersonal-Data Processing Systems under GDPR]
|Shayan
|[https://www.computer.org/csdl/proceedings-article/sp/2019/666000a900/19skg5XghG0 NEUZZ: Efficient Fuzzing with Neural Program Smoothing]
|IEEE S&P 19
|-
|Nov 15, 2019
|Storage
|
|
|Vaastav
|[https://www.usenix.org/conference/fast19/presentation/yang 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)
[http://www.vldb.org/pvldb/vol12/p1513-yan.pdf Generating Application-Specific Data Layouts for In-memory Databases]
|VLDI 2019
|-
|Dec 13, 2019
|Storage
|JS
|Ongoing work
|Nodir
|[https://research.cs.wisc.edu/adsl/Publications/osdi18-tam.pdf Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models]
|OSDI 2018
|}

=== Summer 2019 (Jun - Aug 2019) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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
|[https://www.usenix.org/system/files/sec19-dessouky.pdf HardFails: Insights into Software-Exploitable Hardware Bugs]
|USENIX Security 2019
|-
|Aug 30, 2019
|
|
|
|
|
|}

=== Winter 2019 (Jan - May 2019) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!Date
!Internal Slot Lead(s)
!Topic
!External Paper Lead
!Paper Title
!Conference/Year
|-
|Jan 11, 2019
|
|
|Nodir
|[https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-tyagi.pdf BurnBox: Self-Revocable Encryption in a World Of Compelled Access]
|USENIX Security’18
|-
|Jan 18, 2019
|
|
|Gleb
|[https://dl.acm.org/citation.cfm?doid=3190508.3190536 Fast and strongly-consistent per-item resilience in key-value stores]
|EuroSys'18
|-
|Jan 25, 2019
|
|
|Surbhi
|[https://www.usenix.org/system/files/conference/fast15/fast15-paper-aghayev.pdf Skylight: A Window on Shingled Disk Operation]
|FAST'15
|-
|Feb 1, 2019
|
|
|Vaas
|Space Networking - 3 papers from HOTNETS ‘18
* [https://dl.acm.org/citation.cfm?id=3286066 Networking in Heaven as on Earth]
* [https://dl.acm.org/citation.cfm?id=3286079 Gearing up for the 21st century space race]
* [https://dl.acm.org/citation.cfm?id=3286075 Delay is not an option: Low latency routing in space]
|HotNets'18
|-
|Feb 8, 2019
|
|
|Tony
|Practice Talk: [https://arxiv.org/pdf/1812.00276.pdf Collaboration versus Cheating]
|SIGCSE'19
|-
|Feb 15, 2019
|
|
|
|Internal Celebration
|
|-
|Feb 22, 2019
|
|
|Anand
|[https://cs.stanford.edu/~matei/papers/2018/vldb_weld.pdf Weld]
|
|-
|Mar 1, 2019
|Micah
|Thesis Overview
|Adam
|Tentatively [https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-wu.pdf DIZK: A Distributed Zero Knowledge Proof System]
|USENIX Security’18
|-
|Mar 8, 2019
|
|
|Renato
|[https://people.mpi-sws.org/~jcmace/papers/mace2018universal.pdf 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
|-
|<s>Apr 19, 2019</s>
|<s>Good Friday holiday</s>
|<s>Good Friday holiday</s>
|<s>Good Friday holiday</s>
|<s>Good Friday holiday</s>
|
|-
|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
|[https://www.usenix.org/system/files/nsdi19-sommer.pdf Deniable Upload and Download via Passive Participation]
|NSDI '19
|-
|May 31, 2019
|Craig Mustard
|[http://ece.ubc.ca/~craigm/papers/jumpgate-hotcloud2019-cameraready.pdf Jumpgate: In-Network Processing as a Service for Data Analytics] (HotCloud '19 Practice Talk)
|Anand
|TBD
|
|}

=== Fall 2018 (Sep - Dec 2018) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable mw-collapsible mw-collapsed"
!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
|<s>Micah</s>
|<s>Data Not Code: Beyond Embarrassingly Parallel on Multicore</s>
|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) ===
{| class="wikitable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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; <nowiki>http://irenezhang.net/</nowiki> )
|
|-
|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) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!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) ===
{| class="wikitable sortable mw-collapsible mw-collapsed"
!Date
!Paper
|-
|October 2nd, 2009
|'''FAWN: A Fast Array of Wimpy Nodes''' ([http://www.sigops.org/sosp/sosp09/papers/andersen-sosp09.pdf PDF])

David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan. SOSP'09.

Proponent: '''Dutch Meyer'''

Opponent: '''Brendan Cully'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/FAWNNote)
|-
|October 9th, 2009
|'''Fast Byte-Granularity Software Fault Isolation''' ([http://www.sigops.org/sosp/sosp09/papers/castro-sosp09.pdf PDF])

Miguel Castro, Manuel Costa, J.P. Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black. SOSP'09.

Proponent: '''Geoffrey Lefebvre'''

Opponent: '''Dutch Meyer'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/FBSFINote)
|-
|October 16th, 2009
|SOSP summaries and Execution synthesis WIP.
|-
|October 23rd, 2009
|'''Helios: Heterogeneous Multiprocessing with Satellite Kernels''' ([http://www.sigops.org/sosp/sosp09/papers/nightingale-sosp09.pdf PDF])

Edmund B. Nightingale, Orion Hodson, Ross [/McIlroy McIlroy], Chris Hawblitzel, Galen Hunt. SOSP'09.

Proponent: '''Shriram Rajagopalan'''

Opponent: '''Geoffrey Lefebvre'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/HeliosNote)
|-
|October 30rd, 2009
|'''The Multikernel: A New OS Architecture for Scalable Multicore Systems''' ([http://www.sigops.org/sosp/sosp09/papers/baumann-sosp09.pdf PDF])

System Group,ETH Zurich, Microsoft Research,Cambridge, ENS. SOSP'09.

Proponent: '''Nathan Taylor'''

Opponent: '''Shriram Rajagopalan'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/MultiKernelNote)
|-
|November 6th, 2009
|'''Automatic Device Driver Synthesis with Termite''' ([http://www.sigops.org/sosp/sosp09/papers/ryzhyk-sosp09.pdf PDF])

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser (NICTA, UNSW, Open Kernel Labs). SOSP'09

Proponent: '''Mohammad Abdul-Amir'''

Opponent: '''Patrick Colp'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/TermiteNote)
|-
|November 13th, 2009
|'''Tolerating Hardware Device Failures in Software''' ([http://www.sigops.org/sosp/sosp09/papers/kadav-sosp09.pdf PDF])

Asim Kadav, Matthew J. Renzelmann, Michael M. Swift. University of Wisconsin-Madison. SOSP'09

Proponent: '''Patrick Colp'''

Opponent: '''Nathan Taylor'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/CarburizerNote)
|-
|November 20th, 2009
|'''Operating System Transactions''' ([http://www.sigops.org/sosp/sosp09/papers/porter-sosp09.pdf PDF])

Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel. UT Austin SOSP'09

Proponent: '''Ryan OConner'''

Opponent: '''Mohammad Abdul-Amir'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/OSTransactionNote)
|-
|November 27th, 2009
|'''seL4: Formal Verification of an Kernel''' ([http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf PDF])

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell , Harvery Tuch, Simon Winwood, TICTA, UNSW, Open Kernel Labs SOSP'09

Proponent: '''Quan Zhang'''

Opponent: '''Ryan OConner'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/SEL4Note)
|-
|December 4th, 2009
|'''Matchmaking for Online Games and Other Latency-Sensitive P2P Systems''' ([http://research.microsoft.com/en-us/people/sagarwal/sigcomm09-265.pdf PDF])

Sharad Agarwal, Jacob R. Lorch, MSR. Sigcomm'09

Proponent: '''Cody Brown'''

Opponent: '''Quan Zhang'''

'''Note'''(http://wiki.nss.cs.ubc.ca/internal/HtraeNote)
|-
|January 15th, 2010
|'''Safe and Effective Fine-grained TCP Retransmissions for Datacenter Communication''' ([http://ccr.sigcomm.org/online/files/p303.pdf 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''' ([http://ccr.sigcomm.org/online/files/p63.pdf 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''' ([http://sysweb.cs.toronto.edu/publication_files/120/p1.pdf 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''' ([http://www.usenix.org/event/hotos09/tech/full_papers/seltzer/seltzer.pdf PDF])

Margo Seltzer, Nicholas Murphy. Harvard. HotOS'09

Proponent: '''Mihir Nanavati'''

Opponent: '''Nathan Taylor'''
|-
|March 5th, 2010
|'''Automatically Patching Errors in Deployed Software''' ([http://www.sigops.org/sosp/sosp09/papers/perkins-sosp09.pdf 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''' ([http://www.usenix.org/events/fast10/tech/full_papers/veeraraghavan.pdf 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''' ([http://www.usenix.org/events/fast10/tech/full_papers/sundararaman.pdf 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''' ([http://www.usenix.org/events/fast10/tech/full_papers/macko.pdf 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''' ([http://www.usenix.org/events/fast10/tech/full_papers/yadwadkar.pdf 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''' ([http://www.eecg.toronto.edu/~lie/papers/chew-eurosys2010-web.pdf 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''' ([http://uwnews.org/relatedcontent/2010/March/rc_parentID56284_thisID56368.pdf 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''' ([http://www.usenix.org/events/nsdi10/tech/full_papers/mudigonda.pdf 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''' ([http://www.usenix.org/events/nsdi10/tech/full_papers/katz-bassett.pdf 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''' ([http://www.usenix.org/events/nsdi10/tech/full_papers/adya.pdf 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''' ([http://srg.cs.illinois.edu/srg/sites/default/files/curios.pdf 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''' ([http://www.csc.ncsu.edu/faculty/jiang/pubs/OAKLAND10.pdf 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''' ([http://www.usenix.org/events/atc10/tech/full_papers/Boyd-Wickizer.pdf PDF])

Silas Boyd-Wickizer and Nickolai Zeldovich, MIT. Usenix '10

Proponent: '''Mark Spear'''

Opponent: '''Dhirendra Kholia'''
|-
|July 9th, 2010
|'''Satori: Enlightened page sharing''' ([http://www.usenix.org/event/usenix09/tech/full_papers/milos/milos.pdf 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''' ([http://www.usenix.org/events/sec10/tech/full_papers/Watson.pdf 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''' ([http://www.cs.sfu.ca/~fedorova/papers/asplos212-zhuravlev.pdf 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''' ([http://www.usenix.org/events/atc10/tech/full_papers/Valancius.pdf 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''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Soares.pdf 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)''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Beaver.pdf 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''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Boyd-Wickizer.pdf 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''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Aviram.pdf 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''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Erickson.pdf 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''' ([http://www.usenix.org/events/sec10/tech/full_papers/Kim.pdf 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'''([http://www.usenix.org/event/osdi10/tech/full_papers/Peng.pdf 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''' ([http://infoscience.epfl.ch/record/146734/files/revnic.pdf/ 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''' ([http://www.mesosproject.org/mesos_nsdi_2011.pdf PDF])

Authors

Proponent: '''Dutch Meyer'''

Opponent: '''A Quartet of Menacing Demons'''
|-
|13 May, 2011
|'''SPORC: Group Collaboration using Untrusted Cloud Resources''' ([http://www.usenix.org/events/osdi10/tech/full_papers/Feldman.pdf 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''' ([http://www.isoc.org/isoc/conferences/ndss/11/pdf/5_3.pdf PDF])

JongHyup Lee, Thanassis Avgerinos, and David Brumley (CMU)

Proponent: '''Patrick Colp'''

Opponent: '''Brendan Cully'''
|-
|27 May, 2011
|'''Practical Byzantine Fault Tolerance''' ([http://www.pmg.lcs.mit.edu/papers/osdi99.pdf PDF])

Miguel Castro and Barbara Liskov

Proponent: '''Nathan Taylor'''

Opponent: '''Patrick Colp'''
|-
|03 June, 2011
|'''Bitcoin: A Peer-to-Peer Electronic Cash System''' ([http://www.vsewiki.cz/images/archive/8/89/20110124151146!Bitcoin.pdf PDF])

Satoshi Nakamoto

Proponent: '''Alexandru Totolici'''

Opponent: '''Nathan Taylor'''
|-
|09 September, 2011
|'''CryptDB: Protecting Conï¬dentiality with Encrypted Query Processing''' ([http://people.csail.mit.edu/nickolai/papers/raluca-cryptdb.pdf PDF])

Authors

Proponent: '''TBA'''

Opponent: '''TBA'''
|-
|16 September, 2011
|'''Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis''' (ICICS 104 this week) ([http://www.eecs.berkeley.edu/~ychen2/professional/CifsTraceAnalysisSOSP2011CameraReady1.pdf 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''' ([http://ppi.fudan.edu.cn/_media/publications%3Bcloudvisor-sosp2011.pdf PDF])

Authors

Proponent: '''Patrick Colp'''

Opponent: '''Nathan Taylor'''
|-
|30 September, 2011
|'''TBA''' ([http://www.link.com/ PDF])

Authors

Proponent: '''TBA'''

Opponent: '''TBA'''
|-
|December 7, 2012
|'''IoT Mashups with the WoTKit''' ([http://eprints.lancs.ac.uk/58766/1/final.pdf 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''' ([http://www.utdallas.edu/~hamlen/wartell12ccs.pdf 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''' ([http://www.link.com/ PDF])

Authors

Proponent: Mihir Nanavati
|-
|July 26, 2012
|'''Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS''' ([http://dedis.cs.yale.edu/2009/tng/papers/nsdi12.pdf PDF])

Authors: Michael F. Nowlan, Nabin Tiwari, Janardhan Iyengar, Syed Obaid Amin, and Bryan Ford. NSDI '12

Presenter: '''Aiman Erbad''' Slides: ([http://dedis.cs.yale.edu/2009/tng/papers/nsdi12-slides.odp OpenOffice]) ([http://dedis.cs.yale.edu/2009/tng/papers/nsdi12-slides.pdf PDF])
|-
|July 19, 2012
|'''Thialfi: A Client Notification Service for Internet-Scale Applications''' ([http://research.google.com/pubs/archive/37474.pdf 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''' ([http://sigops.org/sosp/sosp11/current/2011-Cascais/printable/17-rossbach.pdf 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''' ([http://people.csail.mit.edu/cowling/granola/granola-usenix12.pdf PDF], [http://people.csail.mit.edu/cowling/granola/granola-usenix12-slides.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''' [http://user.informatik.uni-goettingen.de/~krieck/docs/2013-ccs.pdf PDF]

Presented: '''Patrick'''
|-
|January 25, 2013
|'''Dune: Safe User-level Access to Privileged CPU Features''' ([https://www.usenix.org/system/files/conference/osdi12/osdi12-final-117.pdf PDF], [https://www.usenix.org/sites/default/files/conference/protected-files/belay_osdi12_slides.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''' [http://people.csail.mit.edu/nickolai/papers/clements-sc.pdf PDF]

Presenter: '''Nodir'''
|-
|February 7th, 2013
|'''SplitX: High-Performance Private Analytics''' [http://www.mpi-sws.org/~francis/splitx-sigcomm13.pdf 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''' [http://eurosys2013.tudos.org/wp-content/uploads/2013/paper/Schwarzkopf.pdf PDF]

Presenter: '''RJ'''
|-
|March 7th, 2013
|'''Network Virtualization in Multi-tenant Datacenters''' [https://www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-koponen.pdf PDF]

Presenter: '''Nodir'''
|-
|March 14th, 2013
|'''Dï¿½ppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud''' [http://www.cs.unc.edu/~yinqian/papers/duppel.pdf PDF]

Presenter: '''Marjan'''
|-
|March 21st, 2013
|'''[/ViewBox ViewBox]<nowiki>: Integrating Local File Systems with Cloud Storage Services</nowiki>''' [https://www.usenix.org/system/files/conference/fast14/fast14-paper_zhang.pdf PDF]

Presenter: '''Jonatan'''
|-
|March 28th, 2013
|'''VPN Gate: A Volunteer-Organized Public VPN Relay System with Blocking Resistance for Bypassing Government Censorship Firewalls''' [https://www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-nobori.pdf PDF]

Presenter: '''David'''
|-
|April 4th, 2013
|NSDI'14 conference week -- no seminar
|-
|April 11th, 2013
|'''NSDI'14 review''' [https://www.usenix.org/conference/nsdi14/technical-sessions Technical sessions]

Presenters: '''David, Nodir and Ivan'''
|-
|June 14, 2013
|'''CORFU: A Shared Log Design for Flash Clusters''' ([https://www.usenix.org/system/files/conference/nsdi12/nsdi12-final30.pdf PDF], [http://cloudseminar.berkeley.edu/data/CORFU-UCB-2012.ppsx 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''' [http://sigops.org/sosp/sosp13/papers/p116-nikolaev.pdf PDF]

Presenter: '''Mihir'''
|-
|October 16th, 2013
|'''IOFlow: A Software-Defined Storage Architecture''' [http://sigops.org/sosp/sosp13/papers/p182-thereska.pdf PDF]

Presenter: '''Nodir'''
|-
|October 23rd, 2013
|'''Replication, History, and Grafting in the Ori File System''' [http://sigops.org/sosp/sosp13/papers/p151-mashtizadeh.pdf PDF]

Presenter: '''Jonatan'''
|-
|October 30th, 2013
|'''Verifying Computations with State''' [http://sigops.org/sosp/sosp13/papers/p341-braun.pdf PDF]

Presenter: '''David'''
|-
|November 6th, 2013
|'''[/PrivExec PrivExec]: Private Execution as an Operating System Service''' [http://www.ieee-security.org/TC/SP2013/papers/4977a206.pdf PDF]

Presenter: '''Marjan'''
|-
|November 13th, 2013
|'''Tango: Distributed Data Structures over a Shared Log''' [http://sigops.org/sosp/sosp13/papers/p325-balakrishnan.pdf PDF]

Presenter: '''Mahdi'''
|-
|November 20th, 2013
|'''Naiad: A Timely Dataflow System''' [http://sigops.org/sosp/sosp13/papers/p439-murray.pdf PDF]

Presenter: '''RJ'''
|-
|November 27th, 2013
|'''Timecard: Controlling User-Perceived Delays in Server-Based Mobile Applications''' [http://sigops.org/sosp/sosp13/papers/p85-ravindranath.pdf 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''' [http://www.cse.iitd.ernet.in/~sbansal/pubs/btkernel.pdf PDF]

Presenter: '''Patrick'''
|-
|May 16th, 2014
|'''ClickOS and the Art of Network Function Virtualization''' [https://www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-martins.pdf PDF]

Presenter: '''Nodir'''
|-
|May 23rd, 2014
|'''Efficient Batched Synchronization in Dropbox-like Cloud Storage Services''' [http://www.ccs.neu.edu/home/cbw/pdf/li_middleware13.pdf 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''' [https://www.usenix.org/system/files/conference/usenixsecurity14/sec14-paper-yarom.pdf PDF]

Presenter: '''Kent'''
|-
|September 12th, 2014
|'''Static Detection of Second-Order Vulnerabilities in Web Applications''' [https://www.usenix.org/system/files/conference/usenixsecurity14/sec14-paper-dahse.pdf PDF]

Presenter: '''JS Lï¿½garï¿½'''
|-
|September 19th, 2014
|'''Making middleboxes someone else's problem: network processing as a Cloud service''' [https://www.eecs.berkeley.edu/~sylvia/papers/fp150-sherry.pdf PDF]

Presenter: '''Peter'''
|-
|September 26th, 2014
|'''Decoupling Cores, Kernels, and Operating Systems''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-zellweger.pdf PDF]

Presenter: '''Mihir'''
|-
|October 3rd, 2014
|'''Characterizing Storage Workloads with Counter Stacks''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-wires.pdf PDF]

Presenter: '''Jake'''
|-
|October 10th, 2014
|'''Protecting Users by Confining [/JavaScript JavaScript] with COWL''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-stefan.pdf PDF]

Presenter: '''RJ Sumi'''
|-
|October 17th, 2014
|'''User-Guided Device Driver Synthesis''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-ryzhyk.pdf PDF]

Presenter: '''Nodir'''
|-
|October 24th, 2014
|'''Arrakis: The Operating System is the Control Plane''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf PDF]

Presenter: '''Patrick'''
|-
|October 31st, 2014
|'''IX: A Protected Dataplane Operating System for High Throughput and Low Latency''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-belay.pdf PDF]

Presenter: '''Peter'''
|-
|November 7st, 2014
|'''Visitor talk about Tetrisched: Space-Time Scheduling for Heterogeneous Datacenters''' [http://www.pdl.cmu.edu/PDL-FTP/CloudComputing/CMU-PDL-13-112.pdf PDF]

Presenter: '''Alexey Tumanov'''
|-
|November 14th, 2014
|'''Shielding applications from an untrusted cloud with Heaven''' [https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-baumann.pdf PDF]

Presenter: '''Marjan'''
|-
|November 21st, 2014
|'''Shadapp project and status'''

Presenter: '''JS'''
|-
|December 5th, 2014
|'''Automatically Detecting Vulnerable Websites Before They Turn Malicious''' [https://www.usenix.org/system/files/conference/usenixsecurity14/sec14-paper-soska.pdf PDF]

Presenter: '''Arthur'''
|-
|January 9th, 2015
|'''CONGA: Distributed Congestion-Aware Load Balancing for Datacenters''' [http://simula.stanford.edu/~alizade/papers/conga-sigcomm14.pdf 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'''
|}