Travelled to:
1 × Cyprus
1 × United Kingdom
Collaborated with:
D.Distefano P.W.O'Hearn N.Rinetzky H.Yang
Talks about:
abstract (1) concurr (1) object (1) memori (1) detect (1) abduct (1) infer (1) leak (1) java (1)
Person: Ivana Filipovic
DBLP: Filipovic:Ivana
Contributed to:
Wrote 2 papers:
- FASE-2010-DistefanoF #detection #java #memory management
- Memory Leaks Detection in Java by Bi-abductive Inference (DD, IF), pp. 278–292.
- ESOP-2009-FilipovicORY #abstraction #concurrent
- Abstraction for Concurrent Objects (IF, PWO, NR, HY), pp. 252–266.