Pinned Repositories
asm_presentation
Presentation of Pretty-Big-Step Semantics ( https://www.chargueraud.org/research/2012/pretty/ )
CoreJIT
Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
CTLSKD_MC
A model-checker for CTL*KΔ
Enigma
FM-JIT
Development for: Formally Verified Native Code Generation in an Effectful JIT
intptr_cast
2017 Summer Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert
JIThm
A Coq Formally Verified JIT, combining features of both FM-JIT and CoreJIT
M1_RI
M1 RI 2016 2017
RegElk
Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24
DeepSpecDB
Aurele-Barriere's Repositories
Aurele-Barriere/CoreJIT
Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
Aurele-Barriere/Enigma
Aurele-Barriere/asm_presentation
Presentation of Pretty-Big-Step Semantics ( https://www.chargueraud.org/research/2012/pretty/ )
Aurele-Barriere/FM-JIT
Development for: Formally Verified Native Code Generation in an Effectful JIT
Aurele-Barriere/intptr_cast
2017 Summer Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert
Aurele-Barriere/JIThm
A Coq Formally Verified JIT, combining features of both FM-JIT and CoreJIT
Aurele-Barriere/CBD_Edge_Cloud_Computing
Homework for the CBD class on edge cloud computing
Aurele-Barriere/CTLSKD_MC
A model-checker for CTL*KΔ
Aurele-Barriere/English_Presentation
Presentation on Voting Systems
Aurele-Barriere/ada_homework
Aurele-Barriere/Aurele-Barriere.github.io
Aurele-Barriere/CBD_TP3
Aurele-Barriere/CBD_TP_Hadoop
Aurele-Barriere/Changing_Observations_ETL
2017 Winter Internship : Changing Observations in Epistemic Temporal Logic
Aurele-Barriere/CO2_data_analysis
Aurele-Barriere/COS598A_Presentation
Presentation of _Cartesian Hoare Logic for Verifying k-safety properties_ and _Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic_
Aurele-Barriere/csv_presentation
Presentation of "Undecidable problems about timed automata" by Olivier Finkel
Aurele-Barriere/INVITE1
Statistic learning : super-resolution of images
Aurele-Barriere/LRC_DM1
First homework for the LRC course
Aurele-Barriere/mad_homework
MAD homework on "On Distributed Snapshots", Lai & Yang
Aurele-Barriere/MVFA_TP4
Aurele-Barriere/opc_homework
Aurele-Barriere/pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
Aurele-Barriere/PyOrgMode
A python class for reading and writing orgmode files
Aurele-Barriere/sos_homework
Aurele-Barriere/spa_presentation
Presentation of "Understanding the Power of Clause Learning" for SPA
Aurele-Barriere/TD2-MVFA
Correction of TD2 for the MVFA course
Aurele-Barriere/test262
Official ECMAScript Conformance Test Suite
Aurele-Barriere/test262-regexp-generator
Generete tests for RegExp based on unicode data
Aurele-Barriere/vst_btrees
2018 Internship: VST Verification of B+Trees with Cursors