Leena Unnikrishnan

According to our database, Leena Unnikrishnan authored at least 5 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016

2009

Parametric heap usage analysis for functional programs.

Leena Unnikrishnan, Scott D. Stoller

Proceedings of the 8th International Symposium on Memory Management, 2009

2003

Optimized Live Heap Bound Analysis.

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu

Proceedings of the Verification, 2003

2001

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu

Proceedings of The Workshop on Languages, 2001

2000

Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.

Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu

Proceedings of the Computer Aided Verification, 12th International Conference, 2000