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

• On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
  Ahmed Bouajjani, Constantin Enea, Enrique Román Calvo
  CAV 2025 [doi] [bib] [Github] [Full version]

• 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]

Research Activities

• External Reviewer
  [PODC 2025] [PODC 2024] [TACAS 2024]