Seamless deductive inference via macros. - Arash Sahebolamri; Thomas Gilray; Kristopher K. Micinski (CC, 2022)

Higher-Order, Data-Parallel Structured Deduction. - Thomas Gilray; Arash Sahebolamri; Sidharth Kumar; Kristopher K. Micinski (CoRR, 2022)

Bring Your Own Data Structures to Datalog. - Arash Sahebolamri; Langston Barrett; Scott Moore 001; Kristopher K. Micinski (Proc. ACM Program. Lang., 2023)

Datalog with First-Class Facts. - Thomas Gilray; Arash Sahebolamri; Yihao Sun; Sowmith Kunapaneni; Sidharth Kumar; Kristopher K. Micinski (Proc. VLDB Endow., 2024)