- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c4 |      | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141 |
| 2010 | ||
| c3 | | |
| 2008 | ||
| c2 | | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162 |
| 2007 | ||
| c1 | | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224 |
| 1 | Josh Berdine | |
| 2 | Byron Cook | |
| 3 | Dino Distefano | |
| 4 | Sumit Gulwani | |
| 5 | Malcolm Munro | |
| 6 | Peter W. O'Hearn | |
| 7 | Shengchao Qin | |
| 8 | Zongyan Qiu | |
| 9 | Shmuel Sagiv (Mooly Sagiv) | |
| 10 | Wei Xiong | |
| 11 | Hongseok Yang | |
| 12 | Huibiao Zhu |
Colors in the list of coauthors
Last update Mon May 20 23:34:10 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page