• On the Complexity of Checking Consistency for Replicated Data Types.

  with Constantin Enea and Michael Emmi: CAV 2019

• Checking Causal Consistency of Distributed Databases.

  with Rachid Zennou, Ahmed Bouajjani, Constantin Enea and Mohammed Erradi: NETYS 2019

• On the complexity of checking transactional consistency.

  with Constantin Enea: OOPSLA 2019

• MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.

  with Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal: OOPSLA 2021 [OOPSLA artifact, Microsoft repository]