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
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
Share
x
Sun 5 Feb 02:00