conf.researchr.org / William T. Hallahan
Registered user since Tue 23 Apr 2019
Name: William T. Hallahan
Affiliation: Yale University
Contributions
| 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 |