p4v: practical verification for programmable data planes. - Jed Liu; William T. Hallahan; Cole Schlesinger; Milad Sharif; Jeongkeun Lee; Robert Soulé; Han Wang 009; Calin Cascaval; Nick McKeown; Nate Foster (SIGCOMM, 2018)

Live Programming By Example. - Mark Santolucito; William T. Hallahan; Ruzica Piskac (CHI Extended Abstracts, 2019)

G2Q: Haskell constraint solving. - William T. Hallahan; Anton Xue; Ruzica Piskac (Haskell@ICFP, 2019)

Lazy counterfactual symbolic execution. - William T. Hallahan; Anton Xue; Maxwell Troy Bland; Ranjit Jhala; Ruzica Piskac (PLDI, 2019)

Grammar Filtering for Syntax-Guided Synthesis. - Kairo Morton; William T. Hallahan; Elven Shum; Ruzica Piskac; Mark Santolucito (AAAI, 2020)

Automated repair by example for firewalls. - William T. Hallahan; Ennan Zhai; Ruzica Piskac (Formal Methods Syst. Des., 2020)

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 (NSDI, 2021)

Checking equivalence in a non-strict language. - John C. Kolesar; Ruzica Piskac; William T. Hallahan (Proc. ACM Program. Lang., 2022)

Counterexample-Guided Inference of Modular Specifications. - William T. Hallahan; Ranjit Jhala; Ruzica Piskac (Proc. ACM Program. Lang., 2025)