Skip to content

Author

Anna Herlihy

We have 2 of 10 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Towards Expressive, Performant, and Correct Database Systems

This thesis argues that database systems can support expressive workloads without sacrificing performance or correctness by recovering and propagating this information across system boundaries.

Anna Herlihy, Anastasia Ailamaki, Martin Odersky · 0 citations
Preprint Sep 2026

Compiling Linear Datalog to SQL for Program Analysis

This paper revisits the connection between Datalog and relational databases, advocating recursive SQL as a backend for Datalog evaluation, and presents a compilation framework that translates Datalog programs, particularly those in the Linear Datalog fragment, into equivalent recursive SQL queries.

Amir Shaikhha, Anna Herlihy, Hung Q. Ngo · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.