Research Interests

I am intersted in programming languages, concurrency, distributed systems and software verification. Specifically, I am interested in formal description of distributed systems and the study on algorithms for testing/verifying their correctness.

Publications

• Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
  Ahmed Bouajjani, Constantin Enea, Enrique Román Calvo
  PLDI 2023 [doi] [bib] [Github] [Full version]
• On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
  Ahmed Bouajjani, Constantin Enea, Enrique Román Calvo
  CAV 2025 [Github] [Full version]

.