Scholar
Thomas Gilray
Google Scholar ID: 0rjE8o4AAAAJ
Washington State University
Citations & Impact
Citations
350
H-index
13
i10-index
14
Publications
20
Co-authors
15
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Awarded an NSF PPoSS Large grant (~$5M over 5 years) supporting ~10 PhD students and 7 faculty
- Received an NSF PPoSS planning grant to scale Datalog-based platforms like Slog
- Paper 'Load-balancing Parallel Relational Algebra' won the ISC Hans Meuer Best Paper Award
- Paper 'Distributed Relational Algebra at Scale' won the HiPC Best Paper Award
- Published in top-tier venues including VLDB, ICS, ASPLOS, AAAI, HPDC, ISC, HiPC, PLDI, and POPL
- Multiple papers accepted at highly selective conferences (e.g., ASPLOS: 12.7% acceptance rate; POPL: 23%)
Background
- Associate Professor at Washington State University (WSU)
- Research focuses on the design and implementation of scalable systems for reasoning about code
- Works on foundations of tunable, correct-by-design program analysis
- Develops declarative logic-programming languages to bridge specification and scalable parallel implementation
- Recent work emphasizes enhancing Datalog expressivity and accelerating such languages on supercomputers and GPUs
- Broad interests include compilers, verification, optimization, and programming language design and implementation
