Diogo Behrens

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Venues

CoRR

SRDS

USENIX Annual Technical Conference

ASPLOS (2)

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI (2023)
Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) (2023)
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX Annual Technical Conference (2022)
Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis
Verifying and Optimizing the HMCS Lock for Arm Servers. NETYS (2021)
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
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR (2021)
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP (2021)
Antonio Paolillo, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR (2021)
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
VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS (2021)
Uwe Jugel, Juan De Dios Santos, Evelyn Trautmann, Diogo Behrens
Fighting Spam in Dating Apps. BTW (2019)
Diogo Behrens, Marco Serafini, Flavio Paiva Junqueira, Sergei Arnautov, Christof Fetzer
Scalable Error Isolation for Distributed Systems. NSDI (2015)
Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer
HardPaxos: Replication Hardened against Hardware Errors. SRDS (2014)
Diogo Behrens, Stefan Weigert, Christof Fetzer
Automatically Tolerating Arbitrary Faults in Non-malicious Settings. LADC (2013)
Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini
Towards transparent hardening of distributed systems. HotDep (2013)
Syed Kewaan Ejaz, Diogo Behrens, Thomas Knauth, Christof Fetzer
Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction. IEEE CLOUD (2013)

Diogo Behrens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Diogo Behrens