Sacha Ayoun
@giltho.bsky.social
PL research, building Soteria, ex-Gillian. OCaml, Rust, etc.
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!
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
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!
popl26.sigplan.org/home/tpsa-2026
Come and present your work, even in progress, whether you are an academic or in industry!