| Week | Date | Topic(s) | Facilitator(s) | Paper(s) |
|---|---|---|---|---|
| 1 | 8/23 | — | Eide | organizational meeting |
| 2 | 8/30 | web caching | Eide | SIEVE Is Simpler Than LRU: An Efficient Turn-Key Eviction Algorithm for Web Caches. Yazhuo Zhang et al. In NSDI ’24, Apr. 2024. |
| 3 | 9/6 | memory safety | Karimov | MetaSafe: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust Integrity. Martin Kayondo et al. In USENIX Security ’24, Aug. 2024. |
| 4 | 9/13 | microkernel design | Wong | Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. Haibo Chen et al. In OSDI ’24, Jul. 2024. |
| 5 | 9/20 | distributed ML | Abdollahi | Conspirator: SmartNIC-Aided Control Plane for Distributed ML Workloads. Yunming Xiao et al. In ATC ’24, Jul. 2024. |
| 6 | 9/27 | software-defined RAN | Tang | FlexRIC: An SDK for Next-Generation SD-RANs. Robert Schmidt et al. In CoNEXT ’21, Dec. 2021. |
| 7 | 10/4 | symbolic execution | Stanley | Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. Ningyu He et al. In ISSTA ’23, Jul. 2023. |
| 8 | 10/11 | — | — | no meeting — University fall break |
| 9 | 10/18 | confidential computing | — | Colloquium: “Hardware-Assisted Trustworthy Cloud Services” by Dimitrios Stavrakakis. In 3147 MEB. |
| 10 | 10/25 | AI for Open RAN | Duerig | EXPLORA: AI/ML EXPLainability for the Open RAN. Claudio Fiandrino et al. Proc. ACM on Networking, 1(CoNEXT3), Dec. 2023. |
| 11 | 11/1 | 5G core network | Webb | Accelerating 5G Service-Based Architecture with eBPF. Yong Xuan Huang et al. In ICNCC ’23, Dec. 2023. |
| 12 | 11/8 | software-defined networking | Johnson | A Decentralized SDN Architecture for the WAN. Alexander Krentsel et al. In SIGCOMM ’24, Aug. 2024. |
| 13 | 11/15 | resilient vRANs | Awan | Enabling Resilience in Virtualized RANs with Atlas. Jiarong Xing et al. In MobiCom ’23, Oct. 2023. In 3147 MEB. |
| 14 | 11/22 | reproducibility | Karimov | Longevity of Artifacts in Leading Parallel and Distributed Systems Conferences: A Review of the State of the Practice in 2023. Quentin Guilloteau et al. In ACM REP ’24, Jun. 2024. |
| 15 | 11/29 | — | — | no meeting — Thanksgiving break |
The fall 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 fall 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.
To get on the class mailing list, use Mailman to subscribe to csl-sem.
The course syllabus contains important information for students, including the course's policies on grading and cheating.
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.
Upcoming and recent conference proceedings are good sources of papers for discussion. Below are links to some relevant conference series.
| Semester | Focus Topic(s) |
|---|---|
| Spring 2024 | no focus topic chosen |
| 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 |