PCcheck: Persistent Concurrent Checkpointing for ML
ASPLOS 2025
I am an Assistant Professor at the Systems Group at the department of Computer Science of ETH Zurich. My research interests are broad and include systems, concurrent computing, programming languages and sustainable computing. My research focuses on designing system fundamentals, across software and hardware, to improve the performance and efficiency while guaranteeing correctness of next-generation computing platforms and emerging technologies.
Prior to that, I did my postdoc at the Systems Group at ETH, working with Prof. Gustavo Alonso. I completed my Ph.D. in Computer Science at the Technion, advised by Prof. Erez Petrank, and was generously supported by the Azrieli Foundation Fellowship. During my Ph.D I developed concurrent data structures for non-volatile memories. I completed my BSc summa cum laude at the Computer Science Department at the Technion.
Awards
- 2022 - The Eric and Wendy Schmidt Postdoctoral Award
- 2021 - Blavatnik Prize for outstanding PhD students in CS
- 2018 – 2021 - Azrieli Graduate Studies Fellowship for outstanding PhD students
- 2019 - Distinguished Paper Award for “Efficient Lock‑Free Durable Sets”
- 2019 - Muriel and David Jacknow Prize for excellence in teaching
- 2018 - Excelling TA ‑ Data Structures 1, twice commended for excellence as a TA
- 2016 - 2018 - Excelling TA ‑ Algorithms 1, four times commended for excellence as a TA
- 2016 - Amdocs Best Project Contest, 1st place at the excellent projects competition in CS
- 2016 - Technion Graduate Scholarships, excellence scholarship for graduate studies
- 2015 - Intel Excellence Award for outstanding and prominent students in their fields
- 2015 - Technion Graduation Summa Cum Laude, GPA: 93.5/100
- 2015 - Technion Intel Challenge, 2nd place at the excellent projects competition in CS and EE
Academic Service
- ASPLOS’2026 - PC member
- SOSP’2026 - Co-Chair of SRC (student research competition)
- SYSTOR’2025 - PC member
- HPDC’2025 - PC member
- DIMES’2024 - PC member
- PPoPP’2024 - PC member
- PPoPP’2023 - PC member
- VLDB’2023 - PC member
- SC’2023 - PC member
- DIMES’2023 - PC member
- ACM SYSTOR’2020 - Publicity Chair
Selected Publications
Dirigent: Lightweight Serverless Orchestration
SOSP 2024
Skip It: Take Control of Your Cache!
ASPLOS 2024
PLayer: Expanding Coherence Protocol Stack with a Persistence Layer
DIMES 2023
EnergAt: Fine-Grained Energy Attribution for Multi-Tenancy
HotCarbon 2023
NVM: Is it Not Very Meaningful for Databases?
VLDB 2023
Survey of Persistent Memory Correctness Conditions
DISC 2022
FliT: A Library for Simple and Efficient Persistent Algorithms
PPoPP 2022
Mirror: making lock-free data structures persistent
PLDI 2021
NVTraverse: In NVRAM data structures, the destination is more important than the journey
PLDI 2020
Efficient Lock-Free Durable Sets
OOPSLA 2019
Delay-Free Concurrency on Faulty Persistent Memory
SPAA 2019
A Persistent Queue for Non-Volatile Memory
PPoPP 2018
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA 2017
PhD Thesis
Concurrent Data Structures for Non-Volatile Memory
Doctoral Thesis 2021
Tutorials
Understanding CXL: Memory, Coherence, and Opportunities in System Design
ASPLOS 2025
Abstractions and Algorithms for Efficiently Programming NVRAMs
PPoPP 2020