Get started
Author

Valentin Robert

A Formally-Verified Alias Analysis
2012 · Valentin Robert, Xavier Leroy · Lecture notes in computer science · 39
Automating formal proofs for reactive systems
2014 · Daniel Ricketts, Valentin Robert, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 13
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence
2023 · Abha Moitra, Paul Cuddihy, et al. · Lecture notes in computer science · 12
A Semantic Reference Model for Capturing System Development and Evaluation
2022 · Abha Moitra, Paul Cuddihy, et al. · IEEE International Conference on Semantic Computing (ICSC) · 11
A type system for extracting functional specifications from memory-safe imperative programs
2021 · Paul He, Eddy Westbrook, et al. · Proceedings of the ACM on Programming Languages · 8
PDF
Front-end tooling for building and maintaining dependently-typed functional programs
2018 · Valentin Robert · eScholarship (California Digital Library) · 5
Automating formal proofs for reactive systems
2014 · Daniel Ricketts, Valentin Robert, et al. · ACM SIGPLAN Notices · 3
La contention en PEEK : innovation ou révolution ?
2026 · Valentin Robert, Paul Boury, et al. · Revue d Orthopédie Dento-Faciale
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026 · Elizaveta Pertseva, Valentin Robert, et al. · Lecture notes in computer science
PDF
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
2024 · Scott, Ryan G., Boston, Brett, et al. · arXiv (Cornell University)
PDF
Works count: 12
Citation count: 91
H-index: 5
I10-index: 4
Year
Topic
Type