![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Giuseppe Lettieri
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j21]Sebastiano Miano
, Giuseppe Lettieri
, Gianni Antichi, Gregorio Procissi:
Accelerating network analytics with an on-NIC streaming engine. Comput. Networks 241: 110231 (2024) - [j20]Filippo Storniolo, Luigi Leonardi
, Giuseppe Lettieri
:
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach. J. Syst. Archit. 150: 103130 (2024) - 2022
- [j19]Nicola Bonelli, Fabio Del Vigna, Alessandra Fais
, Giuseppe Lettieri
, Gregorio Procissi:
Programming socket-independent network functions with nethuns. Comput. Commun. Rev. 52(2): 35-48 (2022) - 2021
- [j18]Alessandra Fais
, Giuseppe Lettieri
, Gregorio Procissi
, Stefano Giordano
, Francesco Oppedisano:
Data Stream Processing for Packet-Level Analytics. Sensors 21(5): 1735 (2021) - 2019
- [j17]Vincenzo Maffione
, Giuseppe Lettieri
, Luigi Rizzo:
Cache-aware design of general-purpose Single-Producer-Single-Consumer queues. Softw. Pract. Exp. 49(5): 748-779 (2019) - 2018
- [j16]Giuseppe Lettieri
, Vincenzo Maffione, Luigi Rizzo:
A Study of I/O Performance of Virtual Machines. Comput. J. 61(6): 808-831 (2018) - [j15]Luigi Rizzo, Paolo Valente, Giuseppe Lettieri
, Vincenzo Maffione:
PSPAT: Software packet scheduling at hardware speed. Comput. Commun. 120: 32-45 (2018) - 2016
- [j14]Nicoletta De Francesco, Giuseppe Lettieri
, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - 2014
- [j13]Nicoletta De Francesco, Giuseppe Lettieri
, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - 2012
- [j12]Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini:
Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE ACM Trans. Comput. Biol. Bioinform. 9(4): 1180-1189 (2012) - [j11]Giuseppe Lettieri
:
An Abstract Interpretation framework for genotype elimination algorithms. Theor. Comput. Sci. 436: 87-105 (2012) - 2010
- [j10]Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini, Gigliola Vaglini:
Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010) - [j9]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): 2174-2201 (2010) - 2008
- [j8]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008) - 2006
- [j7]Gianluca Dini
, Giuseppe Lettieri
, Lanfranco Lopriore:
Caching and prefetching algorithms for programs with looping reference patterns. Comput. J. 49(1): 42-61 (2006) - [j6]Cinzia Bernardeschi
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006) - [j5]Cinzia Bernardeschi
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006) - 2004
- [j4]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri:
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae 60(1-4): 81-98 (2004) - [j3]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): 1225-1255 (2004) - 2003
- [j2]Nicoletta De Francesco, Giuseppe Lettieri
:
Checking security properties by model checking. Softw. Test. Verification Reliab. 13(3): 181-196 (2003) - 2002
- [j1]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
:
An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocess. Microsystems 26(8): 391-398 (2002)
Conference and Workshop Papers
- 2024
- [c26]Antonio Le Caldare, Luigi Leonardi, Sebastiano Miano, Gregorio Procissi, Gianni Antichi, Giuseppe Lettieri:
Rethinking Cloud Network Stacks with Switch Bypass. HPSR 2024: 55-60 - [c25]Riccardo Sagramoni, Giuseppe Lettieri, Gregorio Procissi:
On the Impact of Memory Safety on Fast Network I/O. HPSR 2024: 161-166 - 2023
- [c24]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: 58-67 - [c23]Giuseppe Lettieri
, Alessandra Fais, Gianni Antichi, Gregorio Procissi:
SmartNIC-Accelerated Stream Processing Analytics. NFV-SDN 2023: 135-140 - [c22]Filippo Storniolo
, Luigi Leonardi
, Giuseppe Lettieri
:
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach. ISC Workshops 2023: 97-106 - 2022
- [c21]Alessandra Fais
, Gianni Antichi, Stefano Giordano, Giuseppe Lettieri
, Gregorio Procissi:
Mind the cost of telemetry data analysis. SIGCOMM Posters and Demos 2022: 22-24 - [c20]Luigi Leonardi
, Giuseppe Lettieri
, Giacomo Pellicci:
eBPF-based Extensible Paravirtualization. ISC Workshops 2022: 383-393 - 2021
- [c19]Alessandra Fais
, Giuseppe Lettieri
, Gregorio Procissi, Stefano Giordano:
Towards Scalable and Expressive Stream Packet Processing. GLOBECOM 2021: 1-6 - 2019
- [c18]Vincenzo Maffione, Giuseppe Lettieri
, Luigi Rizzo:
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution. ANCS 2019: 1-7 - 2018
- [c17]Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry:
PASTE: A Network Programming Interface for Non-Volatile Main Memory. NSDI 2018: 17-33 - 2017
- [c16]Kenichi Yasukata
, Felipe Huici, Vincenzo Maffione, Giuseppe Lettieri
, Michio Honda
:
HyperNF: building a high performance, high utilization and fair NFV platform. SoCC 2017: 157-169 - [c15]Giuseppe Lettieri
, Vincenzo Maffione, Luigi Rizzo
:
A Survey of Fast Packet I/O Technologies for Network Function Virtualization. ISC Workshops 2017: 579-590 - 2016
- [c14]Luigi Rizzo
, Stefano Garzarella, Giuseppe Lettieri
, Vincenzo Maffione
:
A Study of Speed Mismatches Between Communicating Virtual Machines. ANCS 2016: 61-67 - [c13]Vincenzo Maffione
, Luigi Rizzo
, Giuseppe Lettieri
:
Flexible virtual machine networking using netmap passthrough. LANMAN 2016: 1-6 - [c12]Luigi Rizzo
, Giuseppe Lettieri
, Vincenzo Maffione
:
Very high speed link emulation with TLEM. LANMAN 2016: 1-6 - 2015
- [c11]Stefano Garzarella, Giuseppe Lettieri
, Luigi Rizzo
:
Virtual Device Passthrough for High Speed VM Networking. ANCS 2015: 99-110 - [c10]Giuseppe De Ruvo
, Giuseppe Lettieri
, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS 2015: 181-198 - [c9]Michio Honda
, Felipe Huici, Giuseppe Lettieri
, Luigi Rizzo
:
mSwitch: a highly-scalable, modular software switch. SOSR 2015: 1:1-1:13 - 2013
- [c8]Luigi Rizzo
, Giuseppe Lettieri
, Vincenzo Maffione
:
Speeding up packet I/O in virtual machines. ANCS 2013: 47-58 - 2012
- [c7]Luigi Rizzo
, Giuseppe Lettieri
:
VALE, a switched ethernet for virtual machines. CoNEXT 2012: 61-72 - 2010
- [c6]Nicoletta De Francesco, Giuseppe Lettieri
, Luca Martini:
Celer: an Efficient Program for Genotype Elimination. AMCA-POP 2010: 56-70 - 2005
- [c5]Cinzia Bernardeschi
, Giuseppe Lettieri
, Luca Martini, Paolo Masci
:
A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS 2005: 237-254 - 2002
- [c4]Cinzia Bernardeschi
, Nicoletta De Francesco, Giuseppe Lettieri
:
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855 - 2000
- [c3]Gianluca Dini, Giuseppe Lettieri
, Lanfranco Lopriore:
An Overview of Ulisse, a Distributed Single Address Space System. POS 2000: 215-227 - 1999
- [c2]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Recoverable-Persistence in a Distributed Single Address Space. Applied Informatics 1999: 477-480 - [c1]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Implementing a Distributed Single Address Space in the Presence of Failures. PDPTA 1999: 355-361
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint