4 papers · 1 filter
Compiling Linear Datalog to SQL for Program Analysis
Amir Shaikhha, Anna Herlihy, Hung Ngo
Datalog is a declarative query language that has proven highly effective for expressing static program analyses. Although Datalog has deep roots in database theory, most recent adv…
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…
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…
Adaptive Recursive Query Optimization
Anna Herlihy, Guillaume Martres, Anastasia Ailamaki +1
Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, are increasingly reliant on recursive queries for data analys…