William T. Hallahan
William T. Hallahan
Verified email at yale.edu
Cited by
Cited by
P4v: Practical verification for programmable data planes
J Liu, W Hallahan, C Schlesinger, M Sharif, J Lee, R Soulé, H Wang, ...
Proceedings of the 2018 Conference of the ACM Special Interest Group on data …, 2018
Lazy counterfactual symbolic execution
WT Hallahan, A Xue, MT Bland, R Jhala, R Piskac
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Automated repair by example for firewalls
WT Hallahan, E Zhai, R Piskac
2017 Formal Methods in Computer Aided Design (FMCAD), 220-229, 2017
Live programming by example
M Santolucito, WT Hallahan, R Piskac
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing …, 2019
Grammar filtering for syntax-guided synthesis
K Morton, W Hallahan, E Shum, R Piskac, M Santolucito
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1611-1618, 2020
Building a Symbolic Execution Engine for Haskell
W Hallahan, A Xue, R Piskac
Proceedings of the 8th Workshop on Tools for Automatic Program Analysis …, 2017
G2Q: Haskell constraint solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
Stability of coefficients in the Kronecker product of a hook and a rectangle
CM Ballantine, WT Hallahan
Journal of Physics A: Mathematical and Theoretical 49 (5), 055203, 2015
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ...
NSDI, 133-153, 2021
Haskell Symbolic Execution
WT Hallahan, A Xue, R Jhala, R Piskac
The system can't perform the operation now. Try again later.
Articles 1–10