conf.researchr.org / William T. Hallahan

Registered user since Tue 23 Apr 2019

Name: William T. Hallahan

Affiliation: Yale University

Contributions

POPL 2021 Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2019 Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track
PLDI 2019 Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track