Camil Demetrescu
Biography
He obtained his Ph.D. in Computer Engineering in 2001 from Sapienza University of Rome. His dissertation was awarded the 2002 EATCS Italian Chapter Prize for the best two Ph.D. Theses in Theoretical Computer Science. He has been visiting scientist at the AT&T Research Laboratories (Florham Park, NJ, USA), joining the Networks Group, and at the Theory Group of the IT University of Copenhagen. He has been consultant at Microsoft Research - Silicon Valley. He is currently Associate Professor in Computer Science at Sapienza University of Rome.
Research interest
- Cybersecurity
- Program analysis (performance profiling, debugging, software visualization)
- Programming languages and systems
- Combinatorial algorithms and data structures
- Experimental algorithmics
Awards
2011 Distinguished OOPSLA paper award, Annual ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2011)
2002 EATCS Italian Chapter Prize for the best two Ph.D. Theses in Theoretical Computer Science
Membro di
Awards
| 2022 | ISEC 2022 Best Paper |
Ultime pubblicazioni
| Handling Memory-Intensive Operations in Symbolic Execution on ISEC 2022: 15th Innovations in Software Engineering Conference | 2022 |
| On computer science research and its temporal evolution on SCIENTOMETRICS | 2022 |
| Reach Me if You Can: On Native Vulnerability Reachability in Android Apps on Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2022 |
| SENinja: A symbolic execution plugin for Binary Ninja on SOFTWAREX | 2022 |
| SymFusion: Hybrid Instrumentation for Concolic Execution on Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) | 2022 |
| Which Conference Is That? A Case Study in Computer Science on ACM JOURNAL OF DATA AND INFORMATION QUALITY | 2022 |
| Fuzzing Symbolic Expressions on 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) | 2021 |