Thomas Gilray

Sound and precise malware analysis for android via pushdown reachability and entry-point saturation

Shuying Liang, Andrew W. Keep, Matthew Might et al. · 2013 · 48 citations

Mobile Security, Engineering, Evasion Technique +17

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis

Thomas Gilray, Michael D. Adams, Matthew Might · 2016 · 19 citations · Full text

Mathematical Programming, Unified Methodology, Engineering +20

Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication

Ke Fan, Thomas Gilray, Valerio Pascucci et al. · 2022 · 19 citations

Cluster Computing, Engineering, Computer Architecture +20

Distributed Relational Algebra at Scale

Thomas Gilray, Sidharth Kumar · 2019 · 16 citations

Engineering, Imbalanced Relations, Map-reduce +16

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs

Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt et al. · 2019 · 13 citations · Full text

Engineering, Reachability Problem, Static Methods +21