Thomas Gilray

According to our database, Thomas Gilray authored at least 28 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

GDlog: A GPU-Accelerated Deductive Engine.

Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar

CoRR, 2023

Towards Iterative Relational Algebra on the GPU.

Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Communication-Avoiding Recursive Aggregation.

Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski

Proceedings of the IEEE International Conference on Cluster Computing, 2023

2022

Higher-Order, Data-Parallel Structured Deduction.

Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski

CoRR, 2022

Accelerating Datalog applications with cuDF.

Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, Thomas Gilray, Sidharth Kumar

Proceedings of the 12th IEEE/ACM Workshop on Irregular Applications: Architectures and Algorithms, 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

Proceedings of the HPDC '22: The 31st International Symposium on High-Performance Parallel and Distributed Computing, Minneapolis, MN, USA, 27 June 2022, 2022

A Visual Guide to MPI All-to-all.

Nick Netterville, Ke Fan, Sidharth Kumar, Thomas Gilray

Proceedings of the 29th IEEE International Conference on High Performance Computing, 2022

Seamless deductive inference via macros.

Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

So You Want to Analyze Scheme Programs With Datalog?

Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray

CoRR, 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

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

Load-balancing Parallel I/O of Compressed Hierarchical Layouts.

Ke Fan, Duong Hoang, Steve Petruzza, Thomas Gilray, Valerio Pascucci, Sidharth Kumar

Proceedings of the 28th IEEE International Conference on High Performance Computing, 2021

Compiling data-parallel Datalog.

Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Load-Balancing Parallel Relational Algebra.

Sidharth Kumar, Thomas Gilray

Proceedings of the High Performance Computing - 35th International Conference, 2020

Abstracting Faceted Execution.

Kristopher K. Micinski, David Darais, Thomas Gilray

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Distributed Relational Algebra at Scale.

Thomas Gilray, Sidharth Kumar

Proceedings of the 26th IEEE International Conference on High Performance Computing, 2019

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

Abstract allocation as a unified approach to polyvariance in control-flow analyses.

Thomas Gilray, Michael D. Adams, Matthew Might

J. Funct. Program., 2018

Size-Change Termination as a Contract.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

CoRR, 2018

Racets: Faceted Execution in Racket.

Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray

CoRR, 2018

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

Proceedings of the Fourteenth Symposium on Usable Privacy and Security, 2018

2017

Introspective Polyvariance for Control-Flow Analyses.

Thomas Gilray

PhD thesis, 2017

2016

Dynamic Sparse-Matrix Allocation on GPUs.

James King, Thomas Gilray, Robert M. Kirby, Matthew Might

Proceedings of the High Performance Computing - 31st International Conference, 2016

Pushdown control-flow analysis for free.

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.

Thomas Gilray, Michael D. Adams, Matthew Might

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2013

Pushdown Exception-Flow Analysis of Object-Oriented Programs

Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn

CoRR, 2013

A Survey of Polyvariance in Abstract Interpretations.

Thomas Gilray, Matthew Might

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

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

Proceedings of the SPSM'13, 2013