Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
2023-01-01. 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, 23 October 2023. p. 26-33. DOI : 10.1145/3623759.3624548.A RISC-V Extension to Minimize Privileges of Enclave Runtimes
2023-05-08. SysTEX ’23 (Colocated with EuroSys’23), Rome, Italy, May 8-12, 2023. DOI : 10.1145/3578359.3593040.Application-Informed Kernel Synchronization Primitives
2022-01-01. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, JUL 11-13, 2022. p. 667-682.ODINFS: Scaling PM Performance with Opportunistic Delegation
2022-01-01. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, JUL 11-13, 2022. p. 179-193.Attestable Software Versioning for Stateful Confidential Computing
2022-03-01. 5th Workshop on System Software for Trusted Execution (SysTEX 2022), Lausanne, Switzerland, March 1st, 2022.Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
2022-01-01. 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.Decentralized in-order execution of a sequential task-based code for shared-memory architectures
2022-01-01. 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.Deploying Decentralized, Privacy-Preserving Proximity Tracing
Communications Of The Acm. 2022-09-01. Vol. 65, num. 9, p. 48-57. DOI : 10.1145/3524107.A Use Case Oriented Survey of Self-Sovereign Identity
2022-08-23.Trust as a Programming Primitive
Lausanne, EPFL, 2021.Building a path towards responsible use of Biometrics
2021-04-15.When to Hedge in Interactive Services
2021-02-16. 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-02-15. ASPLOS 21, Virtual Conference, April 19-23, 2021. p. 559–572. DOI : 10.1145/3445814.3446714.Enclosure: Language-Based Restriction of Untrusted Libraries
2021-02-15. ASPLOS 21, Virtual Conference, April 19-23, 2021. p. 255–267. DOI : 10.1145/3445814.3446728.A research agenda for digital proximity tracing apps
Swiss Medical Weekly. 2020-07-16. Vol. 150, p. w20324. DOI : 10.4414/smw.2020.20234.Early evidence of effectiveness of digital contact tracing for SARS-CoV-2 in Switzerland
Swiss Medical Weekly. 2020-12-16. Vol. 150, p. w20457. DOI : 10.4414/smw.20457.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.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.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.Introduction to the Swiss Data Custodian
2019
Prefetched Address Translation
2019-01-01. 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-01-01. Vol. 7, p. 170589-170603. DOI : 10.1109/ACCESS.2019.2955554.A zero-copy key-value store in Rust
2019-05-13.Measuring Network Service Latencies with a Programmable Dataplane
2019-07-17.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.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.Mitigating Load Imbalance in Distributed Data Serving with Rack-Scale Memory Pooling
ACM Transactions on Computer Systems. 2019-04-01. Vol. 36, num. 2, p. 1-37. DOI : 10.1145/3309986.Design Guidelines for High-Performance SCM Hierarchies
2018-10-01. 4th International Symposium on Memory Systems (MEMSYS), Old Town Alexandria, VA, USA, October 1-4, 2018. DOI : 10.1145/3240302.3240310.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.Advancing the State of Network Switch ASIC Offloading in the Linux Kernel
2018-03-29.Storage in IX: a High Performance Storage Layer for a Dataplane Operating System
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.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.Persona: A High-Performance Bioinformatics Framework
2017. USENIX Annual Technical Conference 2017, Santa Clara, California, USA, July 12-14, 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.Rack-Scale Memory Pooling for Datacenters
Lausanne, EPFL, 2017.The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplan
ACM Transactions on Computer Systems. 2016. Vol. 34, num. 4, p. 1-39. DOI : 10.1145/2997641.VNToR: Network Virtualization at the Top-of-Rack Switch
2016. ACM Symposium on Cloud Computing. DOI : 10.1145/2987550.2987582.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.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.IX Open-source version 1.1 – Deployment and Evaluation Guide
2016