« Home

All talks

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)

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)
• Multi‑language analysis with LiSA
  static-analysis abstract-interpretation multilanguage-analysis
  École Normale Supérieure, INRIA Team ANTIQUE
  Seminar - 19 January 2022 - Paris, France

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)
• 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

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

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 • PDF available