Thomas Gilray
Tytuł
Cytowane przez
Cytowane przez
Rok
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
612013
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
482016
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
222016
Dynamic sparse-matrix allocation on gpus
J King, T Gilray, RM Kirby, M Might
International Conference on High Performance Computing, 61-80, 2016
212016
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
162017
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
152018
A survey of polyvariance in abstract interpretations
T Gilray, M Might
International Symposium on Trends in Functional Programming, 134-148, 2013
82013
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
72019
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
Abstracting Faceted Execution
K Micinski, D Darais, T Gilray
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 184-198, 2020
32020
Distributed Relational Algebra at Scale
T Gilray, S Kumar
2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019
32019
Distributed relational algebra at scale
S Kumar, T Gilray
International Conference on High Performance Computing, Data, and Analytics …, 2019
22019
Racets: Faceted execution in racket
K Micinski, Z Wang, T Gilray
arXiv preprint arXiv:1807.09377, 2018
22018
Dynamic-CSR: A format for dynamic sparse-matrix updates
J King, T Gilray, RM Kirby, M Might
Springer-Verlag 9697, 61-80, 2016
22016
A Linear Encoding of Pushdown Control-Flow Analysis
S Lyde, T Gilray, MD Adams, M Might
Scheme Workshop, 2014
22014
Load-Balancing Parallel Relational Algebra
S Kumar, T Gilray
International Conference on High Performance Computing, 288-308, 2020
12020
Abstract allocation as a unified approach to polyvariance in control-flow analyses
T Gilray, MD Adams, M Might
Journal of Functional Programming 28, 2018
12018
Toward parallel cfa with datalog, mpi, and cuda
T GILRAY, S KUMAR
Scheme and Functional Programming Workshop, 2017
12017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20