Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. - Shuying Liang; Andrew W. Keep; Matthew Might; Steven Lyde; Thomas Gilray; Petey Aldous; David Van Horn (SPSM@CCS, 2013)

A Survey of Polyvariance in Abstract Interpretations. - Thomas Gilray; Matthew Might (Trends in Functional Programming, 2013)

Pushdown Exception-Flow Analysis of Object-Oriented Programs - Shuying Liang; Matthew Might; Thomas Gilray; David Van Horn (CoRR, 2013)

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. - Thomas Gilray; Michael D. Adams 001; Matthew Might (ICFP, 2016)

Pushdown control-flow analysis for free. - Thomas Gilray; Steven Lyde; Michael D. Adams 001; Matthew Might; David Van Horn (POPL, 2016)

Dynamic Sparse-Matrix Allocation on GPUs. - James King 007; Thomas Gilray; Robert M. Kirby; Matthew Might (ISC, 2016)

Introspective Polyvariance for Control-Flow Analyses. - Thomas Gilray (2017)

User Comfort with Android Background Resource Accesses in Different Contexts. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Thomas Gilray; Michelle L. Mazurek; Jeffrey S. Foster (SOUPS @ USENIX Security Symposium, 2018)

Racets: Faceted Execution in Racket. - Kristopher K. Micinski; Zhanpeng Wang; Thomas Gilray (CoRR, 2018)

Size-Change Termination as a Contract. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (CoRR, 2018)

Abstract allocation as a unified approach to polyvariance in control-flow analyses. - Thomas Gilray; Michael D. Adams 001; Matthew Might (J. Funct. Program., 2018)

Soft contract verification for higher-order stateful programs. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (Proc. ACM Program. Lang., 2018)

Distributed Relational Algebra at Scale. - Thomas Gilray; Sidharth Kumar (HiPC, 2019)

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (PLDI, 2019)

Abstracting Faceted Execution. - Kristopher K. Micinski; David Darais; Thomas Gilray (CSF, 2020)

Load-Balancing Parallel Relational Algebra. - Sidharth Kumar; Thomas Gilray (ISC, 2020)

Compiling data-parallel Datalog. - Thomas Gilray; Sidharth Kumar; Kristopher K. Micinski (CC, 2021)

Load-balancing Parallel I/O of Compressed Hierarchical Layouts. - Ke Fan; Duong Hoang; Steve Petruzza; Thomas Gilray; Valerio Pascucci; Sidharth Kumar (HiPC, 2021)

Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task. - Ke Fan; Kristopher K. Micinski; Thomas Gilray; Sidharth Kumar (IPDPS Workshops, 2021)

So You Want to Analyze Scheme Programs With Datalog? - Davis Ross Silverman; Yihao Sun; Kristopher K. Micinski; Thomas Gilray (CoRR, 2021)

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

A Visual Guide to MPI All-to-all. - Nick Netterville; Ke Fan; Sidharth Kumar; Thomas Gilray (HiPCW, 2022)

Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication. - Ke Fan; Thomas Gilray; Valerio Pascucci; Xuan Huang; Kristopher K. Micinski; Sidharth Kumar (HPDC, 2022)

Accelerating Datalog applications with cuDF. - Ahmedur Rahman Shovon; Landon Richard Dyken; Oded Green; Thomas Gilray; Sidharth Kumar (IA3@SC, 2022)

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

Communication-Avoiding Recursive Aggregation. - Yihao Sun; Sidharth Kumar; Thomas Gilray; Kristopher K. Micinski (CLUSTER, 2023)

Towards Iterative Relational Algebra on the GPU. - Ahmedur Rahman Shovon; Thomas Gilray; Kristopher K. Micinski; Sidharth Kumar (USENIX ATC, 2023)

GDlog: A GPU-Accelerated Deductive Engine. - Yihao Sun; Ahmedur Rahman Shovon; Thomas Gilray; Kristopher K. Micinski; Sidharth Kumar (CoRR, 2023)

Configurable Algorithms for All-to-All Collectives. - Ke Fan; Steve Petruzza; Thomas Gilray; Sidharth Kumar (ISC, 2024)

Investigating Data Movement Strategies for Distribution of Repartitioned Data. - John-Paul Robinson; Ke Fan; Steve Petruzza; Thomas Gilray; Sidharth Kumar (PEARC, 2024)

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

Column-Oriented Datalog on the GPU. - Yihao Sun; Sidharth Kumar; Thomas Gilray; Kristopher K. Micinski (AAAI, 2025)

Optimizing Datalog for the GPU. - Yihao Sun; Ahmedur Rahman Shovon; Thomas Gilray; Sidharth Kumar; Kristopher K. Micinski (ASPLOS (1), 2025)