9 citations · 9 across the 3 of their papers we have counts for
4 papers
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…
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…
BayesCard: Revitilizing Bayesian Frameworks for Cardinality Estimation
Ziniu Wu, Amir Shaikhha, Rong Zhu +3
Cardinality estimation (CardEst) is an essential component in query optimizers and a fundamental problem in DBMS. A desired CardEst method should attain good algorithm performance,…