David Bühler

According to our database, David Bühler authored at least 4 papers between 2016 and 2021.

Collaborative distances:

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

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

2016

Improving static analyses of C programs with conditional predicates.

Sandrine Blazy, David Bühler, Boris Yakobowski

Sci. Comput. Program., 2016