Leena Unnikrishnan

	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

Coauthor Index

1	Yanhong A. Liu	[1] [2] [3]
2	Scott D. Stoller	[1] [2] [3] [4]