Enrique Román-Calvo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Real Time Database Systems

Dynamic Environments

Transaction Data

Top Venues

Proc. ACM Program. Lang.

Publications

Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels. CoRR (2023)