Travelled to:2 × USA
Collaborated with:I.Matosevic C.Segulja
Talks about:determinist (1) architectur (1) synchron (1) parallel (1) support (1) summari (1) program (1) analysi (1) symbol (1) effici (1)
Person: Tarek S. Abdelrahman
DBLP: Abdelrahman:Tarek_S=
Contributed to:
2012
2012Wrote 2 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.
- HPCA-2012-SeguljaA #architecture #parallel #programming
- Architectural support for synchronization-free deterministic parallel programming (CS, TSA), pp. 337–348.