| 2009 | ||
|---|---|---|
| 2 | Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315 | |
| 2008 | ||
| 1 | Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169 | |
| 1 | Ranjit Jhala | [1] [2] |
| 2 | Patrick M. Rondon | [1] [2] |