Travelled to:1 × China
1 × USA
Collaborated with:C.Demetrescu I.Finocchi D.C.D'Elia R.Marotta
Talks about:workload (1) function (1) rethink (1) pointer (1) symbol (1) sensit (1) routin (1) reason (1) profil (1) execut (1)
Person: Emilio Coppa
DBLP: Coppa:Emilio
Contributed to:
2014
2012
2017Wrote 3 papers:
- CGO-2014-CoppaDFM #cost analysis #empirical
- Estimating the Empirical Cost Function of Routines with Dynamic Workloads (EC, CD, IF, RM), p. 230.
- PLDI-2012-CoppaDF #profiling
- Input-sensitive profiling (EC, CD, IF), pp. 89–98.
- ASE-2017-CoppaDD #execution #pointer #reasoning #symbolic computation
- Rethinking pointer reasoning in symbolic execution (EC, DCD, CD), pp. 613–618.