Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Avenir: Managing Data Plane Diversity With Control Plane Synthesis | 0 | 0.34 | 2021 |
| Grammar Filtering For Syntax-Guided Synthesis | 0 | 0.34 | 2020 |
| Live Programming By Example. | 1 | 0.36 | 2019 |
| G2Q - Haskell constraint solving. | 0 | 0.34 | 2019 |
| Lazy counterfactual symbolic execution | 0 | 0.34 | 2019 |
| p4v: practical verification for programmable data planes. | 12 | 0.66 | 2018 |
| Automated repair by example for firewalls | 2 | 0.37 | 2017 |