紹介
新着
ブログ
メンバー
研究
教育
論文
会議
場所
ライト
ダーク
自動
オペレーティングシステム特論
過去のオペレーティングシステム特論で実施した輪講の論文一覧です。
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
引用
×