David Cachera

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 8

Top Venues

ITP

CoRR

SAC

Sci. Comput. Program.

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63 (2) (2019)
Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet
Combining Constraint Languages via Abstract Interpretation. ICTAI (2019)
David Cachera, Uli Fahrenberg, Axel Legay
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15 (2) (2019)
Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. SAC (2018)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP (2017)
David Cachera, Uli Fahrenberg, Axel Legay
An ω-Algebra for Real-Time Energy Problems. CoRR (2017)
Gurvan Cabon, David Cachera, David Pichardie
An Extended Buffered Memory Model With Full Reorderings. FTfJP@ECOOP (2016)
David Cachera, Uli Fahrenberg, Axel Legay
An omega-Algebra for Real-Time Energy Problems. FSTTCS (2015)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases. Sci. Comput. Program. 93 (2014)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. SAS (2012)
David Cachera, David Pichardie
Programmation d'un interpréteur abstrait certifié en logique constructive. Tech. Sci. Informatiques 30 (4) (2011)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-run cost analysis by approximation of linear operators over dioids. Math. Struct. Comput. Sci. 20 (4) (2010)
David Cachera, Arnaud Jobin
Injecting Abstract Interpretations into Linear Cost Models QAPL (2010)
David Cachera, David Pichardie
A Certified Denotational Abstract Interpreter. ITP (2010)
Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie
Certified Static Analysis by Abstract Interpretation. FOSAD (2009)
David Cachera, David Pichardie
Comparing Techniques for Certified Static Analysis. NASA Formal Methods (2009)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST (2008)
Pascal Sotin, David Cachera, Thomas P. Jensen
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Katell Morin-Allory, David Cachera
Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. CHARME (2005)
David Cachera, Katell Morin-Allory
Verification of safety properties for parameterized regular systems. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider
Certified Memory Usage Analysis. FM (2005)
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342 (1) (2005)
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
Extracting a Data Flow Analyser in Constructive Logic. ESOP (2004)
David Cachera, Katell Morin-Allory
Verification of Control Properties in the Polyhedral Model. MEMOCODE (2003)
David Cachera, David Pichardie
Embedding of Systems of Affine Recurrence Equations in Coq. TPHOLs (2003)
David Cachera, Tanguy Risset
Advances in Bit Width Selection Methodology. ASAP (2002)
David Cachera, Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset
Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms. IPDPS (2001)
Luc Bougé, David Cachera
A logical framework to prove properties of Alpha programs. ASAP (1997)
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. Theor. Comput. Sci. 189 (1-2) (1997)
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. The Data Parallel Programming Model (1996)
David Cachera, Gil Utard
Proving Data-Parallel Programs: a Unifying Approach. Parallel Process. Lett. 6 (4) (1996)
Luc Bougé, David Cachera
On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. Euro-Par (1995)

David Cachera.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Cachera