Concepedia

William T. Hallahan

WT

Statistics

Publications

5

Citations

181

H-Index

5

Active since

2017

Affiliations

Yale University(Current)

William T. Hallahan is an author at Yale University specializing in computer science, computing, and programming languages.

Publications per year

2017–2020

5

Publications

5

p4v

Jed Liu, William T. Hallahan, Cole Schlesinger et al. · 2018 · 123 citations

Computing, Computer Engineering, Computer Science +10

Lazy counterfactual symbolic execution

William T. Hallahan, Anton Xue, Maxwell Bland et al. · 2019 · 18 citations · Full text

Computing, Computer Science, Computer Systems +17

Live Programming By Example

Mark Santolucito, William T. Hallahan, Ružica Piskač · 2019 · 16 citations · Full text

Computing, Computer Science, Interaction Design +7

Automated repair by example for firewalls

William T. Hallahan, Ennan Zhai, Ružica Piskač · 2017 · 14 citations

Computing, Computer Science, Computer Systems +12

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

Computing, Computer Science, Artificial Intelligence +9

1–5 of 5