Sotabase

Career

· Co-director of HARP lab, University of Alabama at Birmingham (UAB)

Publications (45)

Pushdown control-flow analysis for free
ACM-SIGACT Symposium on Principles of Programming Languages · 2015
53
cited
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
Security and Privacy in Smartphones and Mobile Devices · 2013
46
cited
Soft contract verification for higher-order stateful programs
Proc. ACM Program. Lang. · 2017
30
cited
Dynamic Sparse-Matrix Allocation on GPUs
Information Security Conference · 2016
27
cited
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
ACM SIGPLAN International Conference on Functional Programming · 2016
26
cited
Distributed Relational Algebra at Scale
International Conference on High Performance Computing · 2019
21
cited
Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication
IEEE International Symposium on High-Performance Parallel Distributed Computing · 2022
20
cited
User Comfort with Android Background Resource Accesses in Different Contexts
SOUPS @ USENIX Security Symposium · 2018
17
cited
Load-Balancing Parallel Relational Algebra
Information Security Conference · 2020
14
cited
Seamless deductive inference via macros
International Conference on Compiler Construction · 2022
13
cited
A Visual Guide to MPI All-to-all
2022 IEEE 29th International Conference on High Performance Computing, Data and Analytics Workshop (HiPCW) · 2022
11
cited
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
11
cited
Compiling data-parallel Datalog
International Conference on Compiler Construction · 2021
10
cited
A Survey of Polyvariance in Abstract Interpretations
Symposium on Trends in Functional Programming · 2013
8
cited
Concrete and Abstract Interpretation : Better Together
2014
7
cited
Size-Change Termination as a Contract
arXiv.org · 2018
7
cited
Towards Iterative Relational Algebra on the GPU
USENIX Annual Technical Conference · 2023
7
cited
Configurable Algorithms for All-to-All Collectives
Information Security Conference · 2024
6
cited
Abstracting Faceted Execution
IEEE Computer Security Foundations Symposium · 2020
5
cited
Accelerating Datalog applications with cuDF
Workshop on Irregular Applications: Architectures and Algorithms · 2022
5
cited
Sotabase
Thomas Gilray | Researcher Profile | Sotabase | Sotabase