Giuseppe Lettieri

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 21

Top Topics

Packet Scheduling

Virtual Machine

Stream Processing

Top Venues

SIGCOMM Posters and Demos

Publications

Sebastiano Miano, Giuseppe Lettieri, Gianni Antichi, Gregorio Procissi
Accelerating network analytics with an on-NIC streaming engine. Comput. Networks 241 (2024)
Filippo Storniolo, Luigi Leonardi, Giuseppe Lettieri
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach. J. Syst. Archit. 150 (2024)
Filippo Storniolo, Luigi Leonardi, Giuseppe Lettieri
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach. ISC Workshops (2023)
Carmelo Aparo, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline. EuroS&P Workshops (2023)
Giuseppe Lettieri, Alessandra Fais, Gianni Antichi, Gregorio Procissi
SmartNIC-Accelerated Stream Processing Analytics. NFV-SDN (2023)
Luigi Leonardi, Giuseppe Lettieri, Giacomo Pellicci
eBPF-based Extensible Paravirtualization. ISC Workshops (2022)
Nicola Bonelli, Fabio Del Vigna, Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi
Programming socket-independent network functions with nethuns. Comput. Commun. Rev. 52 (2) (2022)
Alessandra Fais, Gianni Antichi, Stefano Giordano, Giuseppe Lettieri, Gregorio Procissi
Mind the cost of telemetry data analysis. SIGCOMM Posters and Demos (2022)
Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi, Stefano Giordano, Francesco Oppedisano
Data Stream Processing for Packet-Level Analytics. Sensors 21 (5) (2021)
Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi, Stefano Giordano
Towards Scalable and Expressive Stream Packet Processing. GLOBECOM (2021)
Vincenzo Maffione, Giuseppe Lettieri, Luigi Rizzo
Cache-aware design of general-purpose Single-Producer-Single-Consumer queues. Softw. Pract. Exp. 49 (5) (2019)
Vincenzo Maffione, Giuseppe Lettieri, Luigi Rizzo
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution. ANCS (2019)
Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry
PASTE: A Network Programming Interface for Non-Volatile Main Memory. NSDI (2018)
Luigi Rizzo, Paolo Valente, Giuseppe Lettieri, Vincenzo Maffione
PSPAT: Software packet scheduling at hardware speed. Comput. Commun. 120 (2018)
Giuseppe Lettieri, Vincenzo Maffione, Luigi Rizzo
A Study of I/O Performance of Virtual Machines. Comput. J. 61 (6) (2018)
Kenichi Yasukata, Felipe Huici, Vincenzo Maffione, Giuseppe Lettieri, Michio Honda
HyperNF: building a high performance, high utilization and fair NFV platform. SoCC (2017)
Giuseppe Lettieri, Vincenzo Maffione, Luigi Rizzo
A Survey of Fast Packet I/O Technologies for Network Function Virtualization. ISC Workshops (2017)
Luigi Rizzo, Stefano Garzarella, Giuseppe Lettieri, Vincenzo Maffione
A Study of Speed Mismatches Between Communicating Virtual Machines. ANCS (2016)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
Heuristic search for equivalence checking. Softw. Syst. Model. 15 (2) (2016)
Vincenzo Maffione, Luigi Rizzo, Giuseppe Lettieri
Flexible virtual machine networking using netmap passthrough. LANMAN (2016)
Luigi Rizzo, Giuseppe Lettieri, Vincenzo Maffione
Very high speed link emulation with TLEM. LANMAN (2016)
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS (2015)
Michio Honda, Felipe Huici, Giuseppe Lettieri, Luigi Rizzo
mSwitch: a highly-scalable, modular software switch. SOSR (2015)
Stefano Garzarella, Giuseppe Lettieri, Luigi Rizzo
Virtual Device Passthrough for High Speed VM Networking. ANCS (2015)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23 (3) (2014)
Luigi Rizzo, Giuseppe Lettieri, Vincenzo Maffione
Speeding up packet I/O in virtual machines. ANCS (2013)
Luigi Rizzo, Giuseppe Lettieri
VALE, a switched ethernet for virtual machines. CoNEXT (2012)
Giuseppe Lettieri
An Abstract Interpretation framework for genotype elimination algorithms. Theor. Comput. Sci. 436 (2012)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (4) (2012)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411 (22-24) (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Celer: an Efficient Program for Genotype Elimination AMCA-POP (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
Partial model checking via abstract interpretation. Inf. Process. Lett. 110 (3) (2010)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98 (1) (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49 (2) (2006)
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
Caching and prefetching algorithms for programs with looping reference patterns. Comput. J. 49 (1) (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
A Space-Aware Bytecode Verifier for Java Cards. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw. Pract. Exp. 34 (13) (2004)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae 60 (1-4) (2004)
Nicoletta De Francesco, Giuseppe Lettieri
Checking security properties by model checking. Softw. Test. Verification Reliab. 13 (3) (2003)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC (2002)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems 26 (8) (2002)
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
An Overview of Ulisse, a Distributed Single Address Space System. POS (2000)
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
Recoverable-Persistence in a Distributed Single Address Space. Applied Informatics (1999)
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
Implementing a Distributed Single Address Space in the Presence of Failures. PDPTA (1999)