Travelled to:2 × USA
Collaborated with:C.Demetrescu I.Finocchi E.Coppa
Talks about:rethink (1) pointer (1) multipl (1) context (1) symbol (1) replac (1) reason (1) profil (1) execut (1) distil (1)
Person: Daniele Cono D'Elia
DBLP: D'Elia:Daniele_Cono
Contributed to:
2013
2011
20172018Wrote 4 papers:
- OOPSLA-2013-DEliaD #multi #profiling
- Ball-Larus path profiling across multiple loop iterations (DCD, CD), pp. 373–390.
- PLDI-2011-DEliaDF #mining
- Mining hot calling contexts in small space (DCD, CD, IF), pp. 516–527.
- ASE-2017-CoppaDD #execution #pointer #reasoning #symbolic computation
- Rethinking pointer reasoning in symbolic execution (EC, DCD, CD), pp. 613–618.
- PLDI-2018-DEliaD
- On-stack replacement, distilled (DCD, CD), pp. 166–180.