Giuseppe Lettieri

Cited by

	All	Since 2019
Citations	899	413
h-index	14	12
i10-index	19	14

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 1 2 1 6 11 9 15 12 7 14 8 12 23 35 45 87 71 111 97 80 79 52 51 53

Public access

View all

13 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Luigi RizzoProfessor of Computer Engineering, Universita` di Pisa, ItalyVerified email at iet.unipi.it
Vincenzo MaffioneUniversita' di PisaVerified email at ing.unipi.it
cinzia bernardeschiDepartment of Information Engineering, University of PisaVerified email at unipi.it
Michio HondaAssociate Professor, University of EdinburghVerified email at ed.ac.uk
gigliola vagliniProfessore di Ingegneria informatica, Università di pisaVerified email at iet.unipi.it
Antonella SantoneVerified email at unisannio.it
Felipe HuiciNEC Laboratories EuropeVerified email at neclab.eu
Gregorio ProcissiUniversità di PisaVerified email at unipi.it
Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterVerified email at nasa.gov
Lanfranco LoprioreDipartimento di Ingegneria dell'Informazione, Università di PisaVerified email at unipi.it
GIANLUCA DINIDept. of Ingegneria di Informazione, University of PisaVerified email at unipi.it
Stefano GarzarellaSenior Software Engineer, Red HatVerified email at redhat.com
Alessandra FaisResearcher PhD Student at Università di PisaVerified email at phd.unipi.it
Luigi LeonardiUniversity of PisaVerified email at phd.unipi.it
Lars EggertMozillaVerified email at mozilla.com
Paolo ValenteAssistant Professor of Computer Science, Università di Modena e Reggio Emilia - ItalyVerified email at unimore.it
Stefano GiordanoProfessore di Reti di Telecomunicazioni, Università di PisaVerified email at iet.unipi.it
Kenichi YasukataIIJVerified email at iij-ii.co.jp
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Nicola BonelliUniversity of PisaVerified email at cnit.it

Giuseppe Lettieri

Associate Professor of Computer Engineering, Università di Pisa

Verified email at unipi.it

Operating systems virtualization formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Vale, a switched ethernet for virtual machines L Rizzo, G Lettieri Proceedings of the 8th international conference on Emerging networking …, 2012	222	2012
mSwitch: a highly-scalable, modular software switch M Honda, F Huici, G Lettieri, L Rizzo Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015	101	2015
Speeding up packet I/O in virtual machines L Rizzo, G Lettieri, V Maffione Architectures for Networking and Communications Systems, 47-58, 2013	61	2013
Virtual device passthrough for high speed VM networking S Garzarella, G Lettieri, L Rizzo 2015 ACM/IEEE Symposium on Architectures for Networking and Communications …, 2015	42	2015
Heuristic search for equivalence checking N De Francesco, G Lettieri, A Santone, G Vaglini Software & Systems Modeling 15, 513-530, 2016	40	2016
Grease: a tool for efficient “nonequivalence” checking N Francesco, G Lettieri, A Santone, G Vaglini ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (3), 1-26, 2014	40	2014
{PASTE}: A Network Programming Interface for {Non-Volatile} Main Memory M Honda, G Lettieri, L Eggert, D Santry 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018	38	2018
A survey of fast packet I/O technologies for network function virtualization G Lettieri, V Maffione, L Rizzo High Performance Computing: ISC High Performance 2017 International …, 2017	31	2017
Flexible virtual machine networking using netmap passthrough V Maffione, L Rizzo, G Lettieri 2016 IEEE International Symposium on Local and Metropolitan Area Networks …, 2016	30	2016
HyperNF: Building a high performance, high utilization and fair NFV platform K Yasukata, F Huici, V Maffione, G Lettieri, M Honda Proceedings of the 2017 Symposium on Cloud Computing, 157-169, 2017	28	2017
Checking secure information flow in java bytecode by code transformation and standard bytecode verification C Bernardeschi, N De Francesco, G Lettieri, L Martini Software: Practice and Experience 34 (13), 1225-1255, 2004	27	2004
PSPAT: Software packet scheduling at hardware speed L Rizzo, P Valente, G Lettieri, V Maffione Computer Communications 120, 32-45, 2018	21*	2018
A study of I/O performance of virtual machines G Lettieri, V Maffione, L Rizzo The Computer Journal 61 (6), 808-831, 2017	19	2017
Using standard verifier to check secure information flow in java bytecode C Bernardeschi, N De Francesco, G Lettieri Proceedings 26th Annual International Computer Software and Applications …, 2002	18	2002
Cache‐aware design of general‐purpose Single‐Producer–Single‐Consumer queues V Maffione, G Lettieri, L Rizzo Software: Practice and Experience 49 (5), 748-779, 2019	13	2019
Efficient genotype elimination via adaptive allele consolidation N De Francesco, G Lettieri, L Martini IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (4 …, 2012	13	2012
An abstract semantics tool for secure information flow of stack-based assembly programs C Bernardeschi, N De Francesco, G Lettieri Microprocessors and Microsystems 26 (8), 391-398, 2002	13	2002
A space-aware bytecode verifier for Java cards C Bernardeschi, G Lettieri, L Martini, P Masci Electronic Notes in Theoretical Computer Science 141 (1), 237-254, 2005	12	2005
Caching and prefetching algorithms for programs with looping reference patterns G Dini, G Lettieri, L Lopriore The Computer Journal 49 (1), 42-61, 2006	10	2006
Programming socket-independent network functions with nethuns N Bonelli, FD Vigna, A Fais, G Lettieri, G Procissi ACM SIGCOMM Computer Communication Review 52 (2), 35-48, 2022	9	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors