Valentin Robert

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 4

Top Topics

Semantic Constraints

Imperative Programs

Reference Models

Top Venues

Proc. ACM Program. Lang.

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

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
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC (2022)
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
Automating formal proofs for reactive systems. PLDI (2014)
Valentin Robert, Xavier Leroy
A Formally-Verified Alias Analysis. CPP (2012)