| 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 | 157 | 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 | 19 | 2019 |
| Live programming by example M Santolucito, WT Hallahan, R Piskac Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019 | 18 | 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 | 16 | 2020 |
| Automated repair by example for firewalls WT Hallahan, E Zhai, R Piskac 2017 Formal Methods in Computer Aided Design (FMCAD), 220-229, 2017 | 15 | 2017 |
| 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 | 14 | 2021 |
| G2Q: Haskell constraint solving WT Hallahan, A Xue, R Piskac Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019 | 8 | 2019 |
| Data plane program verification J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ... US Patent 11,188,355, 2021 | 7 | 2021 |
| 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 | 4 | 2017 |
| Checking equivalence in a non-strict language JC Kolesar, R Piskac, WT Hallahan Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1469-1496, 2022 | 3 | 2022 |
| 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 | 2 | 2015 |
| Data plane program verification J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ... US Patent 11,720,373, 2023 | | 2023 |
| Automated Approaches for Program Verification and Repair WT Hallahan Yale University, 2022 | | 2022 |
| p4v 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 | | 2018 |
| 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 | | |
