BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: D'Elia:Daniele_Cono

Contributed to:

OOPSLA 20132013
PLDI 20112011
ASE 20172017
PLDI 20182018

Wrote 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.
On-stack replacement, distilled (DCD, CD), pp. 166–180.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.