Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Gilray
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
PLDI 2019 profile
POPL 2016 profile
POPL 2018 profile
Registered user since Fri 22 Jan 2016
Name:
Thomas Gilray
Affiliation:
University of Maryland
Personal website:
https://thomas.gilray.org
Contributions
2019
miniKanren
Committee Member in Program Committee within the miniKanren 2019-track
Session Chair of Session 3 (part of miniKanren 2019)
PLDI
Author of Size-Change Termination as a Contract within the PLDI Research Papers-track
2018
Scheme
Author of Racets: Faceted Execution in Racket within the Scheme 2018-track
ECOOP
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
POPL
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
2017
Scheme
Author of Paper: Toward Parallelizing Control-flow Analysis with Datalog within the Scheme 2017-track
2016
ICFP
Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track
POPL
Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
Share
x
Thu 21 Nov 11:33
