Enrique Román Calvo

University of Freiburg

Georges-Köhler-Allee 52

79110 Freiburg

building 052, room 00-022

Research Interests

Program Verification, Concurrency, Distributed Systems

Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels, in
PLDI 2023, together with Ahmed Bouajjani and Constantin Enea [doi] [full paper]

If you are interested in a project or thesis, send me an email.

Please send me an e-mail to make an appointment.