2026
On Attestation Dilution
2026. 9th Workshop on System Software for Trusted Execution (SysTEX 2026), McEwan Hall/The University of Edinburgh Edinburgh Scotland UK, 2026-04-27 – 2026-04-30. p. 86 – 88. DOI : 10.1145/3805690.3805728.2025
Keeping the Dream Alive the Power and Promise of Federally Funded Research
COMMUNICATIONS OF THE ACM. 2025. Vol. 68, num. 12. DOI : 10.1145/3763021.Communications Practice Section Welcomes Submissions
Communications of the ACM. 2025. Vol. 68, num. 11, p. 7 – 7. DOI : 10.1145/3771297.The Design and Implementation of a Virtual Firmware Monitor
2025. ACM SIGOPS 31st Symposium on Operating Systems Principles, Seoul, Republic of Korea, 2025-10-13 – 2025-10-16. p. 85 – 100. DOI : 10.1145/3731569.3764826.Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
2025. The ACM SIGOPS 20th Workshop on Hot Topics in Operating Systems, Banff, Canada, 2025-05-14 – 2025-05-16. p. 27 – 33. DOI : 10.1145/3713082.3730373.Parendi: Thousand-Way Parallel RTL Simulation
2025. ASPLOS ’25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Rotterdam Netherlands, 2025-03-30 – 2025-04-03. p. 783 – 797. DOI : 10.1145/3676641.3716010.Shattering the Ephemeral Storage Cost Barrier for Data-Intensive Serverless Workflows
2025. Twentieth European Conference on Computer Systems (EuroSys 2025), Rotterdam, Netherlands, 2025-03-30 – 2025-04-03. p. 33 – 41. DOI : 10.1145/3721465.3721866.Enhancing the Receiver-Driven Transport Paradigm with Sender Congestion Information
Lausanne, EPFL, 2025.2024
Duplicate detection against data leakage in a company setting
2024.Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs
2024. ASPLOS ’24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4, San Diego, CA, USA, 2024-04-27 – 2024-05-01. p. 267 – 281. DOI : 10.1145/3622781.3674190.A 475 MHz Manycore FPGA Accelerator for RTL Simulation
2024. 32 ACM International Symposium on Field-Programmable Gate Arrays, Monterey, United States, 2024-03-03 – 2024-03-05. p. 78 – 84. DOI : 10.1145/3626202.3637579.Highly Parallel RTL Simulation
Lausanne, EPFL, 2024.2023
A RISC-V Extension to Minimize Privileges of Enclave Runtimes
2023. SysTEX ’23 (Colocated with EuroSys’23), Rome, Italy, May 8-12, 2023. DOI : 10.1145/3578359.3593040.Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
2023. 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Vancouver, CANADA, MAR 25-29, 2023. p. 219 – 237. DOI : 10.1145/3623278.3624750.Creating Trust by Abolishing Hierarchies
2023. 19th Workshop on Hot Topics in Operating Systems (HOTOS ’23), Providence, RI, USA, June 22 – 24, 2023. p. 231 – 238. DOI : 10.1145/3593856.3595900.Dynamic Linkers Are the Narrow Waist of Operating Systems
2023. 12th Workshop on Programming Languages and Operating Systems, Koblenz, Germany, 2023-10-23. p. 26 – 33. DOI : 10.1145/3623759.3624548.2022
Deploying Decentralized, Privacy-Preserving Proximity Tracing
Communications Of The Acm. 2022. Vol. 65, num. 9, p. 48 – 57. DOI : 10.1145/3524107.A Use Case Oriented Survey of Self-Sovereign Identity
2022.Attestable Software Versioning for Stateful Confidential Computing
2022. 5th Workshop on System Software for Trusted Execution (SysTEX 2022), Lausanne, Switzerland, March 1st, 2022.Hidden Filesystem Design and Improvement
2022.Decentralized in-order execution of a sequential task-based code for shared-memory architectures
2022. 36th IEEE International Parallel and Distributed Processing Symposium (IEEE IPDPS), ELECTR NETWORK, May 30-Jun 03, 2022. p. 552 – 561. DOI : 10.1109/IPDPSW55747.2022.00095.Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
2022. 31st International Conference on Parallel Architectures and Compilation Techniques (PACT), Chicago, IL, Oct 08-12, 2022. p. 398 – 411. DOI : 10.1145/3559009.3569659.2021
Building a path towards responsible use of Biometrics
2021.When to Hedge in Interactive Services
2021. 18th USENIX Symposium on Networked Systems Design and Implementation, Virtual Conference, April 12-14, 2021. p. 373 – 388.Enclosure: Language-Based Restriction of Untrusted Libraries
2021. ASPLOS 21, Virtual Conference, April 19-23, 2021. p. 255 – . DOI : 10.1145/3445814.3446728.Benchmarking, Analysis, and Optimization of Serverless Function Snapshots
2021. ASPLOS 21, Virtual Conference, April 19-23, 2021. p. 559 – 572. DOI : 10.1145/3445814.3446714.Trust as a Programming Primitive
Lausanne, EPFL, 2021.2020
Early evidence of effectiveness of digital contact tracing for SARS-CoV-2 in Switzerland
Swiss Medical Weekly. 2020. Vol. 150, p. w20457. DOI : 10.4414/smw.20457.A research agenda for digital proximity tracing apps
Swiss Medical Weekly. 2020. Vol. 150, p. w20324. DOI : 10.4414/smw.2020.20234.SLOG: Your switch is also your load-generator
NSDI’20: 17th USENIX Symposium on Networked Systems Design and Implementation, Santa Clara, CA, USA, February 25–27, 2020.Extending R2P2 with Congestion Control and Request-Level Scheduling
2020.HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services
2020. EuroSys 2020, Heraklion, Crete, Greece, Avril 27-30, 2020. DOI : 10.1145/3342195.3387545.Tail-tolerance as a Systems Principle not a Metric
2020. 4th Asia-Pacific Workshop on Networking (APNet), ELECTR NETWORK, 2020-08-03 – 2020-08-04. p. 16 – 22. DOI : 10.1145/3411029.3411032.Operating System and Network Co-Design for Latency-Critical Datacenter Applications
Lausanne, EPFL, 2020.Understanding and Mitigating Latency Variability of Latency-Critical Applications
Lausanne, EPFL, 2020.2019
Measuring Network Service Latencies with a Programmable Dataplane
2019.A zero-copy key-value store in Rust
2019.Mitigating Load Imbalance in Distributed Data Serving with Rack-Scale Memory Pooling
ACM Transactions on Computer Systems. 2019. Vol. 36, num. 2, p. 1 – 37. DOI : 10.1145/3309986.R3P2: a Replicated Request-Response Pair Protocol
2019.R2P2: Making RPCs first-class datacenter citizens
2019. USENIX Annual Technical Conference 2019, Renton, WA, USA, July 10-12, 2019. p. 863 – 879.Lancet: A self-correcting Latency Measuring Tool
2019. USENIX Annual Technical Conference 2019, Renton, WA, USA, July 10-12, 2019. p. 881 – 895.Secured Routines: Language-based Construction of Trusted Execution Environments
2019. USENIX Annual Technical Conference 2019, Renton, WA, USA, July 10-12, 2019. p. 571 – 585.Prefetched Address Translation
2019. 52nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), Columbus, OH, Oct 12-16, 2019. p. 1023 – 1036. DOI : 10.1145/3352460.3358294.Scaling Out Bioinformatics in the Data Center
Lausanne, EPFL, 2019.FCR: Fast and Consistent Controller-Replication in Software Defined Networking
Ieee Access. 2019. Vol. 7, p. 170589 – 170603. DOI : 10.1109/ACCESS.2019.2955554.2018
Design Guidelines for High-Performance SCM Hierarchies
2018. 4th International Symposium on Memory Systems (MEMSYS), Old Town Alexandria, VA, USA, October 1-4, 2018. DOI : 10.1145/3240302.3240310.Advancing the State of Network Switch ASIC Offloading in the Linux Kernel
2018.Flow control for Latency-Critical RPCs
2018. KBNets’18: ACM SIGCOMM 2018 Afternoon Workshop on Kernel Bypassing Networks, Budapest, Hungary, 20-09,2018. DOI : 10.1145/3229538.3229541.Bridging the gap between dataplanes and commodity operating systems
Lausanne, EPFL, 2018.2017
ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks
2017. 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October 28, 2017. DOI : 10.1145/3132747.3132780.Porting a driver for the Intel XL710 40GbE NIC to the IX Dataplane Operating System
2017.Hardware and Software Support for Virtualization
Mogan & Claypool, 2017.Measuring Latency: Am I doing it right?
14th USENIX Symposium on Networked Systems Design and Implementation, Boston, Massachusetts, USA, March 27-29, 2017.Persona: A High-Performance Bioinformatics Framework
2017. USENIX Annual Technical Conference 2017, Santa Clara, California, USA, July 12-14, 2017.Storage in IX: a High Performance Storage Layer for a Dataplane Operating System
2017.Rack-Scale Memory Pooling for Datacenters
Lausanne, EPFL, 2017.How to Measure the Killer Microsecond
2017. ACM SIGCOMM 2017 Workshop on Kernel-Bypass Networks (KBNets’17), Los Angeles, CA, USA, August 21, 2017. p. 37 – 42. DOI : 10.1145/3098583.3098590.2016
SABRes: Atomic Object Reads for In-Memory Rack-Scale Computing
2016. 49th Annual IEEE/ACM International Symposium on Microarchitecture, Taipei, Taiwan, October 15-19, 2016. DOI : 10.1109/MICRO.2016.7783709.VNToR: Network Virtualization at the Top-of-Rack Switch
2016. ACM Symposium on Cloud Computing. DOI : 10.1145/2987550.2987582.IX Open-source version 1.1 – Deployment and Evaluation Guide
2016