Proving UNSAT in Zero Knowledge | 0 | 0.34 | 2022 |
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) | 0 | 0.34 | 2022 |
Static detection of silent misconfigurations with deep interaction analysis | 0 | 0.34 | 2021 |
Avenir: Managing Data Plane Diversity With Control Plane Synthesis | 0 | 0.34 | 2021 |
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem | 0 | 0.34 | 2021 |
Grammar Filtering For Syntax-Guided Synthesis | 0 | 0.34 | 2020 |
Lazy counterfactual symbolic execution | 0 | 0.34 | 2019 |
An auditing language for preventing correlated failures in the cloud | 0 | 0.34 | 2017 |
Synthesizing configuration file specifications with association rule learning | 4 | 0.41 | 2017 |