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 | 176 | 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 | 21 | 2019 |
Live programming by example M Santolucito, WT Hallahan, R Piskac Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019 | 21 | 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 | 18 | 2020 |
Automated repair by example for firewalls WT Hallahan, E Zhai, R Piskac 2017 Formal Methods in Computer Aided Design (FMCAD), 220-229, 2017 | 18 | 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 | 17 | 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 |
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 | 5 | 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,188,355, 2021 | 1 | 2021 |
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 | | |