Valentin Robert
Cited by
Cited by
A formally-verified alias analysis
V Robert, X Leroy
International Conference on Certified Programs and Proofs, 11-26, 2012
Automating formal proofs for reactive systems
D Ricketts, V Robert, D Jang, Z Tatlock, S Lerner
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
Front-end tooling for building and maintaining dependently-typed functional programs
V Robert
University of California, San Diego, 2018
A semantic reference model for capturing system development and evaluation
A Moitra, P Cuddihy, K Siu, B Meng, J Interrante, D Archer, E Mertens, ...
2022 IEEE 16th International Conference on Semantic Computing (ICSC), 173-174, 2022
A type system for extracting functional specifications from memory-safe imperative programs
P He, E Westbrook, B Carmer, C Phifer, V Robert, K Smeltzer, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
Rack: A semantic model and triplestore for curation of assurance case evidence
A Moitra, P Cuddihy, K Siu, D Archer, E Mertens, D Russell, K Quick, ...
International Conference on Computer Safety, Reliability, and Security, 149-160, 2023
Proof-assistant-based verification of programs
V Robert
The system can't perform the operation now. Try again later.
Articles 1–7