Παρακολούθηση
Thomas Gilray
Thomas Gilray
University of Alabama at Birmingham
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uab.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
742013
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
642016
Dynamic sparse-matrix allocation on GPUs
J King, T Gilray, RM Kirby, M Might
High Performance Computing: 31st International Conference, ISC High …, 2016
382016
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
322017
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
172019
Seamless deductive inference via macros
A Sahebolamri, T Gilray, K Micinski
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
152022
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
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
142022
Load-balancing parallel relational algebra
S Kumar, T Gilray
High Performance Computing: 35th International Conference, ISC High …, 2020
132020
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
92022
Distributed relational algebra at scale
T Gilray, S Kumar
2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019
92019
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
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
52021
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20