Contact

All Stories

  1. Bringing Memory Safety Close to the Wire

    Article • September 2025, ACM (Association for Computing Machinery)

    Ms. Alessandra Fais, Giuseppe Lettieri

  2. Mind the cost of telemetry data analysis

    Article • August 2022, ACM (Association for Computing Machinery)

    Ms. Alessandra Fais, Giuseppe Lettieri, Dr. YAWO AKRODOU

  3. Network programming made easy and portable with Nethuns

    Article • ACM SIGCOMM Computer Communication Review, April 2022, ACM (Association for Computing Machinery)

    Giuseppe Lettieri, Ms. Alessandra Fais

  4. Data Stream Processing for Packet-Level Analytics

    Article • Sensors, March 2021, MDPI AG

    Giuseppe Lettieri, Ms. Alessandra Fais

  5. BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution

    Article • September 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  6. Cache‐aware design of general‐purpose Single‐Producer–Single‐Consumer queues

    Article • Software Practice and Experience, December 2018, Wiley

    Giuseppe Lettieri

  7. PSPAT: Software packet scheduling at hardware speed

    Article • Computer Communications, May 2018, Elsevier

    Giuseppe Lettieri

  8. A Study of I/O Performance of Virtual Machines

    Article • The Computer Journal, September 2017, Oxford University Press (OUP)

    Giuseppe Lettieri

  9. HyperNF

    Article • September 2017, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  10. A Survey of Fast Packet I/O Technologies for Network Function Virtualization

    Article • January 2017, Springer Science + Business Media

    Giuseppe Lettieri

  11. Flexible virtual machine networking using netmap passthrough

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  12. Very high speed link emulation with TLEM

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  13. A Study of Speed Mismatches Between Communicating Virtual Machines

    Article • March 2016, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  14. k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes

    Article • January 2016, Springer Science + Business Media

    Giuseppe Lettieri

  15. mSwitch

    Article • June 2015, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  16. Virtual device passthrough for high speed VM networking

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  17. Heuristic search for equivalence checking

    Article • Software & Systems Modeling, May 2014, Springer Science + Business Media

    Giuseppe Lettieri

  18. GreASE

    Article • ACM Transactions on Software Engineering and Methodology, May 2014, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  19. Speeding up packet I/O in virtual machines

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  20. Efficient Genotype Elimination via Adaptive Allele Consolidation

    Article • IEEE/ACM Transactions on Computational Biology and Bioinformatics, July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri

  21. An Abstract Interpretation framework for genotype elimination algorithms

    Article • Theoretical Computer Science, June 2012, Elsevier

    Giuseppe Lettieri

  22. VALE, a switched ethernet for virtual machines

    Article • January 2012, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  23. Celer: an Efficient Program for Genotype Elimination

    Article • Electronic Proceedings in Theoretical Computer Science, August 2010, Open Publishing Association

    Giuseppe Lettieri

  24. Using abstract interpretation to add type checking for interfaces in Java bytecode verification

    Article • Theoretical Computer Science, May 2010, Elsevier

    Giuseppe Lettieri

  25. Partial model checking via abstract interpretation

    Article • Information Processing Letters, January 2010, Elsevier

    Giuseppe Lettieri

  26. Decomposing bytecode verification by abstract interpretation

    Article • ACM Transactions on Programming Languages and Systems, December 2008, ACM (Association for Computing Machinery)

    Giuseppe Lettieri

  27. Using postdomination to reduce space requirements of data flow analysis

    Article • Information Processing Letters, April 2006, Elsevier

    Giuseppe Lettieri

  28. Using Control Dependencies for Space-Aware Bytecode Verification

    Article • The Computer Journal, January 2006, Oxford University Press (OUP)

    Giuseppe Lettieri

  29. A Space-Aware Bytecode Verifier for Java Cards

    Article • Electronic Notes in Theoretical Computer Science, December 2005, Elsevier

    Giuseppe Lettieri

  30. Caching and prefetching algorithms for programs with looping reference patterns

    Article • The Computer Journal, October 2005, Oxford University Press (OUP)

    Giuseppe Lettieri

  31. Design Framework for a Distributed, Single-Address-Space System

    Article • International Journal of Computers and Applications, January 2005, ACTA Press

    Giuseppe Lettieri

  32. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

    Article • Software Practice and Experience, October 2004, Wiley

    Giuseppe Lettieri

  33. Checking security properties by model checking

    Article • Software Testing Verification and Reliability, January 2003, Wiley

    Giuseppe Lettieri

  34. An abstract semantics tool for secure information flow of stack-based assembly programs

    Article • Microprocessors and Microsystems, November 2002, Elsevier

    Giuseppe Lettieri

  35. Persistent Object Systems: Design, Implementation, and Use

    Article • January 2001, Springer Science + Business Media

    Giuseppe Lettieri

  36. Using standard verifier to check secure information flow in Java bytecode

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri