Our research group is a joint collaboration between Washington State (Thomas Gilray), University of Illilnois at Chicago (Sidharth Kumar), and Syracuse (Kristopher Micinski). Collectively, we and our students build the next-generation of analytic and semantic reasoning engines to tackle large-scale challenges in program analysis, security, formal methods, knowledge representation, and medical reasoning.

We are supported by grants from the US National Science Foundation, ARPA-H, DARPA, and our collaboration with Argonne Leadership Computing Facility (ALCF). We sincerely appreciate this crucial government support!

Principal Investigators

Thomas Gilray

Washington State

Static Analysis, Programming Languages, HPC

Sidharth Kumar

U. Illinois at Chicago

HPC, Data Management, GPUs, Graph Analytics

Kristopher Micinski

Syracuse University

Programming Languages, Security, Automated Reasoning

Recent Articles

• ( New Paper!) Yihao Sun will present "Column-Oriented Datalog on the GPU" at AAAI '25!

Students

Yihao Sun

Syracuse, PhD.

Webpage

Chang Liu

Syracuse, PhD

Webpage

Sowmith K

WSU, PhD

Webpage

Ke Fan

UIC, PhD

Webpage

Ahmedur Rahman Shovon

UIC, PhD

Webpage

Popular Repositories

[GDLog ] [Slog ] [vflog ] [GraphWaGu ] [Ascent ] [Assemblage ]

Publications

• Datalog with First-Class Facts (to appear at VLDB '25). Authored by Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, and Kristopher Micinski. [ Paper (PDF)] [ Code on GitHub]
• Column-Oriented Datalog on the GPU (to appear at AAAI '25). Authored by Yihao Sun, Sidharth Kumar, Thomas Gilray, and Kristopher Micinski. [ Paper (PDF)] [ Code on GitHub]
• Optimizing Datalog for the GPU (ASPLOS '25). Authored by Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar, and Kristopher Micinski. [.bib] [ Paper (PDF)] [ Code on GitHub]
• Assemblage: Automatic Binary Dataset Construction for Machine Learning (NeurIPS D&B Track '24). Authored by Chang Liu, Rebecca Saul, Yihao Sun, Edward Raff, Maya Fuchs, Townsend Southard Pantano, James Holt, Kristopher Micinski. [.bib] [ Paper (PDF)] [ Code on GitHub]
• Towards Iterative Relational Algebra on the GPU (USENIX ATC '25). Authored by Ahmedur Rahman Shovon, Thomas Gilray, Kristopher Micinski, and Sidharth Kumar. [.bib] [ Paper (PDF)] [ Code on GitHub]
• Accelerating Datalog applications with cuDF (IA3 '22). Authored by Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, Thomas Gilray, and Sidharth Kumar. [.bib] [ Paper (PDF)] [ Code on GitHub]
• The robustness of persistent homology of brain networks to data acquisition-related non-neural variability in resting state fMRI (Human Brain Mapping '23). Authored by Sidharth Kumar, Ahmedur Rahman Shovon, and Gopikrishna Deshpande. [.bib] [ Paper (PDF)] [ Code on GitHub]