Distributed-Systems

• [Apr 2025] Consistency models and their interplay
• [Apr 2022] Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects
• [Mar 2022] Exploiting the commutativity lattice for parallelism