Anchor: A Library for Building Secure Persistent Memory Systems.
Proc. ACM Manag. Data, December, 2023
SafePM: a sanitizer for persistent memory.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
Investigating the semantics of futures in transactional memory systems.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021
Extending hardware transactional memory capacity via rollback-only transactions and suspend/resume.
Distributed Comput., 2020
Giving Future(s) to Transactional Memory.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020
Exploiting Symbolic Execution to Accelerate Deterministic Databases.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
Scalable range locks for scalable address spaces and beyond.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020
Kollaps: decentralized and dynamic topology emulation.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020
Stretching the capacity of hardware transactional memory in IBM POWER architectures.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Techniques for Enhancing the Efficiency of Transactional Memory Systems.
PhD thesis, 2018
Speculative Read Write Locks.
Proceedings of the 19th International Middleware Conference, 2018
Enhancing Efficiency of Hybrid Transactional Memory Via Dynamic Data Partitioning Schemes.
Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018
Hardware read-write lock elision.
Proceedings of the Eleventh European Conference on Computer Systems, 2016
Green-CM: Energy Efficient Contention Management for Transactional Memory.
Proceedings of the 44th International Conference on Parallel Processing, 2015