| 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 | 75 | 2013 |
| 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 | 65 | 2016 |
| Dynamic sparse-matrix allocation on GPUs J King, T Gilray, RM Kirby, M Might High Performance Computing: 31st International Conference, ISC High …, 2016 | 38 | 2016 |
| 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 | 34 | 2017 |
| 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 | 32 | 2016 |
| 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 | 24 | 2018 |
| Seamless deductive inference via macros A Sahebolamri, T Gilray, K Micinski Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022 | 21 | 2022 |
| Distributed relational algebra at scale S Kumar, T Gilray International Conference on High Performance Computing, Data, and Analytics …, 2019 | 18 | 2019 |
| 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 | 17 | 2022 |
| Load-balancing parallel relational algebra S Kumar, T Gilray High Performance Computing: 35th International Conference, ISC High …, 2020 | 15 | 2020 |
| 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 | 15 | 2019 |
| Compiling data-parallel datalog T Gilray, S Kumar, K Micinski Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021 | 11 | 2021 |
| Distributed relational algebra at scale T Gilray, S Kumar 2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019 | 11 | 2019 |
| 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 | 9 | 2022 |
| Abstracting faceted execution K Micinski, D Darais, T Gilray 2020 IEEE 33rd computer security foundations symposium (CSF), 184-198, 2020 | 9 | 2020 |
| A survey of polyvariance in abstract interpretations T Gilray, M Might Trends in Functional Programming: 14th International Symposium, TFP 2013 …, 2014 | 8 | 2014 |
| Concrete and abstract interpretation: Better together M Jenkins, L Andersen, T Gilray, M Might 2014 SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP, 2015 | 7 | 2015 |
| Exploring mpi collective i/o and file-per-process i/o for checkpointing a logical inference task K Fan, K Micinski, T Gilray, S Kumar 2021 IEEE International Parallel and Distributed Processing Symposium …, 2021 | 6 | 2021 |
| Partitioning 0-CFA for the GPU T Gilray, J King, M Might Proceedings of the 23rd International Workshop on Functional and (Constraint …, 2014 | 6 | 2014 |
| Racets: Faceted execution in racket K Micinski, Z Wang, T Gilray arXiv preprint arXiv:1807.09377, 2018 | 5 | 2018 |
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu
