Publications

Checking Equivalence in a Non-strict Language

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

Published at OOPSLA 2022

Avenir: Managing Data Plane Diversity with Control Plane Synthesis

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

Published at NSDI 2021

Automated repair by example for firewalls (Journal Version)

by William T. Hallahan, Ennan Zhai, Ruzica Piskac

Published at FMSD 2020

Grammar Filtering For Syntax-Guided Synthesis

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

Published at AAAI 2020

G2Q: Haskell Constraint Solving

by William T. Hallahan, Anton Xue, Ruzica Piskac

Published at ICFP, Haskell Symposium 2019

Lazy counterfactual symbolic execution

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

Published at PLDI 2019

Live Programming By Example

by Mark Santolucito, William T. Hallahan, Ruzica Piskac

Published at CHI Extend Abstract 2019

p4v: practical verification for programmable data planes

by Jed Liu, William Hallahan, Cole Shlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Călin Caşcaval, Nick McKeown, Nate Foster

Published at SIGCOMM 2018

Automated repair by example for firewalls

by William T. Hallahan, Ennan Zhai, Ruzica Piskac

Published at FMCAD 2017

Stability of coefficients in the Kronecker product of a hook and a rectangle

by Cristina Ballantine, William T. Hallahan

Published at Journal of Physics A: Mathematical and Theoretical, Vol. 49 (5)