Aurèle's repositories
asm_presentation
Presentation of Pretty-Big-Step Semantics ( https://www.chargueraud.org/research/2012/pretty/ )
intptr_cast
2017 Summer Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert
CTLSKD_MC
A model-checker for CTL*KΔ
FM-JIT
Development for: Formally Verified Native Code Generation in an Effectful JIT
JIThm
A Coq Formally Verified JIT, combining features of both FM-JIT and CoreJIT
ACF_TP_8_9_10
Program verification in Isabelle and Scala
CBD_Edge_Cloud_Computing
Homework for the CBD class on edge cloud computing
Changing_Observations_ETL
2017 Winter Internship : Changing Observations in Epistemic Temporal Logic
COMP_TP2
A VSL Compiler in OCaml with Llvm
COS598A_Presentation
Presentation of _Cartesian Hoare Logic for Verifying k-safety properties_ and _Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic_
csv_presentation
Presentation of "Undecidable problems about timed automata" by Olivier Finkel
English_Presentation
Presentation on Voting Systems
INVITE1
Statistic learning : super-resolution of images
LRC_DM1
First homework for the LRC course
mad_homework
MAD homework on "On Distributed Snapshots", Lai & Yang
pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
PyOrgMode
A python class for reading and writing orgmode files
spa_presentation
Presentation of "Understanding the Power of Clause Learning" for SPA
TD2-MVFA
Correction of TD2 for the MVFA course
vst_btrees
2018 Internship: VST Verification of B+Trees with Cursors