Diogo Behrens

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.
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.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.
CoRR, 2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).
CoRR, 2021

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Verifying and Optimizing the HMCS Lock for Arm Servers.
Proceedings of the Networked Systems - 9th International Conference, 2021

VSync: push-button verification and optimization for synchronization primitives on weak memory models.
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.
Proceedings of the Datenbanksysteme für Business, 2019

2016
Error isolation in distributed systems.
PhD thesis, 2016

2015
Scalable Error Isolation for Distributed Systems.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014
HardPaxos: Replication Hardened against Hardware Errors.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2013
Automatically Tolerating Arbitrary Faults in Non-malicious Settings.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Towards transparent hardening of distributed systems.
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013


  Loading...