Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction. - Syed Kewaan Ejaz; Diogo Behrens; Thomas Knauth; Christof Fetzer (IEEE CLOUD, 2013)

Towards transparent hardening of distributed systems. - Diogo Behrens; Christof Fetzer; Flavio Paiva Junqueira; Marco Serafini (HotDep, 2013)

Automatically Tolerating Arbitrary Faults in Non-malicious Settings. - Diogo Behrens; Stefan Weigert; Christof Fetzer (LADC, 2013)

HardPaxos: Replication Hardened against Hardware Errors. - Diogo Behrens; Dmitrii Kuvaiskii; Christof Fetzer (SRDS, 2014)

Scalable Error Isolation for Distributed Systems. - Diogo Behrens; Marco Serafini; Flavio Paiva Junqueira; Sergei Arnautov; Christof Fetzer (NSDI, 2015)

Error isolation in distributed systems. - Diogo Behrens (2016)

Fighting Spam in Dating Apps. - Uwe Jugel; Juan De Dios Santos; Evelyn Trautmann; Diogo Behrens (BTW, 2019)

VSync: push-button verification and optimization for synchronization primitives on weak memory models. - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

Verifying and Optimizing the HMCS Lock for Arm Servers. - Jonas Oberhauser; Lilith Oberhauser; Antonio Paolillo; Diogo Behrens; Ming Fu; Viktor Vafeiadis (NETYS, 2021)

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. - Rafael Lourenco de Lima Chehab; Antonio Paolillo; Diogo Behrens; Ming Fu; Hermann Härtig; Haibo Chen 001 (SOSP, 2021)

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 2021)

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. - Antonio Paolillo; Hernán Ponce de León; Thomas Haas; Diogo Behrens; Rafael Lourenco de Lima Chehab; Ming Fu; Roland Meyer 001 (CoRR, 2021)

BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. - Jiawei Wang; Diogo Behrens; Ming Fu; Lilith Oberhauser; Jonas Oberhauser; Jitang Lei; Geng Chen; Hermann Härtig; Haibo Chen 001 (USENIX ATC, 2022)

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. - Martin Beck; Koustubha Bhat; Lazar Stricevic; Geng Chen; Diogo Behrens; Ming Fu; Viktor Vafeiadis; Haibo Chen 001; Hermann Härtig (ASPLOS (2), 2023)

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. - Jiawei Wang; Bohdan Trach; Ming Fu; Diogo Behrens; Jonathan Schwender; Yutao Liu; Jitang Lei; Viktor Vafeiadis; Hermann Härtig; Haibo Chen 001 (OSDI, 2023)

Enabling Efficient Mobile Tracing with BTrace. - Jiawei Wang; Nian Liu; Arnau Casadevall-Saiz; Yutao Liu; Diogo Behrens; Ming Fu; Ning Jia; Hermann Härtig; Haibo Chen 001 (ASPLOS (2), 2025)