Daniele Cono D'Elia
I'm a postdoctoral researcher in the SEASON Lab at Sapienza University of Rome and a member of the CIS Sapienza research center for Cyber Intelligence and Information Security. I'm one of the organizers of the CyberChallenge.IT initiative.
I got my PhD in 2016 under the supervision of Camil Demetrescu. I've been a visiting scholar at Purdue in 2014, working with Jan Vitek. I teach Computer System Architecture (Sistemi di Calcolo) since Fall 2016.
My research interests involve programming languages and security. I play with compilers, program analysis, algorithm engineering, and code optimization techniques. In my free time, I'm a road cyclist, swimmer, and traveler.
[J] A Survey of Symbolic Execution Techniques
R. Baldoni, E. Coppa, D.C. D'Elia, C. Demetrescu, I. Finocchi. ACM Computing Surveys 2018
Rethinking Pointer Reasoning in Symbolic Execution
D.C. D'Elia, C. Demetrescu. ASE 2017
Assisting Malware Analysis with Symbolic Execution: A Case Study
R. Baldoni, E. Coppa, D.C. D'Elia, C. Demetrescu. CSCML 2017
Flexible On-Stack Replacement in LLVM
D.C. D'Elia, C. Demetrescu. CGO 2016
[J] Mining Hot Calling Contexts in Small Space
D.C. D'Elia, C. Demetrescu, I. Finocchi. Software: Practice and Experience 2015
Ball-Larus Path Profiling Across Multiple Loop Iterations
D.C. D'Elia, C. Demetrescu. OOPSLA 2013
Mining Hot Calling Contexts in Small Space
D.C. D'Elia, C. Demetrescu, I. Finocchi. PLDI 2011