David Pichardie

Available identifiers

zbMath Open pichardie.davidMaRDI QIDQ287368

List of research outcomes

Publication	Date of Publication	Type
Semantic foundations for cost analysis of pipeline-optimized programs	2023-07-28	Paper
A Fast Verified Liveness Analysis in SSA Form	2022-11-09	Paper
Verifying constant-time implementations by abstract interpretation	2022-08-25	Paper
A flow-insensitive-complete program representation	2022-07-08	Paper
Verified functional programming of an abstract interpreter	2022-06-17	Paper
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory	2021-02-17	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology	2019-08-21	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
An abstract memory functor for verified C static analyzers	2017-05-10	Paper
Verified abstract interpretation techniques for disassembling low-level self-modifying code	2016-05-26	Paper
Validating Dominator Trees for a Fast, Verified Dominance Test	2015-09-14	Paper
Plan B	2014-11-27	Paper
Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code	2014-09-08	Paper
Building Certified Static Analysers by Modular Construction of Well-founded Lattices	2014-05-13	Paper
A verified information-flow architecture	2014-04-10	Paper
A certified lightweight non-interference Java bytecode verifier	2014-03-12	Paper
Secure the clones	2012-06-01	Paper
Modular SMT Proofs for Fast Reflexive Checking Inside Coq	2011-11-22	Paper
A Certified Denotational Abstract Interpreter	2010-09-14	Paper
Embedding of Systems of Affine Recurrence Equations in Coq	2010-05-07	Paper
A Certified Data Race Analysis for a Java-like Language	2009-10-20	Paper
A Certified Lightweight Non-interference Java Bytecode Verifier	2007-09-04	Paper
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4790670	2003-02-04	Paper

Research outcomes over time

This page was built for person: David Pichardie