Talks

Recent talks about the Salto project, in reversed chronological order:

• Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation European Symposium on Programming (ESOP'24), Luxembourg, April 2024
• The Design and Implementation of An Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser, ML workshop (co-located with ICFP'23), Seattle, September 2023
  [ Extended abstract | Slides | Video ]