Sacha Ayoun
banner
sacha.soteria-tools.com
Sacha Ayoun
@sacha.soteria-tools.com
CTO of soteria-tools.com, building static analysis for the masses
Reposted by Sacha Ayoun
Some people collect Pokémon and me, well, I collect...
February 5, 2026 at 9:54 PM
Fun #OCaml fact. `ppx_expect` is designed to warn the user if they have a backtrace in their expected output.
This is deeply annoying when... testing a library made for pretty printing backtraces 😭
I guess we're not saying "Called from here" but "Bananad from here" in our tests
February 4, 2026 at 10:04 PM
The Call for Presentations of TPSA26 colocated with POPL is open
popl26.sigplan.org/home/tpsa-2026

Come and present your work, even in progress, whether you are an academic or in industry!
TPSA 2026 - POPL 2026
While decades of research in program logics, abstract interpretation, and separation logic provide a strong foundation for automated static analysis, new challenges have arisen in recent years, spurri...
popl26.sigplan.org
September 4, 2025 at 12:07 PM