| 2009 | ||
|---|---|---|
| 4 | Leena Unnikrishnan, Scott D. Stoller: Parametric heap usage analysis for functional programs. ISMM 2009: 139-148 | |
| 2003 | ||
| 3 | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85 | |
| 2001 | ||
| 2 | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM 2001: 102-111 | |
| 2000 | ||
| 1 | Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV 2000: 264-279 | |
| 1 | Yanhong A. Liu | [1] [2] [3] |
| 2 | Scott D. Stoller | [1] [2] [3] [4] |