BibTeX records: Vincent Laporte

download as .bib file

@inproceedings{DBLP:conf/ccs/AlmeidaBBBDGL0S19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Cecile Baritel{-}Ruet and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Alley Stoughton and
               Pierre{-}Yves Strub},
  title     = {Machine-Checked Proofs for Cryptographic Standards: Indifferentiability
               of Sponge and Secure High-Assurance Implementations of {SHA-3}},
  booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  pages     = {1607--1622},
  year      = {2019},
  crossref  = {DBLP:conf/ccs/2019},
  url       = {https://doi.org/10.1145/3319535.3363211},
  doi       = {10.1145/3319535.3363211},
  timestamp = {Fri, 08 Nov 2019 12:58:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AlmeidaBBBDGL0S19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04606,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Adrien Koutsos and
               Vincent Laporte and
               Tiago Oliveira and
               Pierre{-}Yves Strub},
  title     = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations},
  journal   = {CoRR},
  volume    = {abs/1904.04606},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.04606},
  archivePrefix = {arXiv},
  eprint    = {1904.04606},
  timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-04606},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheBGHLPT19,
  author    = {Gilles Barthe and
               Sandrine Blazy and
               Benjamin Gr{\'{e}}goire and
               R{\'{e}}mi Hutin and
               Vincent Laporte and
               David Pichardie and
               Alix Trieu},
  title     = {Formal Verification of a Constant-Time Preserving {C} Compiler},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {926},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/926},
  timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheBGHLPT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBBDGLOS19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Cecile Baritel{-}Ruet and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Alley Stoughton and
               Pierre{-}Yves Strub},
  title     = {Machine-Checked Proofs for Cryptographic Standards},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {1155},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1155},
  timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/AlmeidaBBBDGLOS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheGL18,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte},
  title     = {Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic
               "Constant-Time"},
  booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  pages     = {328--343},
  year      = {2018},
  crossref  = {DBLP:conf/csfw/2018},
  url       = {https://doi.org/10.1109/CSF.2018.00031},
  doi       = {10.1109/CSF.2018.00031},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/BartheGL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBBGLOPS17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Arthur Blot and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Hugo Pacheco and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {Jasmin: High-Assurance and High-Speed Cryptography},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1807--1823},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {https://doi.org/10.1145/3133956.3134078},
  doi       = {10.1145/3133956.3134078},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AlmeidaBBBGLOPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBDGLP17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Vitor Pereira},
  title     = {A Fast and Verified Software Stack for Secure Function Evaluation},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1989--2006},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {https://doi.org/10.1145/3133956.3134017},
  doi       = {10.1145/3133956.3134017},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AlmeidaBBDGLP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheBLPT17,
  author    = {Gilles Barthe and
               Sandrine Blazy and
               Vincent Laporte and
               David Pichardie and
               Alix Trieu},
  title     = {Verified Translation Validation of Static Analyses},
  booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  pages     = {405--419},
  year      = {2017},
  crossref  = {DBLP:conf/csfw/2017},
  url       = {https://doi.org/10.1109/CSF.2017.16},
  doi       = {10.1109/CSF.2017.16},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/BartheBLPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBDGLP17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Vitor Pereira},
  title     = {A Fast and Verified Software Stack for Secure Function Evaluation},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2017},
  pages     = {821},
  year      = {2017},
  url       = {http://eprint.iacr.org/2017/821},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/AlmeidaBBDGLP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheGL17,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte},
  title     = {Provably secure compilation of side-channel countermeasures},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2017},
  pages     = {1233},
  year      = {2017},
  url       = {http://eprint.iacr.org/2017/1233},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheGL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BlazyLP16,
  author    = {Sandrine Blazy and
               Vincent Laporte and
               David Pichardie},
  title     = {Verified Abstract Interpretation Techniques for Disassembling Low-level
               Self-modifying Code},
  journal   = {J. Autom. Reasoning},
  volume    = {56},
  number    = {3},
  pages     = {283--308},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10817-015-9359-8},
  doi       = {10.1007/s10817-015-9359-8},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BlazyLP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FournetKL16,
  author    = {C{\'{e}}dric Fournet and
               Chantal Keller and
               Vincent Laporte},
  title     = {A Certified Compiler for Verifiable Computing},
  booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  pages     = {268--280},
  year      = {2016},
  crossref  = {DBLP:conf/csfw/2016},
  url       = {https://doi.org/10.1109/CSF.2016.26},
  doi       = {10.1109/CSF.2016.26},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/FournetKL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlazyLP16,
  author    = {Sandrine Blazy and
               Vincent Laporte and
               David Pichardie},
  title     = {An abstract memory functor for verified {C} static analyzers},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {325--337},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {https://doi.org/10.1145/2951913.2951937},
  doi       = {10.1145/2951913.2951937},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/BlazyLP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Laporte15,
  author    = {Vincent Laporte},
  title     = {Verified static analyzes for low-level languages. (V{\'{e}}rification
               d'analyses statiques pour langages de bas niveau)},
  school    = {University of Rennes 1, France},
  year      = {2015},
  url       = {https://tel.archives-ouvertes.fr/tel-01285624},
  timestamp = {Mon, 04 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Laporte15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JourdanLBLP15,
  author    = {Jacques{-}Henri Jourdan and
               Vincent Laporte and
               Sandrine Blazy and
               Xavier Leroy and
               David Pichardie},
  title     = {A Formally-Verified {C} Static Analyzer},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {247--259},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2676966},
  doi       = {10.1145/2676726.2676966},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JourdanLBLP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JagannathanLPPV14,
  author    = {Suresh Jagannathan and
               Vincent Laporte and
               Gustavo Petri and
               David Pichardie and
               Jan Vitek},
  title     = {Atomicity Refinement for Verified Compilation},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {36},
  number    = {2},
  pages     = {6:1--6:30},
  year      = {2014},
  url       = {https://doi.org/10.1145/2601339},
  doi       = {10.1145/2601339},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/JagannathanLPPV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BlazyLP14,
  author    = {Sandrine Blazy and
               Vincent Laporte and
               David Pichardie},
  title     = {Verified Abstract Interpretation Techniques for Disassembling Low-level
               Self-modifying Code},
  booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  pages     = {128--143},
  year      = {2014},
  crossref  = {DBLP:conf/itp/2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6\_9},
  doi       = {10.1007/978-3-319-08970-6\_9},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BlazyLP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanPVPL14,
  author    = {Suresh Jagannathan and
               Gustavo Petri and
               Jan Vitek and
               David Pichardie and
               Vincent Laporte},
  title     = {Atomicity refinement for verified compilation},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages     = {27},
  year      = {2014},
  crossref  = {DBLP:conf/pldi/2014},
  url       = {https://doi.org/10.1145/2594291.2594346},
  doi       = {10.1145/2594291.2594346},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/JagannathanPVPL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemangeLZJPV13,
  author    = {Delphine Demange and
               Vincent Laporte and
               Lei Zhao and
               Suresh Jagannathan and
               David Pichardie and
               Jan Vitek},
  title     = {Plan {B:} a buffered memory model for Java},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {329--342},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013},
  url       = {https://doi.org/10.1145/2429069.2429110},
  doi       = {10.1145/2429069.2429110},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/DemangeLZJPV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BlazyLMP13,
  author    = {Sandrine Blazy and
               Vincent Laporte and
               Andr{\'{e}} Oliveira Maroneze and
               David Pichardie},
  title     = {Formal Verification of a {C} Value Analysis Based on Abstract Interpretation},
  booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  pages     = {324--344},
  year      = {2013},
  crossref  = {DBLP:conf/sas/2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9\_18},
  doi       = {10.1007/978-3-642-38856-9\_18},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BlazyLMP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3596,
  author    = {Sandrine Blazy and
               Vincent Laporte and
               Andr{\'{e}} Oliveira Maroneze and
               David Pichardie},
  title     = {Formal Verification of a {C} Value Analysis Based on Abstract Interpretation},
  journal   = {CoRR},
  volume    = {abs/1304.3596},
  year      = {2013},
  url       = {http://arxiv.org/abs/1304.3596},
  archivePrefix = {arXiv},
  eprint    = {1304.3596},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1304-3596},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BartheDKLL10,
  author    = {Gilles Barthe and
               Marion Daubignard and
               Bruce M. Kapron and
               Yassine Lakhnech and
               Vincent Laporte},
  title     = {On the Equality of Probabilistic Terms},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  pages     = {46--63},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4\_4},
  doi       = {10.1007/978-3-642-17511-4\_4},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BartheDKLL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2019,
  editor    = {Lorenzo Cavallaro and
               Johannes Kinder and
               XiaoFeng Wang and
               Jonathan Katz},
  title     = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3319535},
  doi       = {10.1145/3319535},
  isbn      = {978-1-4503-6747-9},
  timestamp = {Fri, 08 Nov 2019 12:58:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2018,
  title     = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8428826/proceeding},
  isbn      = {978-1-5386-6680-7},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017,
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956},
  doi       = {10.1145/3133956},
  isbn      = {978-1-4503-4946-8},
  timestamp = {Tue, 06 Nov 2018 11:07:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2017,
  title     = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8048777/proceeding},
  isbn      = {978-1-5386-3217-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2016,
  title     = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7518122/proceeding},
  isbn      = {978-1-5090-2607-4},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2014,
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  title     = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8558},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6},
  doi       = {10.1007/978-3-319-08970-6},
  isbn      = {978-3-319-08969-0},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014,
  editor    = {Michael F. P. O'Boyle and
               Keshav Pingali},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594291},
  isbn      = {978-1-4503-2784-8},
  timestamp = {Sat, 10 May 2014 14:18:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2013,
  editor    = {Roberto Giacobazzi and
               Radhia Cousot},
  title     = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2429069},
  isbn      = {978-1-4503-1832-7},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2013,
  editor    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  title     = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7935},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9},
  doi       = {10.1007/978-3-642-38856-9},
  isbn      = {978-3-642-38855-2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics