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
712013
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
602016
Dynamic sparse-matrix allocation on GPUs
J King, T Gilray, RM Kirby, M Might
High Performance Computing: 31st International Conference, ISC High …, 2016
372016
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
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
282017
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
222018
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
Distributed relational algebra at scale
S Kumar, T Gilray
International Conference on High Performance Computing, Data, and Analytics …, 2019
142019
Seamless deductive inference via macros
A Sahebolamri, T Gilray, K Micinski
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
132022
Load-balancing parallel relational algebra
S Kumar, T Gilray
High Performance Computing: 35th International Conference, ISC High …, 2020
102020
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
92022
Abstracting faceted execution
K Micinski, D Darais, T Gilray
2020 IEEE 33rd computer security foundations symposium (CSF), 184-198, 2020
82020
Distributed relational algebra at scale
T Gilray, S Kumar
2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019
82019
A survey of polyvariance in abstract interpretations
T Gilray, M Might
Trends in Functional Programming: 14th International Symposium, TFP 2013 …, 2014
82014
Concrete and abstract interpretation: Better together
M Jenkins, L Andersen, T Gilray, M Might
2014 SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP, 2015
72015
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
62022
Compiling data-parallel datalog
T Gilray, S Kumar, K Micinski
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021
62021
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
Size-change termination as a contract
PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn
Programming Language Design and Implementation (PLDI). https://doi. org/10 …, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20