Thomas Gilray - RankMe

41 papers A* 3A 4B 2C 4Misc 2Journal 15Unranked 10

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