Guillaume Petiot

I have over 10 years of experience solving problems with software. I've worked with both small and large teams at companies like CEA, Systerel and Tarides, iterating on product or taking an idea from concept to MVP.

Want to collaborate or chat? Get in touch

Research Publications

Peer-reviewed papers across formal methods, security, and parallel programming

Static and Dynamic Verification of Relational Properties on Self-Composed C Code

How Testing Helps to Diagnose Proof Failures

FISSC - A Fault Injection and Simulation Secure Collection

Your Proof Fails? Testing Helps to Find the Reason

Contribution to C Program Verification by Combining Tests and Proofs

Sequential Generation of Structured Arrays and Its Deductive Verification

Instrumentation of Annotated C Programs for Test Generation

How Test Generation Helps Software Specification and Deductive Verification in Frama-C

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML

Talks

Conference presentations and speaking engagements

Want to collaborate or chat? Get in touch