Giuseppe Lettieri
Giuseppe Lettieri
Ricercatore in Ingegneria Informatica, Universitą di Pisa
Verified email at unipi.it
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
1952012
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
852015
Speeding up packet i/o in virtual machines
L Rizzo, G Lettieri, V Maffione
Architectures for Networking and Communications Systems, 47-58, 2013
582013
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
362015
Heuristic search for equivalence checking
N De Francesco, G Lettieri, A Santone, G Vaglini
Software & Systems Modeling 15 (2), 513-530, 2016
332016
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
282014
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
242004
Flexible virtual machine networking using netmap passthrough
V Maffione, L Rizzo, G Lettieri
2016 IEEE International Symposium on Local and Metropolitan Area Networks …, 2016
202016
A survey of fast packet I/O technologies for network function virtualization
G Lettieri, V Maffione, L Rizzo
International Conference on High Performance Computing, 579-590, 2017
182017
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
182002
{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 …, 2018
172018
PSPAT: Software packet scheduling at hardware speed
L Rizzo, P Valente, G Lettieri, V Maffione
Computer Communications 120, 32-45, 2018
14*2018
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
122017
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
122005
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
122002
A study of I/O performance of virtual machines
G Lettieri, V Maffione, L Rizzo
The Computer Journal 61 (6), 808-831, 2018
92018
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
92012
Caching and prefetching algorithms for programs with looping reference patterns
G Dini, G Lettieri, L Lopriore
The Computer Journal 49 (1), 42-61, 2006
92006
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
72016
Decomposing bytecode verification by abstract interpretation
C Bernardeschi, ND Francesco, G Lettieri, L Martini, P Masci
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-63, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20