Thomas Gilray

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 26

Top Topics

Relational Algebra

Top Venues

Publications

John-Paul Robinson, Ke Fan, Steve Petruzza, Thomas Gilray, Sidharth Kumar
Investigating Data Movement Strategies for Distribution of Repartitioned Data. PEARC (2024)
Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
Communication-Avoiding Recursive Aggregation. CLUSTER (2023)
Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
Towards Iterative Relational Algebra on the GPU. USENIX Annual Technical Conference (2023)
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
GDlog: A GPU-Accelerated Deductive Engine. CoRR (2023)
Nick Netterville, Ke Fan, Sidharth Kumar, Thomas Gilray
A Visual Guide to MPI All-to-all. HiPCW (2022)
Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang, Kristopher K. Micinski, Sidharth Kumar
Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication. HPDC (2022)
Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, Thomas Gilray, Sidharth Kumar
Accelerating Datalog applications with cuDF. IA3@SC (2022)
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski
Higher-Order, Data-Parallel Structured Deduction. CoRR (2022)
Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski
Seamless deductive inference via macros. CC (2022)
Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
Compiling data-parallel Datalog. CC (2021)
Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray
So You Want to Analyze Scheme Programs With Datalog? CoRR (2021)
Ke Fan, Duong Hoang, Steve Petruzza, Thomas Gilray, Valerio Pascucci, Sidharth Kumar
Load-balancing Parallel I/O of Compressed Hierarchical Layouts. HiPC (2021)
Ke Fan, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar
Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task. IPDPS Workshops (2021)
Kristopher K. Micinski, David Darais, Thomas Gilray
Abstracting Faceted Execution. CSF (2020)
Sidharth Kumar, Thomas Gilray
Load-Balancing Parallel Relational Algebra. ISC (2020)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. PLDI (2019)
Thomas Gilray, Sidharth Kumar
Distributed Relational Algebra at Scale. HiPC (2019)
Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray
Racets: Faceted Execution in Racket. CoRR (2018)
Thomas Gilray, Michael D. Adams, Matthew Might
Abstract allocation as a unified approach to polyvariance in control-flow analyses. J. Funct. Program. 28 (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-Change Termination as a Contract. CoRR (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft contract verification for higher-order stateful programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Thomas Gilray, Michelle L. Mazurek, Jeffrey S. Foster
User Comfort with Android Background Resource Accesses in Different Contexts. SOUPS @ USENIX Security Symposium (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft Contract Verification for Higher-Order Stateful Programs. CoRR (2017)
James King, Thomas Gilray, Robert M. Kirby, Matthew Might
Dynamic Sparse-Matrix Allocation on GPUs. ISC (2016)
Thomas Gilray, Michael D. Adams, Matthew Might
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. ICFP (2016)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown control-flow analysis for free. POPL (2016)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown Control-Flow Analysis for Free. CoRR (2015)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. SPSM@CCS (2013)
Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn
Pushdown Exception-Flow Analysis of Object-Oriented Programs CoRR (2013)
Thomas Gilray, Matthew Might
A Survey of Polyvariance in Abstract Interpretations. Trends in Functional Programming (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. CoRR (2013)