Accéder directement au contenu

Sandrine Blazy

6
Documents
Identifiants chercheurs

Présentation

Publications

pierre-wilke
Image document

Compiling Sandboxes: Formally Verified Software Fault Isolation

Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩
Communication dans un congrès hal-02316189v1
Image document

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics

Frédéric Besson , Sandrine Blazy , Pierre Wilke
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. pp.81-97, ⟨10.1007/978-3-319-66107-0_6⟩
Communication dans un congrès hal-01656875v1
Image document

A Concrete Memory Model for CompCert

Frédéric Besson , Sandrine Blazy , Pierre Wilke
ITP 2015 : 6th International Conference on Interactive Theorem Proving, Aug 2015, Nanjing, China. pp.67-83, ⟨10.1007/978-3-319-22102-1_5⟩
Communication dans un congrès hal-01194549v1
Image document

A Precise and Abstract Memory Model for C Using Symbolic Values

Frédéric Besson , Sandrine Blazy , Pierre Wilke
12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩
Communication dans un congrès hal-01093312v1