Thomas Gilray
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Column-Oriented Datalog on the GPU. | Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski |
| 2025 | ASPLOS | Optimizing Datalog for the GPU. | Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski |
| 2025 | ICS | Multi-Node Multi-GPU Datalog. | Ahmedur Rahman Shovon, Yihao Sun, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar |
| 2023 | CLUSTER | Communication-Avoiding Recursive Aggregation. | Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski |
| 2023 | USENIX | Towards Iterative Relational Algebra on the GPU. | Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar |
| 2022 | CC | Seamless deductive inference via macros. | Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski |
| 2022 | HiPC | A Visual Guide to MPI All-to-all. | Nick Netterville, Ke Fan, Sidharth Kumar, Thomas Gilray |
| 2022 | HPDC | Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication. | Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang, Kristopher K. Micinski, Sidharth Kumar |
| 2021 | CC | Compiling data-parallel Datalog. | Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski |
| 2021 | HiPC | Load-balancing Parallel I/O of Compressed Hierarchical Layouts. | Ke Fan, Duong Hoang, Steve Petruzza, Thomas Gilray, Valerio Pascucci, Sidharth Kumar |
| 2019 | HiPC | Distributed Relational Algebra at Scale. | Thomas Gilray, Sidharth Kumar |
| 2019 | PLDI | 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 |
| 2018 | SOUPS | 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 |
| 2016 | ICFP | Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. | Thomas Gilray, Michael D. Adams, Matthew Might |
| 2016 | POPL | Pushdown control-flow analysis for free. | Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn |
| 2013 | CCS | 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 |