GRAIL: Checking Transaction Isolation Violations with Graph Queries.

Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu

Browse the full ICSE paper archive.