Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| An inductive synthesis framework for verifiable reinforcement learning | 4 | 0.40 | 2019 |
| Continuous Formal Verification Of Amazon S2n | 5 | 0.43 | 2018 |
| A data-driven CHC solver. | 4 | 0.39 | 2018 |
| What's the Over/Under? Probabilistic Bounds on Information Leakage. | 0 | 0.34 | 2018 |
| Finding heap-bounds for hardware synthesis | 16 | 0.73 | 2009 |
| THOR: A Tool for Reasoning about Shape and Arithmetic | 23 | 0.86 | 2008 |
| Arithmetic Strengthening for Shape Analysis | 32 | 1.29 | 2007 |