HotOS XIX: The 19th Workshop on Hot Topics in Operating Systems

Program

Note that this program is preliminary and changes may happen before the workshop.

Thursday, June 22, 2023

Session 1: 8:50–10:15: The CPU is dead! Long live the CPU!
Introductory Remarks
A Blueprint for CPU-Free Computing Animesh Trivedi (VU Amsterdam); Marco Spaziani Brunella (Axbryd/University of Rome Tor Vergata) Metal: An Open Architecture for Developing Processor Features Siyao Zhao, Ali Mashtizadeh (University of Waterloo) Software-Defined CPU Modes Michael Roitzsch, Till Miemietz (Barkhausen Institut); Christian von Elm (Technische Universität Dresden); Nils Asmussen (Barkhausen Institut)

Session 1: 8:50–10:15: The CPU is dead! Long live the CPU!

Introductory Remarks

A Blueprint for CPU-Free Computing
Animesh Trivedi (VU Amsterdam); Marco Spaziani Brunella (Axbryd/University of Rome Tor Vergata)
Metal: An Open Architecture for Developing Processor Features
Siyao Zhao, Ali Mashtizadeh (University of Waterloo)
Software-Defined CPU Modes
Michael Roitzsch, Till Miemietz (Barkhausen Institut); Christian von Elm (Technische Universität Dresden); Nils Asmussen (Barkhausen Institut)

Session 2: 10:45–12:00: The final showdown between hardware and software
Out of Hand for Hardware? Within Reach for Software! Zhihong Luo, Silvery Fu (UC Berkeley); Emmanuel Amaro (VMware Research); Amy Ousterhout (UC San Diego); Sylvia Ratnasamy (UC Berkeley); Scott Shenker (ICSI and UC Berkeley) The Case for Performance Interfaces for Hardware Accelerators Rishabh Iyer, Jiacheng Ma, Katerina Argyraki, George Candea (EPFL); Sylvia Ratnasamy (UC Berkeley & Google) Putting out the hardware dumpster fire Ben Fiedler, Daniel Schwyn (ETH Zurich); Constantin Gierczak-Galle (ENS Paris); David Cock, Timothy Roscoe (ETH Zurich)

Session 2: 10:45–12:00: The final showdown between hardware and software

Out of Hand for Hardware? Within Reach for Software!
Zhihong Luo, Silvery Fu (UC Berkeley); Emmanuel Amaro (VMware Research); Amy Ousterhout (UC San Diego); Sylvia Ratnasamy (UC Berkeley); Scott Shenker (ICSI and UC Berkeley)
The Case for Performance Interfaces for Hardware Accelerators
Rishabh Iyer, Jiacheng Ma, Katerina Argyraki, George Candea (EPFL); Sylvia Ratnasamy (UC Berkeley & Google)
Putting out the hardware dumpster fire
Ben Fiedler, Daniel Schwyn (ETH Zurich); Constantin Gierczak-Galle (ENS Paris); David Cock, Timothy Roscoe (ETH Zurich)

Lunch: 12:00–13:30

13:30–14:30: Panel on Future of Reproduction and Replication of Systems Research	Panelists: Shriram Krishnamurthi (Brown University), Margo Seltzer (University of British Columbia), Neeraja Yadwadkar (UT Austin)

Session 3: 14:30–15:15: Cache me if you can
Prefetching Using Principles of Hippocampal-Neocortical Interaction Michael Wu, Ketaki Joshi, Andrew Sheinberg (Yale University); Guilherme Cox (NVIDIA); Anurag Khandelwal, Raghavendra Pradyumna Pothukuchi, Abhishek Bhattacharjee (Yale University) Degrading Data to Save the Planet Aviad Zuck (Technion); Donald Porter (The University of North Carolina at Chapel Hill); Dan Tsafrir (Technion & VMware Research) FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion Juncheng Yang, Ziyue Qiu (Carnegie Mellon University); Yazhuo Zhang (Emory University); Yao Yue (Pelikan Foundation); Rashmi Vinayak (Carnegie Mellon University)

Session 3: 14:30–15:15: Cache me if you can

Prefetching Using Principles of Hippocampal-Neocortical Interaction
Michael Wu, Ketaki Joshi, Andrew Sheinberg (Yale University); Guilherme Cox (NVIDIA); Anurag Khandelwal, Raghavendra Pradyumna Pothukuchi, Abhishek Bhattacharjee (Yale University)
Degrading Data to Save the Planet
Aviad Zuck (Technion); Donald Porter (The University of North Carolina at Chapel Hill); Dan Tsafrir (Technion & VMware Research)
FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion
Juncheng Yang, Ziyue Qiu (Carnegie Mellon University); Yazhuo Zhang (Emory University); Yao Yue (Pelikan Foundation); Rashmi Vinayak (Carnegie Mellon University)

