Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. | 0 | 0.34 | 2020 |
Learning Neurosymbolic Generative Models via Program synthesis. | 0 | 0.34 | 2019 |
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019. | 0 | 0.34 | 2019 |
Learning a Meta-Solver for Syntax-Guided Program Synthesis. | 0 | 0.34 | 2019 |
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. | 0 | 0.34 | 2019 |
Large-scale configurable static analysis | 0 | 0.34 | 2014 |