William T. Hallahan -

Registered user since Tue 23 Apr 2019

Name:William T. Hallahan

Country:United States

Affiliation:Yale University

Contributions

SPLASH 2022	Author of Checking Equivalence in a Non-strict Language within the OOPSLA-track
Haskell 2022	Committee Member in Program Committee within the Haskell 2022-track
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