Diogo Behrens

According to our database, Diogo Behrens authored at least 15 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

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, Hermann Härtig

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

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

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

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

CoRR, 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, Jaeho Kim, Viktor Vafeiadis

CoRR, 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

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Verifying and Optimizing the HMCS Lock for Arm Servers.

Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis

Proceedings of the Networked Systems - 9th International Conference, 2021

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, Jaeho Kim, Viktor Vafeiadis

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2019

Fighting Spam in Dating Apps.

Uwe Jugel, Juan De Dios Santos, Evelyn Trautmann, Diogo Behrens

Proceedings of the Datenbanksysteme für Business, 2019

2016

Error isolation in distributed systems.

Diogo Behrens

PhD thesis, 2016

2015

Scalable Error Isolation for Distributed Systems.

Diogo Behrens, Marco Serafini, Flavio Paiva Junqueira, Sergei Arnautov, Christof Fetzer

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

HardPaxos: Replication Hardened against Hardware Errors.

Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2013

Automatically Tolerating Arbitrary Faults in Non-malicious Settings.

Diogo Behrens, Stefan Weigert, Christof Fetzer

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Towards transparent hardening of distributed systems.

Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction.

Syed Kewaan Ejaz, Diogo Behrens, Thomas Knauth, Christof Fetzer

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013