Valentin Robert

According to our database, Valentin Robert authored at least 7 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Macaw: A Machine Code Toolbox for the Busy Binary Analyst.

Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor S. Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefanescu, Daniel Wagner, Simon Winwood

CoRR, 2024

2023

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.

Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

A Semantic Reference Model for Capturing System Development and Evaluation.

Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

2021

A type system for extracting functional specifications from memory-safe imperative programs.

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2018

Front-end tooling for building and maintaining dependently-typed functional programs.

Valentin Robert

PhD thesis, 2018

2014

Automating formal proofs for reactive systems.

Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

A Formally-Verified Alias Analysis.

Valentin Robert, Xavier Leroy

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012