Contact

All Stories

  1. Mind the cost of telemetry data analysis

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

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

  2. 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

  3. Data Stream Processing for Packet-Level Analytics

    Article • Sensors, March 2021, MDPI AG

    Giuseppe Lettieri, Ms. Alessandra Fais

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

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

    Giuseppe Lettieri

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

    Article • Software Practice and Experience, December 2018, Wiley

    Giuseppe Lettieri

  6. PSPAT: Software packet scheduling at hardware speed

    Article • Computer Communications, May 2018, Elsevier

    Giuseppe Lettieri

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

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

    Giuseppe Lettieri

  8. HyperNF

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

    Giuseppe Lettieri

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

    Article • January 2017, Springer Science + Business Media

    Giuseppe Lettieri

  10. Flexible virtual machine networking using netmap passthrough

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

    Giuseppe Lettieri

  11. Very high speed link emulation with TLEM

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

    Giuseppe Lettieri

  12. A Study of Speed Mismatches Between Communicating Virtual Machines

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

    Giuseppe Lettieri

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

    Article • January 2016, Springer Science + Business Media

    Giuseppe Lettieri

  14. mSwitch

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

    Giuseppe Lettieri

  15. Virtual device passthrough for high speed VM networking

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

    Giuseppe Lettieri

  16. Heuristic search for equivalence checking

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

    Giuseppe Lettieri

  17. GreASE

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

    Giuseppe Lettieri

  18. Speeding up packet I/O in virtual machines

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

    Giuseppe Lettieri

  19. 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

  20. An Abstract Interpretation framework for genotype elimination algorithms

    Article • Theoretical Computer Science, June 2012, Elsevier

    Giuseppe Lettieri

  21. VALE, a switched ethernet for virtual machines

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

    Giuseppe Lettieri

  22. Celer: an Efficient Program for Genotype Elimination

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

    Giuseppe Lettieri

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

    Article • Theoretical Computer Science, May 2010, Elsevier

    Giuseppe Lettieri

  24. Partial model checking via abstract interpretation

    Article • Information Processing Letters, January 2010, Elsevier

    Giuseppe Lettieri

  25. Decomposing bytecode verification by abstract interpretation

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

    Giuseppe Lettieri

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

    Article • Information Processing Letters, April 2006, Elsevier

    Giuseppe Lettieri

  27. Using Control Dependencies for Space-Aware Bytecode Verification

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

    Giuseppe Lettieri

  28. A Space-Aware Bytecode Verifier for Java Cards

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

    Giuseppe Lettieri

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

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

    Giuseppe Lettieri

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

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

    Giuseppe Lettieri

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

    Article • Software Practice and Experience, October 2004, Wiley

    Giuseppe Lettieri

  32. Checking security properties by model checking

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

    Giuseppe Lettieri

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

    Article • Microprocessors and Microsystems, November 2002, Elsevier

    Giuseppe Lettieri

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

    Article • January 2001, Springer Science + Business Media

    Giuseppe Lettieri

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lettieri