Camil Demetrescu

Pubblicazioni

Titolo Pubblicato in Anno
The future of Cybersecurity in Italy: Strategic focus area 2018
Rethinking Pointer Reasoning in Symbolic Execution ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering 2017
Assisting malware analysis with symbolic execution: A case study Cyber Security Cryptographyand Machine Learning 2017
My (Fair) Big Data 2017 IEEE International Conference on Big Data (Big Data 2017) 2017
Mining Hot Calling Contexts in Small Space SOFTWARE, PRACTICE AND EXPERIENCE 2016
Flexible On-Stack Replacement in LLVM Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016 2016
Artifacts 29th European Conference on Object-Oriented Programming 2015

ERC

  • PE6

KET

  • Big data & computing

Interessi di ricerca

  • Program analysis (cybersecurity, profiling, debugging, software visualization)
  • Algorithms and data structures
  • Experimental algorithmics
  • Bibliometrics

Keywords

declarative programming
Algorithms
Cyber security

Progetti di Ricerca

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma