Thomas Gilray

Registered user since Fri 3 May 2019

Name:Thomas Gilray

I am an Asst. Professor at the University of Alabama, Birmingham and work on program analysis, verification, language design, declarative analyses, high performance logic solving, and related topics. Visit my website for more:

Country:United States
Affiliation:University of Alabama at Birmingham
Research interests:Programming languages, program analysis, automated reasoning, logic programming


Scheme 2021 Author of So You Want To Analyze Scheme Programs With Datalog? within the Scheme 2021-track
DLS 2021 PC Member in Program Committee within the DLS 2021-track
CC 2021 Author of Compiling Data-Parallel Datalog within the CC Research Papers-track
DPA 2019 Author of Tunable abstract abstract machines within the DPA-track
Scheme 2019 PC Chair in Organizing Committee within the Scheme 2019-track