Toggle navigation
Sign in
Sign up
conf.researchr.org
/
William T. Hallahan
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2022 profile
PLDI 2019 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2022 profile
Registered user since Tue 23 Apr 2019
Name:
William T. Hallahan
Country:
United States
Affiliation:
Yale University
Contributions
2022
SPLASH
Author of Checking Equivalence in a Non-strict Language within the OOPSLA-track
Haskell
Committee Member in Program Committee within the Haskell 2022-track
VMCAI
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
2021
POPL
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
2019
Haskell
Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track
PLDI
Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track
Share
x
Thu 21 Nov 11:38