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.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.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.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.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.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.Understanding and Mitigating Latency Variability of Latency-Critical Applications
Lausanne, EPFL, 2020.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.R3P2: a Replicated Request-Response Pair Protocol
2019.Scaling Out Bioinformatics in the Data Center
Lausanne, EPFL, 2019.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.FCR: Fast and Consistent Controller-Replication in Software Defined Networking
Ieee Access. 2019. Vol. 7, p. 170589 – 170603. DOI : 10.1109/ACCESS.2019.2955554.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.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
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.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.Hardware and Software Support for Virtualization
Mogan & Claypool, 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.Porting a driver for the Intel XL710 40GbE NIC to the IX Dataplane Operating System
2017.Storage in IX: a High Performance Storage Layer for a Dataplane Operating System
2017.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.The Case for RackOut: Scalable Data Serving Using Rack-Scale Systems
2016. ACM Symposium on Cloud Computing, Santa Clara, USA, October 05-07, 2016. DOI : 10.1145/2987550.2987577.An Analysis of Load Imbalance in Scale-out Data Serving
2016. ACM SIGMETRICS, Antibes Juan-Les-Pins, France, June 14-18, 2016. p. 367 – 368. DOI : 10.1145/2896377.2901501.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