Recent talks about the Salto project, in reversed chronological
order:
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
]