オペレーティングシステム特論

過去のオペレーティングシステム特論で実施した輪講の論文一覧です。

2025年度

6/5

• EDM: An Ultra-Low Latency Ethernet Fabric for Memory Disaggregation. ASPLOS 2025. https://doi.org/10.1145/3669940.3707221
  
• STYX: Exploiting SmartNIC Capability to Reduce Datacenter Memory Tax. USENIX ATC 2023.
• SquirrelFS: using the Rust compiler to check file-system crash consistency. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/leblanc

6/12

• Caladan: Mitigating Interference at Microsecond Timescales. OSDI 2020. https://www.usenix.org/conference/osdi20/presentation/fried
  [発表スライド]
• Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems). OSDI 2023. https://www.usenix.org/conference/osdi23/presentation/lepers
  [発表スライド]
• IUBIK: Isolating User Bytes in Commodity Operating System Kernels via Memory Tagging Extensions. IEEE S&P 2025. https://doi.org/10.1109/SP61157.2025.00135
  [発表スライド]
• LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism. SOSP 2021. https://doi.org/10.1145/3477132.3483565

6/19

• If At First You Don’t Succeed, Try, Try, Again…? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. SOSP 2024. https://doi.org/10.1145/3694715.3695971
• When will my ML job finish? Toward providing completion time estimates through predictability-centric scheduling. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/bin-faisal
• Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor. SOSP 2024. https://doi.org/10.1145/3694715.3695961
• Managing Memory Tiers with CXL in Virtualized Environments. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/zhong-yuhong

6/26

• Do OS abstractions make sense on FPGAs?. OSDI 2020. https://www.usenix.org/conference/osdi20/presentation/roscoe
• OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. SOSP 2024. https://dl.acm.org/doi/10.1145/3694715.3695944
• Tailored Page Sizes. ISCA 2020. https://ieeexplore.ieee.org/document/9138990
  [発表スライド]
• IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/wu-yilun
  [発表スライド]

7/3

• Beaver: Practical Partial Snapshots for Distributed Cloud Services. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/yu
• DistServe: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving. OSDI 2024. https://www.usenix.org/conference/osdi24/presentation/zhong-yinmin
  [発表スライド]
• Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. OSDI 2020. https://www.usenix.org/conference/osdi20/presentation/ruffy
• Picsou: Enabling Replicated State Machines to Communicate Efficiently. OSDI 2025. https://www.usenix.org/conference/osdi25/presentation/frank