Pubblicazioni di Demetrescu Camil

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

Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
Rethinking Pointer Reasoning in Symbolic Execution. ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering 2017: 613-618

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

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: 1-1

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

Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-sensitive profiling. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 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

Ausiello Giorgio, Demetrescu Camil, Finocchi Irene, Firmani Donatella
K-calling context profiling. ACM SIGPLAN NOTICES 2012: 867-877

2011

Demetrescu Camil, Finocchi Irene, Ribichini Andrea
D'Elia DANIELE CONO, Demetrescu Camil, Finocchi Irene
Mining Hot Calling Contexts in Small Space. Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation 2011: 516-527

Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Reactive imperative programming with dataflow constraints. Proceedings of OOPSLA 2011, 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications 2011: 407-426

Demetrescu Camil, Finocchi Irene, Ribichini Andrea

2010

Demetrescu Camil, Bruno Escoffier, Gabriel Moruz, Ribichini Andrea

2009

Ausiello Giorgio, Demetrescu Camil, Franciosa Paolo Giulio, Italiano GIUSEPPE FRANCESCO, Ribichini Andrea
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

Demetrescu Camil, Giuseppe F. Italiano
Demetrescu Camil, Giuseppe F. Italiano
Single-Source Fully Dynamic Reachability. Encyclopedia of Algorithms 2008: 846-847

Demetrescu Camil, Giuseppe F. Italiano
Trade-Offs for Dynamic Graph Problems. Encyclopedia of Algorithms 2008 2008: 958-961

Demetrescu Camil, Giuseppe F. Italiano
Visualization Techniques for Algorithm Engineering. Encyclopedia of Algorithms 2008: 1008-1011

2007

Demetrescu Camil, Bruno Escoffier, Moruz Gabriel, Ribichini Andrea
Adapting parallel algorithms to the W-stream model, with applications to graph problems. LECTURE NOTES IN COMPUTER SCIENCEProceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science 2007: 194-205

Demetrescu Camil, Giuseppe F. Italiano
Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007: 3-15

Demetrescu Camil, Mikkel Thorup, Rezaul Alam Chowdhury, Vijaya Ramachandran
Oracles for distances avoiding a failed node or link. SIAM JOURNAL ON COMPUTING 2007: 1299-1318

Demetrescu Camil, FERRARO PETRILLO Umberto, Finocchi Irene, G. F. Italiano
Progetto di algoritmi e strutture dati in Java. Progetto di algoritmi e strutture dati in Java 2007: 1-433

Ausiello Giorgio, Demetrescu Camil, Franciosa Paolo Giulio, Italiano GIUSEPPE FRANCESCO, Ribichini Andrea
Small stretch spanners in the streaming model: New algorithms and experiments. LECTURE NOTES IN COMPUTER SCIENCEProceedings of the 15th Annual European Symposium on Algorithms 2007: 605-617

2006

Demetrescu Camil, Finocchi Irene
A data-driven graphical toolkit for software visualization. Proceedings of the 2006 ACM symposium on Software visualization - SoftVis '06 2006: 57-66

Demetrescu Camil, P. Faruolo, G. F. Italiano, M. Thorup
Does path cleaning help in dynamic all-pairs shortest paths?. LECTURE NOTES IN COMPUTER SCIENCEProceedings of the 14th Annual European Symposium on Algorithms 2006: 732-743

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