Follow
Thomas Gilray
Title
Cited by
Cited by
Year
Sound and precise malware analysis for Android via pushdown reachability and entry-point saturation
S Liang, AW Keep, M Might, S Lyde, T Gilray, P Aldous, D Van Horn
Proceedings of the Third ACM workshop on Security and privacy in smartphones …, 2013
732013
Pushdown control-flow analysis for free
T Gilray, S Lyde, MD Adams, M Might, D Van Horn
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
632016
Dynamic sparse-matrix allocation on GPUs
J King, T Gilray, RM Kirby, M Might
High Performance Computing: 31st International Conference, ISC High …, 2016
372016
Soft contract verification for higher-order stateful programs
PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
292017
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
T Gilray, MD Adams, M Might
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
292016
User comfort with android background resource accesses in different contexts
D Votipka, SM Rabin, K Micinski, T Gilray, ML Mazurek, JS Foster
Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018), 235-250, 2018
242018
Distributed relational algebra at scale
S Kumar, T Gilray
International Conference on High Performance Computing, Data, and Analytics …, 2019
162019
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs
PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
152019
Seamless deductive inference via macros
A Sahebolamri, T Gilray, K Micinski
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
132022
Optimizing the bruck algorithm for non-uniform all-to-all communication
K Fan, T Gilray, V Pascucci, X Huang, K Micinski, S Kumar
Proceedings of the 31st International Symposium on High-Performance Parallel …, 2022
122022
Load-balancing parallel relational algebra
S Kumar, T Gilray
High Performance Computing: 35th International Conference, ISC High …, 2020
122020
Distributed relational algebra at scale
T Gilray, S Kumar
2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019
92019
A Visual Guide to MPI All-to-all
N Netterville, K Fan, S Kumar, T Gilray
2022 IEEE 29th International Conference on High Performance Computing, Data …, 2022
82022
Abstracting faceted execution
K Micinski, D Darais, T Gilray
2020 IEEE 33rd computer security foundations symposium (CSF), 184-198, 2020
82020
A survey of polyvariance in abstract interpretations
T Gilray, M Might
Trends in Functional Programming: 14th International Symposium, TFP 2013 …, 2014
82014
Compiling data-parallel datalog
T Gilray, S Kumar, K Micinski
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021
72021
Concrete and abstract interpretation: Better together
M Jenkins, L Andersen, T Gilray, M Might
2014 SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP, 2015
72015
Partitioning 0-CFA for the GPU
T Gilray, J King, M Might
Proceedings of the 23rd International Workshop on Functional and (Constraint …, 2014
52014
A unified approach to polyvariance in abstract interpretations
T Gilray, M Might
Proceedings of the Workshop on Scheme and Functional Programming, 2013
52013
Accelerating datalog applications with cudf
AR Shovon, LR Dyken, O Green, T Gilray, S Kumar
2022 IEEE/ACM Workshop on Irregular Applications: Architectures and …, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20