הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل

02360764 - סמינר במערכות הפעלה 02360764 - Operating Systems Seminar 02360764 - Operating Systems Seminar 02360764 - Operating Systems Seminar

חורף 2026-2027Winter 2026-2027Зима 2026-2027شتاء 2026-2027

הודעות Announcements Сообщения اعلانات

Admission decisions and the first session

Admission decisions have been emailed to all applicants. Applicants who did not receive one should check their spam folder or contact the lecturer.

Attendance at the first session (Sunday, 1/11, 17:30, Taub 5) is mandatory for registration. Students on the waiting list have a high chance of being accepted and are encouraged to attend.

Missed the application because of this semester's delayed registration? Graduate students will be accommodated, and excellent undergraduates will be considered. Email the lecturer (unamitatcs.technion.ac.il) before the first session, and attend it.

פורסם ב-23/10/2026, 16:38:01 Created on 23/10/2026, 16:38:01 Создано23/10/2026, 16:38:01 تم النشر ب-23/10/2026, 16:38:01

Tentative schedule, Winter 2026/27

Below is the tentative schedule for the semester. Dates and papers may still change.

All meetings are on Sundays, 17:30–19:30. From week 2 on, each session pairs a classic paper with a recent paper on the same problem, and has two talks: the classic first, then the recent one. A form for choosing papers will be sent soon. The papers of 8/11 are already assigned.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

‎ Date ‎   Topic                       ‎   Talk 1                      ‎   Talk 2                      ‎ 

────────────────────────────────────────────────────────────────────────────────────────────────────

‎ 1/11 ‎   Intro lecture               ‎   Part 1: how the seminar     ‎   Part 2: a talk on a recent  ‎ 

‎      ‎                               ‎   works, giving a talk,       ‎   study of mine               ‎ 

‎      ‎                               ‎   reading papers critically   ‎                               ‎ 

‎ 8/11 ‎   The scheduler and the       ‎   Addressing Shared Resource  ‎   Scheduling Linux Threads    ‎ 

‎      ‎   hardware                    ‎   Contention in Multicore     ‎   under I/O Chiplet Wall Using‎ 

