Pubblicazioni di Di Luna Giuseppe Antonio
2024
Artuso Fiorella, Mormando Marco, DI LUNA GIUSEPPE ANTONIO, Querzoni Leonardo
BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2024: -
2023
Console F., D'Aquanno G., Di Luna G. A., Querzoni L.
BinBench: a benchmark for x64 portable operating system interface binary function representations. PEERJ. COMPUTER SCIENCE. 2023: -
Di Luna Giuseppe A., Flocchini Paola, Prencipe Giuseppe, Santoro Nicola
Black Hole Search in Dynamic Rings: The Scattered Case. 27th International Conference on Principles of Distributed Systems (OPODIS 2023) 2023: -
Di Luna G. A., Viglietta G.
Brief Announcement: Efficient Computation in Congested Anonymous Dynamic Networks. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing 2023: 176-179
Di Luna G. A., Viglietta G.
Optimal Computation in Leaderless and Multi-Leader Disconnected Anonymous Dynamic Networks. Leibniz International Proceedings in Informatics, LIPIcs 2023: -
Assaiante C., D'Elia D. C., Di Luna G. A., Querzoni L.
Where Did My Variable Go? Poking Holes in Incomplete Debug Information. International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS 2023: 935-947
2022
Di Luna G. A., Viglietta G.
Computing in Anonymous Dynamic Networks Is Linear. Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2022: 1122-1133
Artuso F., Di Luna G. A., Querzoni L.
Debugging Debug Information with Neural Networks. IEEE ACCESS 2022: 54136-54148
Bonomi S., Di Luna G. A., Michail O., Querzoni L.
Special issue on algorithmic theory of dynamic networks and Its applications. JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2022: 157-158
2021
Di Luna G. A., Flocchini P., Prencipe G., Santoro N.
Black hole search in dynamic rings. Proceedings - International Conference on Distributed Computing Systems 2021: 987-997
Das S., Di Luna G. A., Mazzei D., Prencipe G.
Compacting oblivious agents on dynamic rings. PEERJ. COMPUTER SCIENCE. 2021: 1-29
Di Luna Giuseppe Antonio, Italiano Davide, Massarelli Luca, Österlund Sebastian, Giuffrida Cristiano, Querzoni Leonardo
Distinguished paper award. Who’s debugging the debuggers? exposing debug information bugs in optimized binaries 2021: -
Massarelli Luca, Di Luna Giuseppe Antonio, Petroni Fabio, Querzoni Leonardo, Baldoni Roberto
Function Representations for Binary Similarity. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2021: -
Di Luna G. A., Flocchini P., Santoro N., Viglietta G.
TuringMobile: a turing machine of oblivious mobile robots with limited visibility and its applications. DISTRIBUTED COMPUTING 2021: -
Di Luna G. A., Italiano D., Massarelli L., Osterlund S., Giuffrida C., Querzoni L.
Who's Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries. ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems 2021: 1034-1045
2020
Di Luna Giuseppe Antonio, Anceaume Emmanuelle, Querzoni Leonardo
Byzantine Generalized Lattice Agreement. 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS) 2020: 674-683
Di Luna G, Dobrev S, Flocchini P, Santoro N
Distributed exploration of dynamic rings. DISTRIBUTED COMPUTING 2020: 41-67
Di Luna G. A., Flocchini P., Izumi T., Izumi T., Santoro N., Viglietta G.
Fault-tolerant simulation of population protocols. DISTRIBUTED COMPUTING 2020: -
Di Luna G, Flocchini P, Pagli L, Prencipe G, Santoro N, Viglietta G
Gathering in dynamic rings. THEORETICAL COMPUTER SCIENCE 2020: 79-98
Di Luna Giuseppe A., Uehara Ryuhei, Viglietta Giovanni, Yamauchi Yukiko
Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots. Leibniz International Proceedings in Informatics (LIPIcs) 2020: -
Di Luna G. A., and Flocchini P., and Santoro N., and Viglietta G., Yamashita M
Meeting in a polygon by anonymous oblivious robots. DISTRIBUTED COMPUTING 2020: 445-469
Di Luna G. A., Flocchini P., Santoro N., Viglietta G., Yamauchi Y.
Mobile RAM and shape formation by programmable particles. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020: 343-358
Das S., Di Luna G. A., Flocchini P., Santoro N., Viglietta G., Yamashita M.
Oblivious permutations on the plane. 23rd International Conference on Principles of Distributed Systems (OPODIS 2019) 2020: -
Di Luna G. A., Flocchini P., Santoro N., Viglietta G., Yamauchi Y.
Shape formation by programmable particles. DISTRIBUTED COMPUTING 2020: 69-101
Di Luna G. A., Anceaume E., Bonomi S., Querzoni L.
Synchronous byzantine lattice agreement in O(log(f)) rounds. Proceedings - International Conference on Distributed Computing Systems 2020: 146-156
2019
Das S, Di Luna G, Pagli L, Prencipe G.
Compacting and grouping mobile agents on dynamic rings. Theory and Applications of Models of Computation 2019: 114-133
Massarelli Luca, DI LUNA GIUSEPPE ANTONIO, Petroni Fabio, Querzoni Leonardo, Baldoni Roberto
Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction for Binary Analysis. Proceedings BAR 2019 Workshop on Binary Analysis Research 2019: 1-11
Di Luna G
Mobile agents on dynamic graphs. Distributed Computing by Mobile Entities 2019: 549-584
Das S, Di Luna G, Gasieniec L
Patrolling on dynamic ring networks. SOFSEM 2019: Theory and Practice of Computer Science 2019: 150-163
Di Luna G. A., Flocchini P., Izumi T., Izumi T., Santoro N., Viglietta G.
Population protocols with faulty interactions: The impact of a leader. THEORETICAL COMPUTER SCIENCE 2019: 35-49
Di Luna G, Viglietta G
Robots with lights. Moving and Computing Models: Robots 2019: 252-277
Massarelli Luca, Di Luna Giuseppe Antonio, Petroni Fabio, Baldoni Roberto, Querzoni Leonardo
SAFE: Self-Attentive Function Embeddings for Binary Similarity. Detection of Intrusions and Malware, and Vulnerability Assessment 2019: 309-329
2018
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
Di Luna G, Flocchini P, Prencipe G, Santoro N, Viglietta G
Line recovery by programmable particles. ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking 2018: -
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.
Baldoni Roberto, DI LUNA GIUSEPPE ANTONIO, Massarelli Luca, Petroni Fabio, Querzoni Leonardo
2017
Di Luna G, Flocchini P, Santoro N, Viglietta G, Yamauchi Y
Brief announcement: Shape formation by programmable particles. 31st International Symposium on Distributed Computing (DISC 2017) 2017: 1-3
Das S, Di Luna G, Flocchini P, Santoro N, Viglietta G
Mediated population protocols: Leader election and applications. Theory and Applications of Models of Computation 2017: 172-186
Di Luna G. A., Flocchini P., Santoro N., Viglietta G., Yamashita M.
Meeting in a Polygon by Anonymous Oblivious Robots. Leibniz International Proceedings in Informatics, LIPIcs 2017: -
Di Luna G, Flocchini P, Gan Chaudhuri S, Poloni F, Santoro N, Viglietta G
Mutual visibility by luminous robots without collisions. INFORMATION AND COMPUTATION 2017: 392-418
Di Luna G, Flocchini P, Izumi T, Izumi T, Santoro N, Viglietta G
On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols. 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) 2017: 2472-2477