Giuseppe Lettieri

Cited by

	All	Since 2018
Citations	812	440
h-index	14	11
i10-index	19	13

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220236 1 2 1 6 11 9 16 11 7 13 8 11 22 35 45 85 73 107 92 74 82 56 29

Public access

View all

12 articles

1 article

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 HondaLecturer (Assistant Professor) in Networked Systems, 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
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
Lars EggertNetAppVerified email at netapp.com
Paolo ValenteAssistant Professor of Computer Science, Università di Modena e Reggio Emilia - ItalyVerified email at unimore.it
Gregorio ProcissiUniversità di PisaVerified email at unipi.it
Alessandra FaisResearcher PhD Student at Università di PisaVerified email at phd.unipi.it
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Kenichi YasukataIIJVerified email at iij-ii.co.jp
Luigi LeonardiUniversity of PisaVerified email at phd.unipi.it
Stefano GiordanoProfessore di Reti di Telecomunicazioni, Università di PisaVerified email at iet.unipi.it
Giuseppe De RuvoSecDevOps Engineer, x-KCL [London], x-UoA [Auckland, NZ]Verified email at acm.org

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	209	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	96	2015
Speeding up packet I/O in virtual machines L Rizzo, G Lettieri, V Maffione Architectures for Networking and Communications Systems, 47-58, 2013	59	2013
Heuristic search for equivalence checking N De Francesco, G Lettieri, A Santone, G Vaglini Software & Systems Modeling 15, 513-530, 2016	40	2016
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	40	2015
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	37	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	35	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	29	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	28	2016
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	26	2004
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	21	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
PSPAT: Software packet scheduling at hardware speed L Rizzo, P Valente, G Lettieri, V Maffione Computer Communications 120, 32-45, 2018	17*	2018
A study of I/O performance of virtual machines G Lettieri, V Maffione, L Rizzo The Computer Journal 61 (6), 808-831, 2017	15	2017
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
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	11	2012
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	10	2019
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
A study of speed mismatches between communicating virtual machines L Rizzo, S Garzarella, G Lettieri, V Maffione Proceedings of the 2016 Symposium on Architectures for Networking and …, 2016	8	2016

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