William T. Hallahan -

Registered user since Tue 23 Apr 2019

Name:William T. Hallahan

Affiliation:Yale University

Contributions

VMCAI 2022	Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
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