CS 7934 — Computer Systems Seminar, Spring 2024

Fridays, 2:00–3:30 PM, 3485 MEB

Instructor: Eric Eide

Schedule

Week Date Topic(s) Facilitator(s) Paper(s)
1 1/12 Eide organizational meeting
2 1/19 language runtime fuzzing Eide PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing. Wen Li et al. In CCS ’23, Nov. 2023.
3 1/26 multilingual sandboxing Karimov Provably-Safe Multilingual Software Sandboxing using WebAssembly. Jay Bosamiya et al. In USENIX Security ’22, Aug. 2022.
4 2/2 NIC-to-software communication Maricq Enso: A Streaming Interface for NIC-Application Communication. Hugo Sadok et al. In OSDI ’23, Jul. 2023.
5 2/9 browser fingerprinting Wong Unleash the Simulacrum: Shifting Browser Realities for Robust Extension-Fingerprinting Prevention. Soroush Karami et al. In USENIX Security ’22, Aug. 2022.
6 2/16 JVM JIT compiler fuzzing Stanley JITfuzz: Coverage-Guided Fuzzing for JVM Just-in-Time Compilers. Mingyuan Wu et al. In ICSE ’23, May 2023.
7 2/23 no meeting — prospective graduate student visit
8 3/1 LLM serving engines Zhang Efficient Memory Management for Large Language Model Serving with PagedAttention. Woosuk Kwon et al. In SOSP ’23, Oct. 2023.
9 3/8 no meeting — University spring break
10 3/15 data science programming Tang Glinda: Supporting Data Science with Live Programming, GUIs and a Domain-specific Language. Robert DeLine. In CHI ’21, May 2021.
11 3/22 SSH attacks Singh Where the Wild Things Are: Brute-Force SSH Attacks in the Wild and How to Stop Them. Sachin Kumar Singh et al. In NSDI ’24, Apr. 2024
12 3/29 SSH protocol Duerig Towards SSH3: How HTTP/3 Improves Secure Shells. François Michel and Olivier Bonaventure. arXiv:2312.08396, Dec. 2023.
Related: Secure shell over HTTP/3 connections. François Michel and Olivier Bonaventure. IETF Internet-Draft draft-michel-ss3-00, Feb. 2024.
13 4/5 WASI fuzzing Stanley Randomized Testing of the WebAssembly System Interface. Ethan Stanley. Honors Thesis presentation, Apr. 2024.
notebooks for CloudLab Tang A Workflow-Based Notebook Interface for Experiments in CloudLab. Axe Tang. Bachelors Thesis presentation, Apr. 2024.
14 4/12 spectrum sensing Johnson Crescendo: Towards Wideband, Real-Time, High-Fidelity Spectrum Sensing Systems. Raghav Subbaraman et al. In MobiCom ’23, Oct. 2023.
15 4/19 compiler provenance recovery Karimov Improving Security Tasks Using Compiler Provenance Information Recovered at the Binary-Level. Yufei Du et al. In CCS ’23, Nov. 2023.

Overview

The spring 2024 offering of CS 7934 will cover a variety of systems topics, with an eye toward two goals.

The first is to increase participants' familiarity with recent and important results in the area of computer systems research. Attendees will read and discuss papers from recent and imminent top-tier systems conferences: e.g., SOSP, OSDI, NSDI, SIGCOMM, FAST, systems-related security conferences, and so on. Attendees will typically discuss one paper each week. Papers will be selected for their relevance to participants' research or upcoming Utah visitors. There is no preset “focus topic” for spring 2024. One can anticipate, however, that the semester will include discussions about operating systems, distributed systems, cloud computing, datacenters, networking, and security.

The second is to be a venue for student presentations. Every student participating in the seminar will be required to lead at least one meeting during the semester. This may be a “formal” research presentation—ideally of a student's current work—or it may be an analysis of the research papers chosen for a seminar meeting.

CS 7934 is often called “the CSL seminar.” The name CSL is historic.

Mailing list

To get on the class mailing list, use Mailman to subscribe to csl-sem.

Syllabus

The course syllabus contains important information for students, including the course's policies on grading and cheating.

Credit

Students may enroll for one (1) credit.

Those taking the course for credit must read all of the assigned papers, submit a short summary of each assigned paper prior to class (PDF, LaTeX), participate in each discussion, and facilitate at least one seminar meeting during the semester. Refer to the syllabus for further information.

Potential Papers

Upcoming and recent conference proceedings are good sources of papers for discussion. Below are links to some relevant conference series.

Past CSL Seminars

Semester Focus Topic(s)
Fall 2023 no focus topic chosen
Spring 2023 no focus topic chosen
Fall 2022 no focus topic chosen; many wireless networking papers
Spring 2022 no focus topic chosen
Fall 2021 no focus topic chosen
Spring 2021 no focus topic chosen; many OS design papers
Fall 2020 no focus topic chosen
Spring 2020 no focus topic chosen
Fall 2019 no focus topic chosen
Spring 2019 no focus topic chosen
Fall 2018 no focus topic chosen
Spring 2018 no focus topic chosen; many SOSP ’17 papers
Fall 2017 no focus topic chosen
Spring 2017 no focus topic chosen
Fall 2016 no focus topic chosen; many SIGCOMM ’16 papers
Spring 2016 no focus topic chosen
Fall 2015 no focus topic chosen; many systems security papers
Spring 2015 no focus topic chosen
Fall 2014 no focus topic chosen; many OSDI ’14 papers
Spring 2014 no focus topic chosen; many systems security papers
Fall 2013 no focus topic chosen; many SOSP ’13 papers
Spring 2013 reversible and “time-traveling” debugging
Fall 2012 modern networking and network management; peer-review process
Spring 2012 systems approaches to dynamic problem detection and repair
Fall 2011 datacenter architectures and issues
Spring 2011 malicious software, i.e., malware
Fall 2010 systems approaches to security
Spring 2010 testbed-like infrastructures for cloud computing and scientific computing
Fall 2009 no focus topic chosen; many SOSP ’09 papers
Fall 2008 no focus topic chosen; many OSDI ’08 papers
Summer 2008 no focus topic chosen; informal biweekly meetings
Spring 2008 no focus topic chosen
Fall 2007 no focus topic chosen; many SOSP ’07 papers
Fall 2006 no focus topic chosen; many OSDI ’06 papers
Fall 2005 no focus topic chosen; many SOSP ’05 papers
Spring 2005 no focus topic chosen; many NSDI ’05 papers

Valid HTML 4.01 Transitional