default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Cachera
@article{DBLP:journals/jar/ZakowskiCDPPJV19,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
title = {Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {489--515},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9489-x},
doi = {10.1007/S10817-018-9489-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZakowskiCDPPJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CacheraFL19,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
title = {An {\(\omega\)}{\(\omega\)}{\textbackslash}omega-Algebra for Real-Time
Energy Problems},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:17)2019},
doi = {10.23638/LMCS-15(2:17)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CacheraFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TalbotCMT19,
author = {Pierre Talbot and
David Cachera and
{\'{E}}ric Monfroy and
Charlotte Truchet},
title = {Combining Constraint Languages via Abstract Interpretation},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {50--58},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00016},
doi = {10.1109/ICTAI.2019.00016},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/TalbotCMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZakowskiCDP18,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
David Pichardie},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Verified compilation of linearizable data structures: mechanizing
rely guarantee for semantic refinement},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1881--1890},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167333},
doi = {10.1145/3167132.3167333},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ZakowskiCDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZakowskiCDPPJV17,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {496--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_31},
doi = {10.1007/978-3-319-66107-0\_31},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ZakowskiCDPPJV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CacheraFL17,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
title = {An {\(\omega\)}-Algebra for Real-Time Energy Problems},
journal = {CoRR},
volume = {abs/1701.08524},
year = {2017},
url = {http://arxiv.org/abs/1701.08524},
eprinttype = {arXiv},
eprint = {1701.08524},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CacheraFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CabonCP16,
author = {Gurvan Cabon and
David Cachera and
David Pichardie},
editor = {Vladimir Klebanov},
title = {An Extended Buffered Memory Model With Full Reorderings},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {5},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955816},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CabonCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CacheraFL15,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {An omega-Algebra for Real-Time Energy Problems},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {394--407},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.394},
doi = {10.4230/LIPICS.FSTTCS.2015.394},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/CacheraFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CacheraJJK14,
author = {David Cachera and
Thomas P. Jensen and
Arnaud Jobin and
Florent Kirchner},
title = {Inference of polynomial invariants for imperative programs: {A} farewell
to Gr{\"{o}}bner bases},
journal = {Sci. Comput. Program.},
volume = {93},
pages = {89--109},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.028},
doi = {10.1016/J.SCICO.2014.02.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CacheraJJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CacheraJJK12,
author = {David Cachera and
Thomas P. Jensen and
Arnaud Jobin and
Florent Kirchner},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Inference of Polynomial Invariants for Imperative Programs: {A} Farewell
to Gr{\"{o}}bner Bases},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {58--74},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_7},
doi = {10.1007/978-3-642-33125-1\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CacheraJJK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CacheraP11,
author = {David Cachera and
David Pichardie},
title = {Programmation d'un interpr{\'{e}}teur abstrait certifi{\'{e}}
en logique constructive},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {4},
pages = {381--408},
year = {2011},
url = {https://doi.org/10.3166/tsi.30.381-408},
doi = {10.3166/TSI.30.381-408},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/CacheraP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CacheraJJS10,
author = {David Cachera and
Thomas P. Jensen and
Arnaud Jobin and
Pascal Sotin},
title = {Long-run cost analysis by approximation of linear operators over dioids},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {4},
pages = {589--624},
year = {2010},
url = {https://doi.org/10.1017/S0960129510000113},
doi = {10.1017/S0960129510000113},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CacheraJJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/CacheraP10,
author = {David Cachera and
David Pichardie},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {A Certified Denotational Abstract Interpreter},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {9--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_3},
doi = {10.1007/978-3-642-14052-5\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/CacheraP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5098,
author = {David Cachera and
Arnaud Jobin},
editor = {Alessandra Di Pierro and
Gethin Norman},
title = {Injecting Abstract Interpretations into Linear Cost Models},
booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {28},
pages = {64--81},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.28.5},
doi = {10.4204/EPTCS.28.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BessonCJP09,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
David Cachera and
Thomas P. Jensen and
David Pichardie},
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {Certified Static Analysis by Abstract Interpretation},
booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
pages = {223--257},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03829-7\_8},
doi = {10.1007/978-3-642-03829-7\_8},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BessonCJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CacheraP09,
author = {David Cachera and
David Pichardie},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Comparing Techniques for Certified Static Analysis},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {111--115},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CacheraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CacheraJJS08,
author = {David Cachera and
Thomas P. Jensen and
Arnaud Jobin and
Pascal Sotin},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Long-Run Cost Analysis by Approximation of Linear Operators over Dioids},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {122--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_10},
doi = {10.1007/978-3-540-79980-1\_10},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/CacheraJJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SotinCJ06,
author = {Pascal Sotin and
David Cachera and
Thomas P. Jensen},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour
for Java Card},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {153--167},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.017},
doi = {10.1016/J.ENTCS.2006.07.017},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SotinCJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CacheraJPR05,
author = {David Cachera and
Thomas P. Jensen and
David Pichardie and
Vlad Rusu},
title = {Extracting a data flow analyser in constructive logic},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {1},
pages = {56--78},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.004},
doi = {10.1016/J.TCS.2005.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CacheraJPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CacheraM05,
author = {David Cachera and
Katell Morin{-}Allory},
title = {Verification of safety properties for parameterized regular systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {228--266},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067917},
doi = {10.1145/1067915.1067917},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CacheraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Morin-AlloryC05,
author = {Katell Morin{-}Allory and
David Cachera},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral
Logic},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {376--379},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_35},
doi = {10.1007/11560548\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Morin-AlloryC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CacheraJPS05,
author = {David Cachera and
Thomas P. Jensen and
David Pichardie and
Gerardo Schneider},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Certified Memory Usage Analysis},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {91--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_8},
doi = {10.1007/11526841\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CacheraJPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CacheraJPR04,
author = {David Cachera and
Thomas P. Jensen and
David Pichardie and
Vlad Rusu},
editor = {David A. Schmidt},
title = {Extracting a Data Flow Analyser in Constructive Logic},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {385--400},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_27},
doi = {10.1007/978-3-540-24725-8\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CacheraJPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/CacheraM03,
author = {David Cachera and
Katell Morin{-}Allory},
title = {Verification of Control Properties in the Polyhedral Model},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {265},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210111},
doi = {10.1109/MEMCOD.2003.1210111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/CacheraM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CacheraP03,
author = {David Cachera and
David Pichardie},
editor = {David A. Basin and
Burkhart Wolff},
title = {Embedding of Systems of Affine Recurrence Equations in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
pages = {155--170},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10930755\_10},
doi = {10.1007/10930755\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CacheraP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/CacheraR02,
author = {David Cachera and
Tanguy Risset},
title = {Advances in Bit Width Selection Methodology},
booktitle = {13th {IEEE} International Conference on Application-Specific Systems,
Architectures, and Processors {(ASAP} 2002), 17-19 July 2002, San
Jose, CA, {USA}},
pages = {381--390},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASAP.2002.1030737},
doi = {10.1109/ASAP.2002.1030737},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/CacheraR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CacheraQRR01,
author = {David Cachera and
Patrice Quinton and
Sanjay V. Rajopadhye and
Tanguy Risset},
title = {Proving Properties of Multidimensional Recurrences with Application
to Regular Parallel Algorithms},
booktitle = {Proceedings of the 15th International Parallel {\&} Distributed
Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
2001},
pages = {148},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IPDPS.2001.925133},
doi = {10.1109/IPDPS.2001.925133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CacheraQRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Cachera98,
author = {David Cachera},
title = {Validation formelle des langages {\`{a}} parall{\'{e}}lisme de
donn{\'{e}}es. (Formal Validation of Data-Parallel Languages)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Lyon, France},
year = {1998},
url = {https://tel.archives-ouvertes.fr/tel-00425390},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Cachera98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BougeCGUV97,
author = {Luc Boug{\'{e}} and
David Cachera and
Yann Le Guyadec and
Gil Utard and
Bernard Virot},
title = {Formal Validation of Data-Parallel Programs: {A} Two-Component Assertional
Proof System for a Simple Language},
journal = {Theor. Comput. Sci.},
volume = {189},
number = {1-2},
pages = {71--107},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00041-8},
doi = {10.1016/S0304-3975(97)00041-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BougeCGUV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/BougeC97,
author = {Luc Boug{\'{e}} and
David Cachera},
title = {A logical framework to prove properties of Alpha programs},
booktitle = {1997 International Conference on Application-Specific Systems, Architectures,
and Processors {(ASAP} '97), 14-16 July 1997, Zurich, Switzerland},
pages = {187--198},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASAP.1997.606825},
doi = {10.1109/ASAP.1997.606825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/BougeC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/CacheraU96,
author = {David Cachera and
Gil Utard},
title = {Proving Data-Parallel Programs: a Unifying Approach},
journal = {Parallel Process. Lett.},
volume = {6},
number = {4},
pages = {491--505},
year = {1996},
url = {https://doi.org/10.1142/S0129626496000455},
doi = {10.1142/S0129626496000455},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/CacheraU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BougeCGUV96,
author = {Luc Boug{\'{e}} and
David Cachera and
Yann Le Guyadec and
Gil Utard and
Bernard Virot},
editor = {Guy{-}Ren{\'{e}} Perrin and
Alain Darte},
title = {Formal Validation of Data Parallel Programs: Introducting the Assertional
Approach},
booktitle = {The Data Parallel Programming Model: Foundations, {HPF} Realization,
and Scientific Applications},
series = {Lecture Notes in Computer Science},
volume = {1132},
pages = {252--281},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61736-1\_51},
doi = {10.1007/3-540-61736-1\_51},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BougeCGUV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BougeC95,
author = {Luc Boug{\'{e}} and
David Cachera},
editor = {Seif Haridi and
Khayri A. M. Ali and
Peter Magnusson},
title = {On the Completeness of a Proof System for a Simple Data-Parallel Programming
Language},
booktitle = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
Stockholm, Sweden, August 29-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {966},
pages = {143--154},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020461},
doi = {10.1007/BFB0020461},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BougeC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
