Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Debugging crashes using continuous contrast set mining | 0 | 0.34 | 2020 |
| Verifying dereference safety via expanding-scope analysis | 19 | 0.93 | 2008 |
| Static specification mining using automata-based abstractions | 81 | 3.25 | 2008 |
| Declarative object identity using relation types | 19 | 1.16 | 2007 |
| Continuous code-quality assurance with SAFE | 4 | 0.52 | 2006 |
| Adaptive optimization in the Jalapeño JVM (poster session) | 4 | 0.47 | 2000 |
| The Jalapeño dynamic optimizing compiler for Java | 149 | 18.42 | 1999 |