Giuseppe Lettieri
Giuseppe Lettieri
Associate Professor of Computer Engineering, Università di Pisa
Verified email at
Cited by
Cited by
Vale, a switched ethernet for virtual machines
L Rizzo, G Lettieri
Proceedings of the 8th international conference on Emerging networking …, 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
Speeding up packet I/O in virtual machines
L Rizzo, G Lettieri, V Maffione
Architectures for Networking and Communications Systems, 47-58, 2013
Heuristic search for equivalence checking
N De Francesco, G Lettieri, A Santone, G Vaglini
Software & Systems Modeling 15, 513-530, 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
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
{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
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
Flexible virtual machine networking using netmap passthrough
V Maffione, L Rizzo, G Lettieri
2016 IEEE International Symposium on Local and Metropolitan Area Networks …, 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
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
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
PSPAT: Software packet scheduling at hardware speed
L Rizzo, P Valente, G Lettieri, V Maffione
Computer Communications 120, 32-45, 2018
A study of I/O performance of virtual machines
G Lettieri, V Maffione, L Rizzo
The Computer Journal 61 (6), 808-831, 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
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
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
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
Caching and prefetching algorithms for programs with looping reference patterns
G Dini, G Lettieri, L Lopriore
The Computer Journal 49 (1), 42-61, 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
The system can't perform the operation now. Try again later.
Articles 1–20