default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: César Kunz
@article{DBLP:journals/jlp/BartheCK16,
author = {Gilles Barthe and
Juan Manuel Crespo and
C{\'{e}}sar Kunz},
title = {Product programs and relational program logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {847--859},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.004},
doi = {10.1016/J.JLAMP.2016.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BartheCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeckerCGHHKNSTT16,
author = {Hanno Becker and
Juan Manuel Crespo and
Jacek Galowicz and
Ulrich Hensel and
Yoichi Hirai and
C{\'{e}}sar Kunz and
Keiko Nakata and
Jorge Luis Sacchini and
Hendrik Tews and
Thomas Tuerk},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Combining Mechanized Proofs and Model-Based Testing in the Formal
Analysis of a Hypervisor},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {69--84},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_5},
doi = {10.1007/978-3-319-48989-6\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheGAHKS14,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
C{\'{e}}sar Kunz and
Pierre{-}Yves Strub},
title = {Proving Differential Privacy in Hoare Logic},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {411--424},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.36},
doi = {10.1109/CSF.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHKS14,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
C{\'{e}}sar Kunz and
Pierre{-}Yves Strub},
title = {Proving differential privacy in Hoare logic},
journal = {CoRR},
volume = {abs/1407.2988},
year = {2014},
url = {http://arxiv.org/abs/1407.2988},
eprinttype = {arXiv},
eprint = {1407.2988},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartheGAHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheCGKLSB13,
author = {Gilles Barthe and
Juan Manuel Crespo and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Yassine Lakhnech and
Benedikt Schmidt and
Santiago Zanella B{\'{e}}guelin},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {Fully automated analysis of padding-based encryption in the computational
model},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {1247--1260},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2516663},
doi = {10.1145/2508859.2516663},
timestamp = {Tue, 10 Nov 2020 19:58:06 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BartheCGKLSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheDGKB13,
author = {Gilles Barthe and
George Danezis and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Santiago Zanella B{\'{e}}guelin},
title = {Verified Computational Differential Privacy with Applications to Smart
Metering},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {287--301},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.26},
doi = {10.1109/CSF.2013.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BartheDGKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BartheDGKSS13,
author = {Gilles Barthe and
Fran{\c{c}}ois Dupressoir and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Benedikt Schmidt and
Pierre{-}Yves Strub},
editor = {Alessandro Aldini and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {EasyCrypt: {A} Tutorial},
booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8604},
pages = {146--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-10082-1\_6},
doi = {10.1007/978-3-319-10082-1\_6},
timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BartheDGKSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BartheCK13,
author = {Gilles Barthe and
Juan Manuel Crespo and
C{\'{e}}sar Kunz},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Beyond 2-Safety: Asymmetric Product Programs for Relational Program
Verification},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {29--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_3},
doi = {10.1007/978-3-642-35722-0\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BartheCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BartheCKGM13,
author = {Gilles Barthe and
Juan Manuel Crespo and
Sumit Gulwani and
C{\'{e}}sar Kunz and
Mark Marron},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {From relational verification to {SIMD} loop synthesis},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {123--134},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442529},
doi = {10.1145/2442516.2442529},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BartheCKGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BartheGKLB12,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Yassine Lakhnech and
Santiago Zanella B{\'{e}}guelin},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {7--8},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_3},
doi = {10.1007/978-3-642-35308-6\_3},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/BartheGKLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BackesBBGKSB12,
author = {Michael Backes and
Gilles Barthe and
Matthias Berg and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Malte Skoruppa and
Santiago Zanella B{\'{e}}guelin},
editor = {Stephen Chong},
title = {Verified Security of Merkle-Damg{\aa}rd},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {354--368},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.14},
doi = {10.1109/CSF.2012.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BackesBBGKSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BartheCGKB12,
author = {Gilles Barthe and
Juan Manuel Crespo and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Santiago Zanella B{\'{e}}guelin},
editor = {Lennart Beringer and
Amy P. Felty},
title = {Computer-Aided Cryptographic Proofs},
booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7406},
pages = {11--27},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32347-8\_2},
doi = {10.1007/978-3-642-32347-8\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BartheCGKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheCGKLB12,
author = {Gilles Barthe and
Juan Manuel Crespo and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Yassine Lakhnech and
Santiago Zanella B{\'{e}}guelin},
title = {Automated Analysis and Synthesis of Padding-Based Encryption Schemes},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {695},
year = {2012},
url = {http://eprint.iacr.org/2012/695},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartheCGKLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BartheK11,
author = {Gilles Barthe and
C{\'{e}}sar Kunz},
title = {An Abstract Model of Certificate Translation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {4},
pages = {13:1--13:46},
year = {2011},
url = {https://doi.org/10.1145/1985342.1985344},
doi = {10.1145/1985342.1985344},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BartheK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BartheCK11,
author = {Gilles Barthe and
Juan Manuel Crespo and
C{\'{e}}sar Kunz},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Relational Verification Using Product Programs},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {200--214},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_17},
doi = {10.1007/978-3-642-21437-0\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BartheCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CrespoK11,
author = {Juan Manuel Crespo and
C{\'{e}}sar Kunz},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {A Machine-Checked Framework for Relational Separation Logic},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {122--137},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_10},
doi = {10.1007/978-3-642-24690-6\_10},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CrespoK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BartheBK10,
author = {Gilles Barthe and
Pablo Buiras and
C{\'{e}}sar Kunz},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Functional Framework for Result Checking},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {72--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_7},
doi = {10.1007/978-3-642-12251-4\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/BartheBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BartheK10,
author = {Gilles Barthe and
C{\'{e}}sar Kunz},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Perspectives in Certificate Translation},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {23--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_2},
doi = {10.1007/978-3-642-15640-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BartheK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/Kunz10,
author = {C{\'{e}}sar Kunz},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Certificate Translation for the Verification of Concurrent Programs},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {237--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_16},
doi = {10.1007/978-3-642-15640-3\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/Kunz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BartheGKR09,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Tamara Rezk},
title = {Certificate translation for optimizing compilers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {5},
pages = {18:1--18:45},
year = {2009},
url = {https://doi.org/10.1145/1538917.1538919},
doi = {10.1145/1538917.1538919},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BartheGKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BartheGHKP09,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Sylvain Heraud and
C{\'{e}}sar Kunz and
Anne Pacalet},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Implementing a Direct Method for Certificate Translation},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {541--560},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_28},
doi = {10.1007/978-3-642-10373-5\_28},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BartheGHKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ScandoloKH09,
author = {Leonardo Scandolo and
C{\'{e}}sar Kunz and
Manuel V. Hermenegildo},
editor = {Danny De Schreye},
title = {Program Parallelization Using Synchronized Pipelining},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {173--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_13},
doi = {10.1007/978-3-642-12592-8\_13},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ScandoloKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BartheKS08,
author = {Gilles Barthe and
C{\'{e}}sar Kunz and
Jorge Luis Sacchini},
editor = {G. Ramalingam},
title = {Certified Reasoning in Memory Hierarchies},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {75--90},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_6},
doi = {10.1007/978-3-540-89330-1\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BartheKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BartheK08,
author = {Gilles Barthe and
C{\'{e}}sar Kunz},
editor = {Sophia Drossopoulou},
title = {Certificate Translation in Abstract Interpretation},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {368--382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_28},
doi = {10.1007/978-3-540-78739-6\_28},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/BartheK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/BartheK08,
author = {Gilles Barthe and
C{\'{e}}sar Kunz},
editor = {Curtis Clifton},
title = {Certificate translation for specification-preserving advices},
booktitle = {Proceedings of the 7th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2008, Brussels, Belgium, April 1, 2008},
pages = {9--18},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1394496.1394498},
doi = {10.1145/1394496.1394498},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foal/BartheK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BartheK08,
author = {Gilles Barthe and
C{\'{e}}sar Kunz},
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {An Introduction to Certificate Translation},
booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
pages = {51--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03829-7\_2},
doi = {10.1007/978-3-642-03829-7\_2},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BartheK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BartheKPS08,
author = {Gilles Barthe and
C{\'{e}}sar Kunz and
David Pichardie and
Juli{\'{a}}n Samborski{-}Forlese},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Preservation of Proof Pbligations for Hybrid Verification Methods},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.10},
doi = {10.1109/SEFM.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BartheKPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BartheGKR06,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Tamara Rezk},
editor = {Kwangkeun Yi},
title = {Certificate Translation for Optimizing Compilers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {301--317},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_20},
doi = {10.1007/11823230\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BartheGKR06.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:09 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:
