2024
Duplicate detection against data leakage in a company setting
2024.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.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.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.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.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.Hidden Filesystem Design and Improvement
2022.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.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.Enclosure: Language-Based Restriction of Untrusted Libraries
2021. ASPLOS 21, Virtual Conference, April 19-23, 2021. p. 255 – . DOI : 10.1145/3445814.3446728.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.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.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.Extending R2P2 with Congestion Control and Request-Level Scheduling
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.FCR: Fast and Consistent Controller-Replication in Software Defined Networking
Ieee Access. 2019. Vol. 7, p. 170589 – 170603. DOI : 10.1109/ACCESS.2019.2955554.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.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.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.Lancet: A self-correcting Latency Measuring Tool
2019. USENIX Annual Technical Conference 2019, Renton, WA, USA, July 10-12, 2019. p. 881 – 895.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.Bridging the gap between dataplanes and commodity operating systems
Lausanne, EPFL, 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.2017
Persona: A High-Performance Bioinformatics Framework
2017. USENIX Annual Technical Conference 2017, Santa Clara, California, USA, July 12-14, 2017.Measuring Latency: Am I doing it right?
14th USENIX Symposium on Networked Systems Design and Implementation, Boston, Massachusetts, USA, March 27-29, 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.Storage in IX: a High Performance Storage Layer for a Dataplane Operating System
2017.Hardware and Software Support for Virtualization
Mogan & Claypool, 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.Rack-Scale Memory Pooling for Datacenters
Lausanne, EPFL, 2017.2016
IX Open-source version 1.1 – Deployment and Evaluation Guide
2016