William T. Hallahan

According to our database, William T. Hallahan authored at least 8 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Checking equivalence in a non-strict language.

John C. Kolesar, Ruzica Piskac, William T. Hallahan

Proc. ACM Program. Lang., 2022

2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.

Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2020

Automated repair by example for firewalls.

William T. Hallahan, Ennan Zhai, Ruzica Piskac

Formal Methods Syst. Des., 2020

Grammar Filtering for Syntax-Guided Synthesis.

Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Lazy counterfactual symbolic execution.

William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

G2Q: Haskell constraint solving.

William T. Hallahan, Anton Xue, Ruzica Piskac

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Live Programming By Example.

Mark Santolucito, William T. Hallahan, Ruzica Piskac

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

p4v: practical verification for programmable data planes.

Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018