« Home

All talks

You can find all available slides for the talks in this page here. Each individual talk’s page will contain a direct link to the corresponding slides when available.

2025

• Practical Abstract Interpretation with LiSA
  tutorial  static-analysis  abstract-interpretation
  Università degli Studi di Verona
  Seminar - January 13, 2024, 9:30 AM - 12:30 PM CET - Verona, Italy

2024

• Stability: an Abstract Domain for the Trend of Variation of Numerical Variables
  static-analysis  abstract-interpretation  numeric-abstractions
  10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)
  Workshop presentation - October 22, 2024, 3:00 PM - 3:30 PM PST - Pasadena, California, United States • Slides available
• Teaching Through Practice: Advanced Static Analysis with LiSA
  static-analysis  abstract-interpretation  teaching
  Formal Methods Teaching Workshop (FMTea 2024)
  Workshop presentation - September 10, 2024, 12:00 PM - 12:30 PM CEST - Milan, Italy • Slides available
• Getting started with LiSA
  static-analysis  abstract-interpretation  tutorial
  Lipari Summer School 2024
  Tutorial - June 24, 2024, 1:00 PM - 4:30 PM CEST - Lipari, Sicily, Italy • Slides available
• Quick and dirty development of static analyses with LiSA
  static-analysis  abstract-interpretation  tutorial
  45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)
  Tutorial - June 24, 2024, 9:00 AM - 12:20 AM CEST - Copenhagen, Denmark • Slides available

2023

• Static Analysis of Data Transformations in Jupyter Notebooks
  data-science  static-analysis  abstract-interpretation  jupyter-notebooks
  12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023)
  Conference presentation - June 17, 2023, 9:30 AM - 10:00 AM EST - Orlando FL USA (Virtual talk) • Slides available

2022

• Using LiSA for analyzing an IoT network
  static-analysis  abstract-interpretation  multilanguage-analysis
  Università Ca’ Foscari Venezia
  Seminar - June 15, 2022, 2:30 PM - 3:00 PM CEST - Venice, Italy (Virtual talk) • Slides available
• Multi‑language analysis with LiSA
  static-analysis  abstract-interpretation  multilanguage-analysis
  École Normale Supérieure, INRIA Team ANTIQUE
  Seminar - January 19, 2022, 9:30 AM - 10:00 AM EST - Paris, France • Slides available

2021

• Modular Multi‑language analysis in LiSA
  static-analysis  abstract-interpretation  multilanguage-analysis
  Università Ca’ Foscari Venezia
  Seminar - June 30, 2021, 10:00 AM - 10:30 AM CEST - Venice, Italy (Virtual talk) • Slides available
• Twinning Automata and Regular Expressions for String Static Analysis
  string-analysis  static-analysis  abstract-interpretation
  22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)
  Conference presentation - January 18, 2021, 5:15 PM - 5:30 PM CET - Online conference • Slides available

2020

• SARL: OO Framework Specification for Static Analysis
  library-models  software-frameworks  static-analysis
  12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020)
  Conference presentation - July 20, 2020, 5:30 AM - 5:50 AM PDT - Online conference • Slides available

2018

• SARL: Framework Specification for Static Analysis
  library-models  software-frameworks  static-analysis
  The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
  Workshop presentation - August 28, 2018, 4:00 PM - 4:30 PM CEST - Freiburg im Breisgau, Germany • Slides available

PhD Thesis

• Luca Negrini. A Generic Framework for Multilanguage Analysis
  static-analysis  abstract-interpretation  multilanguage-analysis  string-analysis  data-science  jupyter-notebooks  blockchain  library-models  software-frameworks  teaching
  Ca' Foscari University of Venice
  PhD Thesis - January 23, 2023 - Venice, Italy • PDF available • Slides available