David Bühler

According to our database, David Bühler authored at least 6 papers between 2014 and 2025.

Collaborative distances:

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

2025

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact).

Mamy Razafintsialonina, David Bühler, Valentin Perrelle

Dagstuhl Artifacts Ser., 2025

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis.

Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2021

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.

Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams

Commun. ACM, 2021

2017

Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-C. (Structurer un interpréteur abstrait au moyen d'abstractions de valeurs et d'états :Eva, une analyse de valeur évoluée pour Frama-C).

David Bühler

PhD thesis, 2017

Structuring Abstract Interpreters Through State and Value Abstractions.

Sandrine Blazy, David Bühler, Boris Yakobowski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2014

Improving Static Analyses of C Programs with Conditional Predicates.

Sandrine Blazy, David Bühler, Boris Yakobowski

Proceedings of the Formal Methods for Industrial Critical Systems, 2014