On the Complexity of Checking Consistency for Replicated Data Types.
with Constantin Enea and Michael Emmi: CAV 2019Checking Causal Consistency of Distributed Databases.
with Rachid Zennou, Ahmed Bouajjani, Constantin Enea and Mohammed Erradi: NETYS 2019On the complexity of checking transactional consistency.
with Constantin Enea: OOPSLA 2019MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.
with Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal: OOPSLA 2021 [OOPSLA artifact, Microsoft repository]