Session 4: 15:45–16:35: When only the largest models will do
System Virtualization for Neural Processing Units Yuqi Xue, Yiqi Liu, Jian Huang (University of Illinois Urbana Champaign) HotGPT: How to Make Software Documentation More Useful with a Large Language Model Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu (University of Chicago); Madan Musuvathi, Suman Nath (Microsoft Research)

16:35–17:30 Systems Trivia!

Dinner

Friday, June 23, 2023

Session 5: 9:00–10:15: Fast & furious data processing
Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers Cunchen Hu, Chenxi Wang, Sa Wang, Ninghui Sun, Yungang Bao (ICT, CAS); Jieru Zhao (Shanghai Jiao Tong University); Sanidhya Kashyap (EPFL); Xiaoyang Deng, Pengfei Zuo, Rongfeng He, Xushen Chen, Liangliang Xu, Qin Zhang, Hao Feng, Yizhou Shan (Huawei Cloud) Executing Shell Scripts in the Wrong Order, Correctly Georgios Liargkovas (Brown University & AUEB); Konstantinos Kallas (University of Pennsylvania); Michael Greenberg (Stevens Institute of Technology); Nikos Vasilakis (Brown University & MIT) Towards Modern Development of Cloud Applications Sanjay Ghemawat, Robert Grandl, Srdjan Petrovic, Michael Whittaker, Parveen Patel, Ivan Posva, Amin Vahdat (Google)

Session 5: 9:00–10:15: Fast & furious data processing

Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers
Cunchen Hu, Chenxi Wang, Sa Wang, Ninghui Sun, Yungang Bao (ICT, CAS); Jieru Zhao (Shanghai Jiao Tong University); Sanidhya Kashyap (EPFL); Xiaoyang Deng, Pengfei Zuo, Rongfeng He, Xushen Chen, Liangliang Xu, Qin Zhang, Hao Feng, Yizhou Shan (Huawei Cloud)
Executing Shell Scripts in the Wrong Order, Correctly
Georgios Liargkovas (Brown University & AUEB); Konstantinos Kallas (University of Pennsylvania); Michael Greenberg (Stevens Institute of Technology); Nikos Vasilakis (Brown University & MIT)
Towards Modern Development of Cloud Applications
Sanjay Ghemawat, Robert Grandl, Srdjan Petrovic, Michael Whittaker, Parveen Patel, Ivan Posva, Amin Vahdat (Google)

Session 6: 10:45–12:00: A trip down memory lane
Fabric-Centric Computing Ming Liu (UW-Madison) Towards Increased Datacenter Efficiency with Soft Memory Megan Frisella, Shirley Loayza Sanchez, Malte Schwarzkopf (Brown University) NextGen-Malloc: Giving Memory Allocator Its Own Room in the House Ruihao Li, Qinzhe Wu (The University of Texas at Austin); Krishna Kavi, Gayatri Mehta (University of North Texas); Neeraja J. Yadwadkar, Lizy John (The University of Texas at Austin)

Session 6: 10:45–12:00: A trip down memory lane

Fabric-Centric Computing
Ming Liu (UW-Madison)
Towards Increased Datacenter Efficiency with Soft Memory
Megan Frisella, Shirley Loayza Sanchez, Malte Schwarzkopf (Brown University)
NextGen-Malloc: Giving Memory Allocator Its Own Room in the House
Ruihao Li, Qinzhe Wu (The University of Texas at Austin); Krishna Kavi, Gayatri Mehta (University of North Texas); Neeraja J. Yadwadkar, Lizy John (The University of Texas at Austin)

Lunch: 12:00–13:30

Session 7: 13:30–14:45: OS kernels: what do we want in them?
Automatic kernel offload using BPF Farbod Shahinfar (Politecnico di Milano); Sebastiano Miano (Queen May University of London); Giuseppe Siracusano, Roberto Bifulco (NEC Laboratories Europe); Aurojit Panda (New York University); Gianni Antichi (Politecnico di Milano and Queen Mary University of London) Kernel extension verification is untenable Jinghao Jia (University of Illinois Urbana-Champaign); Raj Sahu, Adam Oswald, Dan Williams (Virginia Tech); Michael V. Le (IBM Research); Tianyin Xu (University of Illinois at Urbana-Champaign) Beyond isolation: OS verification as a foundation for correct applications Matthias Brun (ETH Zurich); Reto Achermann (University of British Columbia); Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada (VMware Research)

Session 7: 13:30–14:45: OS kernels: what do we want in them?

Automatic kernel offload using BPF
Farbod Shahinfar (Politecnico di Milano); Sebastiano Miano (Queen May University of London); Giuseppe Siracusano, Roberto Bifulco (NEC Laboratories Europe); Aurojit Panda (New York University); Gianni Antichi (Politecnico di Milano and Queen Mary University of London)
Kernel extension verification is untenable
Jinghao Jia (University of Illinois Urbana-Champaign); Raj Sahu, Adam Oswald, Dan Williams (Virginia Tech); Michael V. Le (IBM Research); Tianyin Xu (University of Illinois at Urbana-Champaign)
Beyond isolation: OS verification as a foundation for correct applications
Matthias Brun (ETH Zurich); Reto Achermann (University of British Columbia); Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada (VMware Research)

