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


PLMW @ ICFP 2022 Panelist of Formal Methods: Theory and Practice within the PLMW @ ICFP 2022-track
PLDI 2022 Committee Member in SRC Reviewers within the SRC-track
CC 2022 Author of Seamless Deductive Inference via Macros within the CC Research Papers-track
DLS 2021 PC Member in Program Committee within the DLS 2021-track
Scheme 2021 Author of So You Want To Analyze Scheme Programs With Datalog? within the Scheme 2021-track
CC 2021 Author of Compiling Data-Parallel Datalog within the CC Research Papers-track
Scheme 2019 PC Chair in Organizing Committee within the Scheme 2019-track
DPA 2019 Author of Tunable abstract abstract machines within the DPA-track