Registered user since Fri 22 Jan 2016

Name: Thomas Gilray

Affiliation: University of Maryland

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

All Activities

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