Session 8: 15:15–16:30: OS kernels: what don’t we want in them?
Evolving OS kernels towards secure kernel-driver interfaces Anton Burtsev, Vikram Narayanan (University of Utah); Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger (Pennsylvania State University) Why write code when you can synthesize address translations? Reto Achermann, Ilias Karimalis, Margo Seltzer (University of British Columbia) FBMM: Using the VFS for extensibility Bijan Tabatabai, Mark Mansi, Michael M. Swift (University of Wisconsin-Madison)

Session 8: 15:15–16:30: OS kernels: what don’t we want in them?

Evolving OS kernels towards secure kernel-driver interfaces
Anton Burtsev, Vikram Narayanan (University of Utah); Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger (Pennsylvania State University)
Why write code when you can synthesize address translations?
Reto Achermann, Ilias Karimalis, Margo Seltzer (University of British Columbia)
FBMM: Using the VFS for extensibility
Bijan Tabatabai, Mark Mansi, Michael M. Swift (University of Wisconsin-Madison)

16:45–18:00: Panel on Sustainable Systems	Panelists: Babak Falsafi (EPFL), Carole-Jean Wu (Meta), Andrew Chien (University of Chicago) Organizers: Jaylen Wang (Carnegie Mellon University), Udit Gupta (Cornell University), Akshitha Sriraman (Carnegie Mellon University)

Saturday, June 24, 2023

Session 9: 9:00–10:15: Let’s get disaggregated!
Programming Fully Disaggregated Systems Christoph Anneser, Lukas Vogel, Ferdinand Gruber, Maximilian Bandle, Jana Giceva (Technical University of Munich) Unleashing True Utility Computing with Quicksand Zhenyuan Ruan (MIT); Shihang Li (Brown University); Kaiyan Fan (MIT); Marcos K. Aguilera (VMware Research); Adam Belay (MIT CSAIL); Seo Jin Park (Google); Malte Schwarzkopf (Brown University) Towards a Manageable Intra-Host Network Xinhao Kong (Duke University); Jiaqi Lou (UIUC); Wei Bai (Microsoft Research); Nan Sung Kim (UIUC); Danyang Zhuo (Duke University)

Session 9: 9:00–10:15: Let’s get disaggregated!

Programming Fully Disaggregated Systems
Christoph Anneser, Lukas Vogel, Ferdinand Gruber, Maximilian Bandle, Jana Giceva (Technical University of Munich)
Unleashing True Utility Computing with Quicksand
Zhenyuan Ruan (MIT); Shihang Li (Brown University); Kaiyan Fan (MIT); Marcos K. Aguilera (VMware Research); Adam Belay (MIT CSAIL); Seo Jin Park (Google); Malte Schwarzkopf (Brown University)
Towards a Manageable Intra-Host Network
Xinhao Kong (Duke University); Jiaqi Lou (UIUC); Wei Bai (Microsoft Research); Nan Sung Kim (UIUC); Danyang Zhuo (Duke University)

Session 10: 10:45–12:00: I see nothing. I know nothing.
Towards (Really) Safe and Fast Confidential I/O Hugo Lefeuvre (The University of Manchester); David Chisnall (Azure Research Microsoft); Marios Kogias (Imperial College London & Azure Research Microsoft); Pierre Olivier (The University of Manchester) Access Control for Database Applications: Beyond Policy Enforcement Wen Zhang (UC Berkeley); Aurojit Panda (New York University); Scott Shenker (ICSI AND UC Berkeley) Creating Trust by Abolishing Hierarchies Charly Castes (EPFL); Adrien Ghosn (Microsoft Research); Neelu S. Kalani, Yuchen Qian (EPFL); Marios Kogias (Imperial College London & Microsoft Research); Mathias Payer, Edouard Bugnion (EPFL)

Session 10: 10:45–12:00: I see nothing. I know nothing.

Towards (Really) Safe and Fast Confidential I/O
Hugo Lefeuvre (The University of Manchester); David Chisnall (Azure Research Microsoft); Marios Kogias (Imperial College London & Azure Research Microsoft); Pierre Olivier (The University of Manchester)
Access Control for Database Applications: Beyond Policy Enforcement
Wen Zhang (UC Berkeley); Aurojit Panda (New York University); Scott Shenker (ICSI AND UC Berkeley)
Creating Trust by Abolishing Hierarchies
Charly Castes (EPFL); Adrien Ghosn (Microsoft Research); Neelu S. Kalani, Yuchen Qian (EPFL); Marios Kogias (Imperial College London & Microsoft Research); Mathias Payer, Edouard Bugnion (EPFL)