Travelled to:
1 × USA
Collaborated with:
T.S.Abdelrahman
Talks about:
summari (1) analysi (1) symbol (1) effici (1) bottom (1) access (1) path (1) heap (1) data (1) base (1)
Person: Ivan Matosevic
DBLP: Matosevic:Ivan
Contributed to:
Wrote 1 papers:
- CGO-2012-MatosevicA #analysis #bottom-up #data access #performance #summary
- Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.