Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A Formally-Verified C Static Analyzer | 33 | 0.93 | 2015 |
| Atomicity Refinement for Verified Compilation | 5 | 0.42 | 2014 |
| Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code. | 6 | 0.43 | 2014 |
| Plan B: a buffered memory model for Java | 14 | 0.66 | 2013 |
| Formal Verification of a C Value Analysis Based on Abstract Interpretation | 16 | 0.73 | 2013 |
| On the Equality of Probabilistic Terms | 7 | 0.44 | 2010 |