Diogo Behrens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Enabling Efficient Mobile Tracing with BTrace. | Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Hrtig, Haibo Chen |
| 2023 | ASPLOS | 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 Hrtig |
| 2023 | OSDI | 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 Hrtig, Haibo Chen |
| 2022 | USENIX | 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 Hrtig, Haibo Chen |
| 2021 | ASPLOS | 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 |
| 2021 | SOSP | CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. | Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2019 | BTW | Fighting Spam in Dating Apps. | Uwe Jugel, Juan De Dios Santos, Evelyn Trautmann, Diogo Behrens |
| 2015 | NSDI | Scalable Error Isolation for Distributed Systems. | Diogo Behrens, Marco Serafini, Flavio Paiva Junqueira, Sergei Arnautov, Christof Fetzer |
| 2014 | SRDS | HardPaxos: Replication Hardened against Hardware Errors. | Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer |