• Sign in
  • Sign up
conf.researchr.org / Thomas Gilray
  • 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
Thomas Gilray

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
xMon 16 Jun 15:23
using conf.researchr.org (v1.69.0)
Support page
Sign Up