3 papers
cs.PL2026
Language-Integrated Recursive Queries (Full Version)
Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki +1
Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, rely on fixed-point computations. The introduction of recursi…
cs.DB2025
Raqlet: Cross-Paradigm Compilation for Recursive Queries
Amir Shaikhha, Youning Xia, Meisam Tarabkhah +2
We introduce Raqlet, a source-to-source compilation framework that addresses the fragmentation of recursive querying engines spanning relational (recursive SQL), graph (Cypher, GQL…
cs.DB2024
Declarative Concurrent Data Structures
Aun Raza, Hamish Nicholson, Ioanna Tsakalidou +3
Implementing concurrent data structures is challenging and requires a deep understanding of concurrency concepts and careful design to ensure correctness, performance, and scalabil…