Travelled to:1 × Ireland
3 × USA
Collaborated with:S.D.Stoller Y.A.Liu
Talks about:analysi (3) live (2) heap (2) distribut (1) properti (1) parametr (1) function (1) program (1) partial (1) languag (1)
Person: Leena Unnikrishnan
DBLP: Unnikrishnan:Leena
Contributed to:
2009
2003
2001
2000Wrote 4 papers:
- ISMM-2009-UnnikrishnanS #analysis #functional #parametricity #source code
- Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.
- VMCAI-2003-UnnikrishnanSL #analysis #bound
- Optimized Live Heap Bound Analysis (LU, SDS, YAL), pp. 70–85.
- LCTES-OM-2001-UnnikrishnanSL #analysis #automation #garbage collection #memory management
- Automatic Accurate Live Memory Analysis for Garbage-Collected Languages (LU, SDS, YAL), pp. 102–111.
- CAV-2000-StollerUL #detection #distributed #partial order #performance #using
- Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods (SDS, LU, YAL), pp. 264–279.