Sandrine Blazy

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Mechanized Semantics for Dataflow Circuits

Tony Law and others (2025) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)

A Mechanized Semantics for Dataflow Circuits − Artifact

Tony Law and others (2025) · Zenodo

Mechanised Semantics for Gated Static Single Assignment

Yann Herklotz and others (2023) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Structuring Abstract Interpreters Through State and Value Abstractions

Sandrine Blazy and others (2017) · Springer International Publishing

Formal Verification of a C Compiler Front-End

Sandrine Blazy and others (2006) · FM 2006: Formal Methods · Springer Berlin Heidelberg