• Sign in
  • Sign up
conf.researchr.org / William T. Hallahan
  • 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
xSun 5 Feb 02:00
using conf.researchr.org (v1.58.0)
Support page
Sign Up