Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. - Scott D. Stoller; Leena Unnikrishnan; Yanhong A. Liu (CAV, 2000)

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. - Leena Unnikrishnan; Scott D. Stoller; Yanhong A. Liu (OM@PLDI, 2001)

Optimized Live Heap Bound Analysis. - Leena Unnikrishnan; Scott D. Stoller; Yanhong A. Liu (VMCAI, 2003)

Parametric heap usage analysis for functional programs. - Leena Unnikrishnan; Scott D. Stoller (ISMM, 2009)

Adding Flexibility to Large-Scale Text Visualization with HathiTrust+Bookworm. - Peter Organisciak; Sayan Bhattacharyya; Loretta Auvil; Leena Unnikrishnan; Benjamin M. Schmidt; Muhammad Saad Shamim; Robert H. McDonald; J. Stephen Downie; Erez Lieberman Aiden (DH, 2016)