David Espinosa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2005
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CAV | JVer: A Java Verifier. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2005 | ESOP | Enforcing Resource Bounds via Static Verification of Dynamic Checks. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |