Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …

The restricted logic programming language Datalog has become a popular implementation
target for deductive-analytic workloads including social-media analytics and program …

With its combination of Datalog, SMT solving, and functional programming, the language
Formulog provides an appealing mix of features for implementing SMT-based static …

By combining Datalog, SMT solving, and functional programming, the language Formulog
provides an appealing mix of features for implementing SMT-based static analyses (eg …

Datalog is a popular and widely-used declarative logic programming language. Datalog
engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To …

Datalog is becoming increasingly popular as a standard tool for a variety of use cases.
Modern Datalog engines can achieve high performance by specializing data structures for …

The proliferation of digital data, driven by factors like social media, e-commerce, etc., has
created an increasing demand for highly processed data at higher levels of fidelity, which …

Domain-specific languages (DSLs) play a crucial role in addressing unique computational
challenges and applications. Traditionally, many DSLs are implemented via interpreters …

This thesis explores two approaches to bridge the gap between expressiveness and
performance in programming languages. It presents two complementary directions that …

The Datalog programming language has recently found increasing traction in research and
industry. Driven by its clean declarative semantics, along with its conciseness and ease of …