A formally-verified alias analysis V Robert, X Leroy International Conference on Certified Programs and Proofs, 11-26, 2012 | 51 | 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 | 21 | 2014 |
Front-end tooling for building and maintaining dependently-typed functional programs V Robert University of California, San Diego, 2018 | 17 | 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 | 9 | 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 | 7 | 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 | 4 | 2023 |
Macaw: A Machine Code Toolbox for the Busy Binary Analyst RG Scott, B Boston, B Davis, I Diatchki, M Dodds, J Hendrix, D Matichuk, ... arXiv preprint arXiv:2407.06375, 2024 | | 2024 |
Proof-assistant-based verification of programs V Robert | | |