Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
Blog Post number 4
Published:
Blog Post number 3
Published:
Blog Post number 2
Published:
Blog Post number 1
Published:
portfolio
publications
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)
Automated repair by example for firewalls
by William T. Hallahan, Ennan Zhai, Ruzica Piskac
Published at FMCAD 2017
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
Live Programming By Example
by Mark Santolucito, William T. Hallahan, Ruzica Piskac
Published at CHI Extend Abstract 2019
Lazy counterfactual symbolic execution
by William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
Published at PLDI 2019
G2Q: Haskell Constraint Solving
by William T. Hallahan, Anton Xue, Ruzica Piskac
Published at ICFP, Haskell Symposium 2019
Grammar Filtering For Syntax-Guided Synthesis
by Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Published at AAAI 2020
Automated repair by example for firewalls (Journal Version)
by William T. Hallahan, Ennan Zhai, Ruzica Piskac
Published at FMSD 2020
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
Checking Equivalence in a Non-strict Language
by John C. Kolesar, Ruzica Piskac, William T. Hallahan.
Published at OOPSLA 2022
talks
Talk 1 on Relevant Topic in Your Field
Published:
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
Teaching experience 2
Workshop, University 1, Department, 2015