Search the dblp DataBase

Publications of Author

1. Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
   Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. [Citation Graph (0, 0)][DBLP]
   The Data Parallel Programming Model, 1996, pp:252-281 [Conf]
   
2. Luc Bougé, David Cachera
   A logical framework to prove properties of Alpha programs. [Citation Graph (0, 0)][DBLP]
   ASAP, 1997, pp:187-198 [Conf]
   
3. David Cachera, Tanguy Risset
   Advances in Bit Width Selection Methodology. [Citation Graph (0, 0)][DBLP]
   ASAP, 2002, pp:381-390 [Conf]
   
4. Katell Morin-Allory, David Cachera
   Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. [Citation Graph (0, 0)][DBLP]
   CHARME, 2005, pp:376-379 [Conf]
   
5. David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
   Extracting a Data Flow Analyser in Constructive Logic. [Citation Graph (0, 0)][DBLP]
   ESOP, 2004, pp:385-400 [Conf]
   
6. Luc Bougé, David Cachera
   On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1995, pp:143-154 [Conf]
   
7. David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider
   Certified Memory Usage Analysis. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:91-106 [Conf]
   
8. David Cachera, Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset
   Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2001, pp:148- [Conf]
   
9. David Cachera, Katell Morin-Allory
   Verification of Control Properties in the Polyhedral Model. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2003, pp:265-0 [Conf]
   
10. David Cachera, David Pichardie
    Embedding of Systems of Affine Recurrence Equations in Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:155-170 [Conf]
    
11. Pascal Sotin, David Cachera, Thomas P. Jensen
    Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:153-167 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:189, n:1-2, pp:71-107 [Journal]
    
13. David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
    Extracting a data flow analyser in constructive logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:56-78 [Journal]
    
14. David Cachera, Katell Morin-Allory
    Verification of safety properties for parameterized regular systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:228-266 [Journal]
    
15. 
    Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. [Citation Graph (, )][DBLP]
    
    
16. 
    Certified Static Analysis by Abstract Interpretation. [Citation Graph (, )][DBLP]
    
    
17. 
    A Certified Denotational Abstract Interpreter. [Citation Graph (, )][DBLP]
    
    
18. 
    Injecting Abstract Interpretations into Linear Cost Models [Citation Graph (, )][DBLP]