Thomas Gilray

Registered user since Fri 22 Jan 2016

Name: Thomas Gilray

Affiliation: University of Maryland

Personal website: https://thomas.gilray.org

Contributions

Scheme 2018	Author of Racets: Faceted Execution in Racket within the Scheme 2018-track
Scheme 2017	Author of Paper: Toward Parallelizing Control-flow Analysis with Datalog within the Scheme 2017-track
POPL 2018	Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track
ECOOP 2018	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ICFP 2016	Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track
POPL 2016	Author of Pushdown Control-flow Analysis for Free within the Research Papers-track