Diogo Behrens - RankMe

16 papers A* 3B 1Misc 2Journal 2Unranked 7

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