(what?)
X
Click for photos.
University of Utah
U-Combinator Lab, Rm 3375 in MEB
Email: thomas.gilragmail.com
Twitter: @tomgilray

Thomas Gilray

Computer Scientist
Ph.D. Student

My primary research area is static analysis of higher-order languages (also called control-flow analysis). More broadly, my interests include semantics, language design, compilers and implementations, safety and verification, parallelism and high-performance solvers (e.g., constraint solving on the GPU). Contact me if you have an idea which intersects with my research or broader interests and want to discuss it.

Selected Publications

  • Pushdown Control-Flow Analysis for Free. with Steven Lyde, Michael Adams, Matthew Might, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2016. (pdf)
  • Allocation Characterizes Polyvariance. with Michael Adams, Matthew Might. (In submission to) SIGPLAN, International Conference on Functional Programming (ICFP). 2016. (pdf)
  • Dynamic Sparse-Matrix Allocation on GPUs. with James King, Robert M. Kirby, and Matthew Might. International Supercomputing Conference (ISC). 2016. (Winner of the PRACE ISC award.) (pdf)
  • Partitioning 0-CFA for the GPU. with James King and Matthew Might. International Workshop on Functional and Constraint Logic Programming (WFLP). 2014. (pdf)

All Publications

  1. Allocation Characterizes Polyvariance. with Michael Adams, Matthew Might. (In submission to) SIGPLAN, International Conference on Functional Programming (ICFP). 2016. (pdf)
  2. Introspective Polyvariance for Control-Flow Analyses. (In final preparation) Ph.D. Dissertation. University of Utah. 2016.
  3. Dynamic Sparse-Matrix Allocation on GPUs. with James King, Robert M. Kirby, and Matthew Might. International Supercomputing Conference (ISC). 2016. (Winner of the PRACE ISC award.) (pdf)
  4. Pushdown Control-Flow Analysis for Free. with Steven Lyde, Michael Adams, Matthew Might, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2016. (pdf)
  5. A Linear Encoding of Pushdown Control-Flow Analysis. with Steven Lyde and Matthew Might. The Scheme Workshop. 2014.
  6. Concrete and Abstract Interpretation: Better Together. with Maria Jenkins, Leif Andersen, and Matthew Might. The Scheme Workshop. 2014.
  7. Partitioning 0-CFA for the GPU. with James King and Matthew Might. International Workshop on Functional and Constraint Logic Programming (WFLP). 2014. (pdf)
  8. A Unified Approach to Polyvariance in Abstract Interpretations. with Matthew Might. The Scheme Workshop. 2013.
  9. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. with Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, and Petey Aldous. Workshop in Security and Privacy for Smartphones (SPSM). 2013.
  10. A Survey of Polyvariance in Abstract Interpretations. with Matthew Might. Symposium on Trends in Functional Programming (TFP). 2013. (Winner of the best student paper award.) (pdf)