William T. Hallahan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | NSDI | 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 |
| 2020 | AAAI | Grammar Filtering for Syntax-Guided Synthesis. | Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito |
| 2019 | CHI | Live Programming By Example. | Mark Santolucito, William T. Hallahan, Ruzica Piskac |
| 2019 | HASKELL | G2Q: Haskell constraint solving. | William T. Hallahan, Anton Xue, Ruzica Piskac |
| 2019 | PLDI | Lazy counterfactual symbolic execution. | William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac |
| 2018 | SIGCOMM | 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 |
| 2017 | FMCAD | Automated repair by example for firewalls. | William T. Hallahan, Ennan Zhai, Ruzica Piskac |