Statistics
Publications
5
Citations
178
H-Index
5
Active since
2017
Affiliations
Yale University(Current)
William T. Hallahan is an author at Yale University specializing in computer science, engineering, and software analysis.
Publications per year
2017–2020
5
5
Jed Liu, William T. Hallahan, Cole Schlesinger et al. · 2018 · 121 citations
Lazy counterfactual symbolic execution
William T. Hallahan, Anton Xue, Maxwell Bland et al. · 2019 · 18 citations · Full text
Refinement Type Errors, Formal Specification, Engineering +15
Mark Santolucito, William T. Hallahan, Ružica Piskač · 2019 · 16 citations · Full text
Engineering, Visual Programming Language, Software Engineering +16
Automated repair by example for firewalls
William T. Hallahan, Ennan Zhai, Ružica Piskač · 2017 · 13 citations
Grammar Filtering for Syntax-Guided Synthesis
Kairo Morton, William T. Hallahan, Elven Shum et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 10 citations · Full text
1–5 of 5