Pubblicazioni di Demetrescu Camil
2022
Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Handling Memory-Intensive Operations in Symbolic Execution. ISEC 2022: 15th Innovations in Software Engineering Conference 2022: -
Demetrescu C., Finocchi I., Ribichini A., Schaerf M.
On computer science research and its temporal evolution. SCIENTOMETRICS 2022: 4913-4938
Borzacchiello L., Coppa E., Maiorca D., Columbu A., Demetrescu C., Giacinto G.
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022: 701-722
Borzacchiello L., Coppa E., Demetrescu C.
SENinja: A symbolic execution plugin for Binary Ninja. SOFTWAREX 2022: 101219-
Coppa Emilio, Yin Heng, Demetrescu Camil
SymFusion: Hybrid Instrumentation for Concolic Execution. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) 2022: -
Demetrescu C., Finocchi I., Ribichini A., Schaerf M.
Which Conference Is That? A Case Study in Computer Science. ACM JOURNAL OF DATA AND INFORMATION QUALITY 2022: 1-13
2021
Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Fuzzing Symbolic Expressions. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) 2021: 711-722
Borzacchiello L., Coppa E., Demetrescu C.
FUZZOLIC: Mixing fuzzing and concolic execution. COMPUTERS & SECURITY 2021: -
2020
Demetrescu C., Ribichini A., Schaerf M.
Are Italian research assessment exercises size-biased?. SCIENTOMETRICS 2020: 533-549
Demetrescu Camil, Finocchi Irene, Ribichini Andrea, Schaerf Marco
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy. SCIENTOMETRICS 2020: 2207-2228
2019
Borzacchiello Luca, Coppa Emilio, D'Elia DANIELE CONO, Demetrescu Camil
Memory Models in Symbolic Execution: Key Ideas and New Thoughts. SOFTWARE TESTING, VERIFICATION & RELIABILITY 2019: -
Demetrescu Camil, Lupia Francesco, Mendicelli Angelo, Ribichini Andrea, Scarcello Francesco, Schaerf Marco
On the Shapley value and its application to the Italian VQR research assessment exercise. JOURNAL OF INFORMETRICS 2019: 87-104
Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. Cyber Security Cryptography and Machine Learning 2019: 121-140
D'Elia D. C., Coppa E., Salvati A., Demetrescu C.
Static analysis of ROP code. EuroSec '19 Proceedings of the 12th European Workshop on Systems Security 2019: -
Angelini Marco, Blasilli Graziano, Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Lenti Simone, Nicchi Simone, Santucci Giuseppe
SymNav: Visually Assisting Symbolic Execution. Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) 2019: -
Borrello P., Coppa E., D'Elia D. C., Demetrescu C.
The ROP needle: Hiding trigger-based injection vectors via code reuse. SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019: 1962-1970
2018
Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene
A Survey of Symbolic Execution Techniques. ACM COMPUTING SURVEYS 2018: -
Demetrescu Camil, Ribichini Andrea, Schaerf Marco
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study. SCIENTOMETRICS 2018: 1777-1791
Baldoni Roberto, De Nicola Rocco, Prinetto Paolo, Anglano COSIMO FILOMENO, Aniello Leonardo, Antinori Arije, Armando Alessandro, Aversa Rocco, Baldi Marco, Barili Antonio, Bartoletti Massimo, Basile Basile, Bellini Marco, Bergadano Francesco, Bernardeschi Cinzia, Bertino , Elisa Bianchi, Giuseppe , Biancotti Claudia, Bistarelli Stefano, Blefari Melazzi Nicola, Boetti Milena, Bondavalli Andrea, Bonomi Silvia, Buccafurri Francesco, Cambiaso Enrico, Caputo Barbara, Carminati Barbara, Cataliotti Francesco Saverio, Catarci Tiziana, Ceccarelli Andrea, Cesa Bianchi Nicolò, Chiaraluce Franco, Colajanni Michele, Conti Marco, Conti Mauro, Coppolino Luigi, Costa Gabriele, Costamagna Valerio, Cotroneo Domenico, Crispo Bruno, Cucchiara Rita, D’Antonio Salvatore, Damiani Ernesto, De Nicola Rocco, De Santis Alfredo, Di Battista Giuseppe, Di Martino Beniamino, Degiovanni Ivo Pietro, Demetrescu Camil, Di Corinto Arturo, Di Luna Antonio, Di Natale Giorgio, Dini Gianluca, Evangelisti Marco, Falcinelli Daniela, Figà Gianna, Ferretti Marco, Ficco Massimo, Flocchini Paola, Flottes Marie-Lise, Focardi Riccardo, Franchina Luisa, Furfaro Angelo, Girdinio Paola, Guida Franco, Italiano Giuseppe F., Lain Daniele, Laurenti Nicola, Lioy Antonio, Loreti Michele, Malerba Donato, Mancini Luigi Vincenzo, Marchetti Spaccamela Alberto, Marcialis Gianluca, Margheri Andrea, Marrella Andrea, Martinelli Fabio, Martinelli Maurizio, Martino Luigi, Massacci Fabio, Mayer Marco, Mecella Massimo, Mensi Maurizio, Merlo Alessio, Miculan Marino, Montanari Luca, Morana Marco, Mosco Gian Domenico, Mostarda Leonardo, Murino Vittorio, Nardi Daniele, Navigli Roberto, Palazzi Andrea, Palmieri Francesco, Panetta Ida, Passarella Andrea, Pellegrini Alessandro, Pelosi Gerardo, Pellegrino Giancarlo, Pirlo Giuseppe, Piuri Vincenzo, Pizzonia Maurizio, Pogliani Marcello, Polino Mario, Pontil Massimiliano, Prinetto Paolo, Quaglia Francesco, Quattrociocchi Walter, Querzoni Leonardo, Rak Massimiliano, Ranise Silvio, Ricci Elisa, Rossi Lorenzo, Rota Paolo, Russo Ludovico Orlando, Samarati Pierangela, Santoro Nicola, Santucci Beppe, Sassone Vladimiro, Scala Antonio, Scotti Fabio, Servida Andrea, Spagnoletti Paolo, Spalazzi Luca, Spidalieri Francesca, Spoto Austo, Squarcina Marco, Stefanelli Stefania, Vecchio Alessio, Venticinque Salvatore, Villoresi Paolo, Visaggio Aaron, Vitaletti Andrea, Zanero Stefano
D'Elia Daniele Cono, Demetrescu Camil
On-stack replacement, distilled. ACM SIGPLAN NOTICES 2018: 166-180
Baldoni R., De Nicola R., Prinetto P., Anglano C., Aniello L., Antinori A., Armando A., Aversa R., Baldi Marco, Barili A., Bartoletti M., Bellini M., Bergadano F., Bernardeschi C., Bianchi E., Biancotti C., Bistarelli S., Blefari Melazzi N., Boetti M., Bondavalli A., Bonomi ., Buccafurri F., Cambiaso E., Caputo B., Carminati B., Cataliotti F. S., Catarci T., Ceccarelli A., Cesa Bianchi N., Chiaraluce F., Colajanni M., Conti M., Conti M., Coppolino L., Costa G., Costamagna V., Cotroneo D., Crispo B., Cucchiara R., D’Antonio S., Damiani E., De Nicola R., De Santis A., Di Battista G., Di Martino B., Degiovanni I. P., Demetrescu C., Di Corinto A., Di Luna A., Di Natale G., Dini G., Evangelisti M., Falcinelli D., Figà G., Ferretti M., Ficco M., Flocchini P., Flottes M., Focardi R., Furfaro Franchina., Girdinio P., Guida F., Italiano G. F., Lain D., Laurenti N., Lioy A., Loreti M., Malerba D., Mancini L. V., Marchetti Spaccamela A., Marcialis G., Margheri A., Marrella A., Martinelli F., Martinelli M., Martino L., Massacci F., Mayer M., Mecella M., Mensi M., Merlo A., Miculan M., Montanari L., Morana M., Mosco G. D., Mostarda L., Murino V., Nardi D., Navigli R., Palazzi A., Palmieri F., Panetta I. C., Passarella A., Pellegrini A., Pelosi G., Pellegrino G., Pirlo G., Piuri V., Pizzonia M., Pogliani M., Polino M., Pontil M., Prinetto P., Quaglia F., Quattrociocchi W., Querzoni L., Rak M., Ranise S., Ricci E., Rossi L., Rota P., Russo L. O., Samarati P., Santoro N., Santucci B., Sassone V., Scala A., Scotti F., Servida A., Spagnoletti P., Spalazzi L., Spidalieri F., Spoto A., Squarcina M., Stefanelli S., Vecchio A., Venticinque S., Villoresi P., Visaggio A., Vitaletti A., Zanero S.
2017
Baldoni Roberto, Coppa Emilio, D’Elia Daniele Cono, Demetrescu Camil
Assisting malware analysis with symbolic execution: A case study. Cyber Security Cryptographyand Machine Learning 2017: 171-188
Catarci Tiziana, Scannapieco Monica, Console Marco, Demetrescu Camil
My (Fair) Big Data. 2017 IEEE International Conference on Big Data (Big Data 2017) 2017: 2974-2979
2016
D'Elia DANIELE CONO, Demetrescu Camil
Flexible On-Stack Replacement in LLVM. Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016 2016: 250-260
D'Elia DANIELE CONO, Demetrescu Camil
D'ELIA DANIELE CONO, DEMETRESCU Camil, FINOCCHI Irene
Mining Hot Calling Contexts in Small Space. SOFTWARE, PRACTICE AND EXPERIENCE 2016: 1131-1152
2015
Demetrescu C., Flatt M.
Artifacts. 29th European Conference on Object-Oriented Programming 2015: xi-xii
2014
Coppa Emilio, Demetrescu Camil, Finocchi Irene, Marotta Romolo
Estimating the empirical cost function of routines with dynamic workloads. Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization 2014: 230-239
Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-Sensitive Profiling. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2014: 1185-1205
D'Elia DANIELE CONO, Demetrescu Camil, Finocchi Irene
Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Reactive imperative programming with dataflow constraints. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2014: -
2013
D'Elia DANIELE CONO, Demetrescu Camil
Ball-larus path profiling across multiple loop iterations. ACM SIGPLAN NOTICESProceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications 2013: 373-390
Vincenzo Bonifaci, Demetrescu Camil, MARCHETTI SPACCAMELA Alberto
Experimental Algorithms. Lecture Notes in Computer ScienceExperimental Algorithms 2013: -
Bonifaci Vincenzo, Demetrescu Camil, MARCHETTI SPACCAMELA Alberto
Demetrescu Camil, Italiano Giuseppe F.
The quest for the shortest route. The Power of Algorithms: Inspiration and Examples in Everyday Life 2013: 85-105
2012
Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-sensitive profiling. ACM SIGPLAN NOTICES 2012: 89-98
Ausiello Giorgio, Demetrescu Camil, Finocchi Irene, Firmani Donatella
K-calling context profiling. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2012: 867-877
2011
Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Distinguished Paper Award at OOPSLA 2011, the 26th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications.. Reactive Imperative Programming with Dataflow Constraints 2011: -
2010
Demetrescu Camil, Bruno Escoffier, Gabriel Moruz, Ribichini Andrea
Adapting parallel algorithms to the W-Stream model, with applications to graph problems. THEORETICAL COMPUTER SCIENCE 2010: 3994-4004
2009
Ausiello Giorgio, Demetrescu Camil, Franciosa Paolo Giulio, Italiano GIUSEPPE FRANCESCO, Ribichini Andrea
Graph Spanners in the Streaming Model: An Experimental Study. ALGORITHMICA 2009: 346-374
Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Trading off space for passes in graph streaming problems. ACM TRANSACTIONS ON ALGORITHMS 2009: 1-17
2008
Demetrescu Camil, Finocchi Irene
Algorithms for Data Streams. Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems. Chapter 8. 2008: 241-270
Demetrescu Camil, Finocchi Irene, G. F. Italiano
Algoritmi e strutture dati (seconda edizione). Libro di testo per corsi universitari, McGraw-Hill 2008: 1-464
Demetrescu Camil, Giuseppe F. Italiano
Decremental All-Pairs Shortest Paths. Encyclopedia of Algorithms 2008: 226-227
Demetrescu Camil, Andrew V. Goldberg, David S. Johnson
Implementation Challenge for Shortest Paths. Encyclopedia of Algorithms 2008: 395-398