Nicolas Tabareau
- Correct and Complete Type Checking and Certified Erasure for Coq , in Coq
2024/11/27 by Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand +4 · 7 citations
Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
- How synchronization protects from noise
2007/12/28 by Nicolas Tabareau, Jean-Jacques Slotine, Tabareau, Nicolas +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · #FOS: Biological sciences #Neurons and Cognition (q-bio.NC) #q-bio.NC
- Gradual Certified Programming in Coq
2015/06/13 by Éric Tanter, Nicolas Tabareau · 1 voice
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Software Testing and Debugging Techniques #cs.PL
- Verified Extraction from Coq to OCaml
2024/06/20 by Yannick Forster, Matthieu Sozeau, Nicolas Tabareau · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Logic, programming, and type systems #Security and Verification in Computing