| 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 | 63 | 2016 |
| Dynamic sparse-matrix allocation on GPUs J King, T Gilray, RM Kirby, M Might High Performance Computing: 31st International Conference, ISC High …, 2016 | 40 | 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 | 34 | 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 | 26 | 2018 |
| Seamless deductive inference via macros A Sahebolamri, T Gilray, K Micinski Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022 | 22 | 2022 |
| Distributed relational algebra at scale S Kumar, T Gilray International Conference on High Performance Computing, Data, and Analytics …, 2019 | 19 | 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 | 18 | 2022 |
| Load-balancing parallel relational algebra S Kumar, T Gilray High Performance Computing: 35th International Conference, ISC High …, 2020 | 16 | 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 | 14 | 2019 |
| Compiling data-parallel datalog T Gilray, S Kumar, K Micinski Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021 | 13 | 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 | 10 | 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 |
| Towards iterative relational algebra on the {GPU} AR Shovon, T Gilray, K Micinski, S Kumar 2023 USENIX Annual Technical Conference (USENIX ATC 23), 1009-1016, 2023 | 6 | 2023 |
| 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 |
Sidharth KumarAssistant Professor, University of Illinois at ChicagoПідтверджена електронна адреса в uic.edu