Follow
William T. Hallahan
William T. Hallahan
Verified email at yale.edu
Title
Cited by
Cited by
Year
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
952018
Automated repair by example for firewalls
WT Hallahan, E Zhai, R Piskac
2017 Formal Methods in Computer Aided Design (FMCAD), 220-229, 2017
122017
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
112019
Live programming by example
M Santolucito, WT Hallahan, R Piskac
Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019
112019
Avenir: Managing data plane diversity with control plane synthesis
EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ...
18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021
52021
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
52020
G2Q: Haskell constraint solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
42019
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
42017
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
22015
Data plane program verification
J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ...
US Patent App. 17/537,301, 2022
2022
Data plane program verification
J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ...
US Patent 11,188,355, 2021
2021
Haskell Symbolic Execution
WT Hallahan, A Xue, R Jhala, R Piskac
2017
Program Co-Chairs
R Piskac, W Hallahan, G Weissenbacher, C Barrett, A Biere
The system can't perform the operation now. Try again later.
Articles 1–13