Thomas Gilray

Identifiers

• name variant Thomas Gilray 0.60 · backfill

Papers (7)

1. Scaling Worst-Case Optimal Datalog to GPUs cs.DB · 2026 · author #3
2. Size-Change Termination as a Contract cs.PL · 2018 · author #2
3. Racets: Faceted Execution in Racket cs.PL · 2018 · author #3
4. Soft Contract Verification for Higher-Order Stateful Programs cs.PL · 2017 · author #2
5. Pushdown Control-Flow Analysis for Free cs.PL · 2015 · author #1
6. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation cs.PL · 2013 · author #5
7. Pushdown Exception-Flow Analysis of Object-Oriented Programs cs.PL · 2013 · author #3

Mentions

• 1302.2692 #3 · backfill · confidence 0.70 Thomas Gilray

Frequent Coauthors

• David Van Horn 5 shared papers
• Matthew Might 3 shared papers
• Kristopher Micinski 2 shared papers
• Phuc C. Nguyen 2 shared papers
• Sam Tobin-Hochstadt 2 shared papers
• Shuying Liang 2 shared papers
• Steven Lyde 2 shared papers
• Andrew W. Keep 1 shared papers
• Kunting Qi 1 shared papers
• Michael D. Adams 1 shared papers
• Petey Aldous 1 shared papers
• Sidharth Kumar 1 shared papers
• Yihao Sun 1 shared papers
• Zhanpeng Wang 1 shared papers