ICGT 2024
Wed 10 - Thu 11 July 2024 Enschede, Netherlands
co-located with STAF 2024
Wed 10 Jul 2024 15:30 - 16:00 at Waaier 2 - ICGT Session 3 Chair(s): Fernando Orejas

Distributed databases are surging in popularity with the growing need for performance and fault tolerance. However, implementing transaction isolation models on distributed databases is challenging due to their sharding and replication. As a result, they can produce executions that violate their claimed isolation guarantees. We propose a novel, system-agnostic methodology centered around the usage of graph databases to efficiently detect isolation violations expressed as anti-patterns in transactional dependency graphs. To illustrate, we introduce the GRAIL framework, implemented on top of the popular ArangoDB and Neo4j graph databases. GRAIL combines soundness and high performance with understandable counter-examples. We show that GRAIL outperforms the state-of-the-art checkers through an extensive experimental analysis of real execution histories collected in both the single-node and cluster settings of ArangoDB as a system under test.

Wed 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
ICGT Session 3ICGT Research Papers at Waaier 2
Chair(s): Fernando Orejas Universitat Politècnica de Catalunya
15:30
30m
Talk
Checking Transaction Isolation Violations with Graph Queries
ICGT Research Papers
Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, P: Jingxuan Qiu Delft University of Technology
16:00
30m
Talk
Modular language product lines: concept, tool and analysisJournal-first paper
ICGT Research Papers
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome
Link to publication DOI
16:30
30m
Talk
Taint Analysis for Graph APIs Focusing on Broken Access Control
ICGT Research Papers
Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg
DOI