Picture of Daniele

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.

Publications

  • [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

Contact

  • Daniele Cono D'Elia
  • delia at diag dot uniroma1 dot it
  • Dept. of Computer, Control, and Management Engineering
    Room B118
    25 Via Ariosto
    00185 Rome, Italy
  • dcdelia
  • Google Scholar

Social