William T. Hallahan

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 10

Top Topics

Constraint Solving

Filtering Process

Formal Languages

Top Venues

Proc. ACM Program. Lang.

Publications

John C. Kolesar, Ruzica Piskac, William T. Hallahan
Checking equivalence in a non-strict language. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering For Syntax-Guided Synthesis. CoRR (2020)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. Formal Methods Syst. Des. 56 (1) (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering for Syntax-Guided Synthesis. AAAI (2020)
William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
Lazy counterfactual symbolic execution. PLDI (2019)
Mark Santolucito, William T. Hallahan, Ruzica Piskac
Live Programming By Example. CHI Extended Abstracts (2019)
William T. Hallahan, Anton Xue, Ruzica Piskac
G2Q: Haskell constraint solving. Haskell@ICFP (2019)
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
p4v: practical verification for programmable data planes. SIGCOMM (2018)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. FMCAD (2017)