‎      ‎                               ‎   Processors via Scheduling   ‎   cSwitch [SOSP'26]           ‎ 

‎      ‎                               ‎   [ASPLOS'10]                 ‎                               ‎ 

‎ 15/11‎   Virtualization: sharing the ‎   Xen and the Art of          ‎   You Can Always Get What You ‎ 

‎      ‎   machine                     ‎   Virtualization [SOSP'03]    ‎   Want: CPU Virtualization    ‎ 

‎      ‎                               ‎                               ‎   Made Fast and Free [SOSP'26]‎ 

‎ 22/11‎   How big should the cache be?‎   Characterizing Storage      ‎   Cache Miss Curve Analysis   ‎ 

‎      ‎   Miss-ratio curves           ‎   Workloads with Counter      ‎   via Cardinality Domain      ‎ 

‎      ‎                               ‎   Stacks [OSDI'14]            ‎   [PACT'25]                   ‎ 

‎ 29/11‎   Tiered memory               ‎   TMO: Transparent Memory     ‎   Chrono: Meticulous Hotness  ‎ 

‎      ‎                               ‎   Offloading in Datacenters   ‎   Measurement and Flexible    ‎ 

‎      ‎                               ‎   [ASPLOS'22]                 ‎   Page Migration for Memory   ‎ 

‎      ‎                               ‎                               ‎   Tiering [EuroSys'25]        ‎ 

‎ 6/12 ‎   Far memory                  ‎   AIFM: High-Performance,     ‎   Beehive: A Scalable         ‎ 

‎      ‎                               ‎   Application-Integrated Far  ‎   Disaggregated Memory Runtime‎ 

‎      ‎                               ‎   Memory [OSDI'20]            ‎   Exploiting Asynchrony of    ‎ 

‎      ‎                               ‎                               ‎   Multithreaded Programs      ‎ 

‎      ‎                               ‎                               ‎   [NSDI'25]                   ‎ 

‎ 13/12‎   What the kernel's memory    ‎   RadixVM: Scalable Address   ‎   CortenMM: Efficient Memory  ‎ 

‎      ‎   manager owes you            ‎   Spaces for Multithreaded    ‎   Management with Strong      ‎ 

‎      ‎                               ‎   Applications [EuroSys'13]   ‎   Correctness Guarantees      ‎ 

‎      ‎                               ‎                               ‎   [SOSP'25]                   ‎ 

‎ 20/12‎   Extending the kernel safely ‎   Extensibility, Safety and   ‎   cache_ext: Customizing the  ‎ 

‎      ‎                               ‎   Performance in the SPIN     ‎   Page Cache with eBPF        ‎ 

‎      ‎                               ‎   Operating System [SOSP'95]  ‎   [SOSP'25]                   ‎ 

‎ 27/12‎   Verified kernels            ‎   seL4: Formal Verification of‎   Atmosphere: Practical       ‎ 

‎      ‎                               ‎   an OS Kernel [SOSP'09]      ‎   Verified Kernels with Rust  ‎ 

‎      ‎                               ‎                               ‎   and Verus [SOSP'25]         ‎ 

‎ 3/1  ‎   Same prompt, same answer:   ‎   Dthreads: Efficient         ‎   LLM-42: Enabling Determinism‎ 

‎      ‎   determinism                 ‎   Deterministic Multithreading‎   in LLM Inference with       ‎ 

‎      ‎                               ‎   [SOSP'11]                   ‎   Verified Speculation        ‎ 

‎      ‎                               ‎                               ‎   [SOSP'26]                   ‎ 

‎ 10/1 ‎   The GPU as an operating     ‎   PTask: Operating System     ‎   LithOS: An Operating System ‎ 

‎      ‎   system problem              ‎   Abstractions to Manage GPUs ‎   for Efficient Machine       ‎ 

‎      ‎                               ‎   as Compute Devices [SOSP'11]‎   Learning on GPUs [SOSP'25]  ‎ 

‎ 17/1 ‎   Serverless cold starts      ‎   SOCK: Rapid Task            ‎   Fork in the Road:           ‎ 

‎      ‎                               ‎   Provisioning with           ‎   Reflections and             ‎ 

‎      ‎                               ‎   Serverless-Optimized        ‎   Optimizations for Cold Start‎ 

‎      ‎                               ‎   Containers [ATC'18]         ‎   Latency in Production       ‎ 

‎      ‎                               ‎                               ‎   Serverless Systems [OSDI'25]‎ 

‎ 24/1 ‎   Confidential computing      ‎   Shielding Applications from ‎   Erebor: A Drop-In Sandbox   ‎ 

‎      ‎                               ‎   an Untrusted Cloud with     ‎   Solution for Private Data   ‎ 

‎      ‎                               ‎   Haven [OSDI'14]             ‎   Processing in Untrusted     ‎ 

‎      ‎                               ‎                               ‎   Confidential Virtual        ‎ 

‎      ‎                               ‎                               ‎   Machines [EuroSys'25]       ‎ 

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Links to the papers

8/11: Addressing Shared Resource Contention in Multicore Processors via Scheduling [ASPLOS'10]; Scheduling Linux Threads under I/O Chiplet Wall Using cSwitch [SOSP'26]
15/11: Xen and the Art of Virtualization [SOSP'03]; You Can Always Get What You Want: CPU Virtualization Made Fast and Free [SOSP'26]
22/11: Characterizing Storage Workloads with Counter Stacks [OSDI'14]; Cache Miss Curve Analysis via Cardinality Domain [PACT'25]
29/11: TMO: Transparent Memory Offloading in Datacenters [ASPLOS'22]; Chrono: Meticulous Hotness Measurement and Flexible Page Migration for Memory Tiering [EuroSys'25]
6/12: AIFM: High-Performance, Application-Integrated Far Memory [OSDI'20]; Beehive: A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded Programs [NSDI'25]
13/12: RadixVM: Scalable Address Spaces for Multithreaded Applications [EuroSys'13]; CortenMM: Efficient Memory Management with Strong Correctness Guarantees [SOSP'25]
20/12: Extensibility, Safety and Performance in the SPIN Operating System [SOSP'95]; cache_ext: Customizing the Page Cache with eBPF [SOSP'25]
27/12: seL4: Formal Verification of an OS Kernel [SOSP'09]; Atmosphere: Practical Verified Kernels with Rust and Verus [SOSP'25]
3/1: Dthreads: Efficient Deterministic Multithreading [SOSP'11]; LLM-42: Enabling Determinism in LLM Inference with Verified Speculation [SOSP'26]
10/1: PTask: Operating System Abstractions to Manage GPUs as Compute Devices [SOSP'11]; LithOS: An Operating System for Efficient Machine Learning on GPUs [SOSP'25]
17/1: SOCK: Rapid Task Provisioning with Serverless-Optimized Containers [ATC'18]; Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems [OSDI'25]
24/1: Shielding Applications from an Untrusted Cloud with Haven [OSDI'14]; Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines [EuroSys'25]

עדכון אחרון ב-21/10/2026, 15:39:47 Last updated on 21/10/2026, 15:39:47 Последняя модификация21/10/2026, 15:39:47 تمت الحتلنة الأخيرة ب-21/10/2026, 15:39:47

Registration for Winter 2026/27

Registration – Operating Systems Seminar (2360764), Winter 2026/27

Registration to the seminar is manual. To apply, fill in the form:
https://forms.cloud.microsoft/r/U38MUY7qhh

Deadline: Tuesday, 20 October 2026. Forms submitted after that date are placed on the waiting list automatically.

Submitting the form is a request to join, not a confirmation of registration – places are limited. About a week before the semester starts you will be told whether you were accepted or placed on the waiting list. The final list of participants is set after the first lecture (Sunday, 1 November 2026, 17:30–19:30), so please attend it.

עדכון אחרון ב-4/10/2026, 14:14:45 Last updated on 4/10/2026, 14:14:45 Последняя модификация4/10/2026, 14:14:45 تمت الحتلنة الأخيرة ب-4/10/2026, 14:14:45