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
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022
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
Fighting Spam in Dating Apps.
Proceedings of the Datenbanksysteme für Business, 2019
Error isolation in distributed systems.
PhD thesis, 2016
Scalable Error Isolation for Distributed Systems.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015
HardPaxos: Replication Hardened against Hardware Errors.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014
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