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

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 - 22 October 2024 - Pasadena, California, United States
• Teaching Through Practice: Advanced Static Analysis with LiSA
  static-analysis  abstract-interpretation  teaching
  Formal Methods Teaching Workshop (FMTea 2024)
  Workshop presentation - 10 September 2024 - Milan, Italy • Slides available
• Getting started with LiSA
  static-analysis  abstract-interpretation  tutorial
  Lipari Summer School 2024
  Tutorial - 6 September 2024 - 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 - 24 June 2024 - 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 - 17 June 2023 - 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 - 15 June 2022 - 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 - 19 January 2022 - Paris, France • Slides available

2021

• Modular Multi‑language analysis in LiSA
  static-analysis  abstract-interpretation  multilanguage-analysis
  Università Ca’ Foscari Venezia
  Seminar - 30 June 2021 - 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 - 18 January 2021 - 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 - 20 July 2020 - 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 - 28 August 2018 - Freiburg im Breisgau, Germany • Slides available