2015-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2015-conference.cite -ob 2015-conference.bib -c 'year = 2015 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{boldo15icfem,
  title = {{Formal Verification of Programs Computing the Floating-Point Average}},
  author = {Sylvie Boldo},
  hal = {https://hal.inria.fr/hal-01174892},
  booktitle = {{17th International Conference on Formal Engineering Methods}},
  address = {Paris, France},
  publisher = {{Springer}},
  year = {2015},
  month = nov,
  pdf = {https://hal.inria.fr/hal-01174892/file/article.pdf},
  topics = {team,lri},
  type_publi = {irevcomlec},
  editor = {Michael Butler and Sylvain Conchon and Fatiha Za\"idi},
  volume = {9407},
  series = {Lecture Notes in Computer Science},
  pages = {17--32}
}

@inproceedings{bol15nsv,
  author = {Sylvie Boldo},
  title = {Stupid is as Stupid Does: Taking the Square Root of the Square
    of a Floating-Point Number},
  booktitle = {Proceedings of the Seventh and Eighth International Workshop on Numerical Software Verification},
  pages = {50--55},
  year = {2015},
  editor = {Sergiy Bogomolov and Matthieu Martel},
  series = {Electronic Notes in Theoretical Computer Science},
  address = {Seattle, WA, USA},
  month = apr,
  hal = {http://hal.inria.fr/hal-01148409},
  topics = {team,lri},
  type_publi = {irevcomlec},
  doi = {http://dx.doi.org/10.1016/j.entcs.2015.10.004},
  volume = {317}
}

@inproceedings{castagna15popl,
  hal = {},
  topics = {team},
  author = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Pietro Abate},
  title = {Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. },
  crossref = {popl2015}
}

@inproceedings{cfp15vstte,
  hal = {http://hal.inria.fr/hal-01162661},
  author = {Martin Clochard and Jean-Christophe
  Filli\^atre and Andrei Paskevich},
  title = {How to avoid proving the absence of integer overflows},
  pages = {94--109},
  crossref = {vstte15},
  topics = {team,lri},
  keywords = {Why3},
  type_publi = {icolcomlec},
  x-international-audience = {yes},
  x-proceedings = {yes}
}

@inproceedings{clochard15jfla,
  hal = {https://hal.inria.fr/hal-01094488},
  topics = {team},
  author = {Martin Clochard and L\'eon Gondelman},
  title = {Double {WP}: vers une preuve automatique d'un compilateur},
  crossref = {jfla15}
}

@inproceedings{lelay15coq,
  topics = {team},
  title = {How to express convergence for analysis in {Coq}},
  author = {Lelay, Catherine},
  hal = {https://hal.archives-ouvertes.fr/hal-01169321},
  booktitle = {The 7th Coq Workshop},
  address = {Sophia Antipolis, France},
  year = 2015,
  month = jun,
  keywords = {Coq proof assistant ;  Analysis ;  Limits ;  Filters ;  Type-Classes ;  Canonical Structures}
}

@inproceedings{chargueraud:hal-01245872,
  topics = {team},
  title = {{Machine-Checked Verification of the Correctness and Amortized
                  Complexity of an Efficient Union-Find Implementation}},
  author = {Chargu\'eraud, Arthur and Pottier, Fran\c{c}ois},
  booktitle = {{6th International Conference on Interactive Theorem Proving
                  (ITP)}},
  address = {Nanjing, China},
  year = 2015,
  month = aug,
  doi = {10.1007/978-3-319-22102-1\_9},
  hal = {https://hal.inria.fr/hal-01245872},
  pdf = {https://hal.inria.fr/hal-01245872/document},
  hal_id = {hal-01245872},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}

@inproceedings{acar:hal-01245837,
  topics = {team},
  title = {{A Work-Efficient Algorithm for Parallel Unordered Depth-First
                  Search}},
  author = {Acar, Umut A. and Chargu\'eraud, Arthur and Rainey, Mike},
  booktitle = {{Proceedings of the International Conference for High Performance
                  Computing, Networking, Storage and Analysis}},
  address = {Austin, Texas, United States},
  year = {2015},
  month = nov,
  doi = {10.1145/2807591.2807651},
  hal = {https://hal.inria.fr/hal-01245837},
  pdf = {https://hal.inria.fr/hal-01245837/document},
  hal_id = {hal-01245837},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}

@proceedings{popl2015,
  title = {Proceedings of the 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2015,
  booktitle = {Proceedings of the 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  address = {Mumbai, India},
  month = jan,
  publisher = {ACM Press}
}

@proceedings{jfla15,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2015,
  booktitle = {Vingt-sixi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Val d'Ajol, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@proceedings{vstte15,
  booktitle = {7th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)},
  month = jul,
  year = 2015,
  address = {San Francisco, California, USA},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Arie Gurfinkel and Sanjit A. Seshia},
  series = {Lecture Notes in Computer Science},
  volume = 9593,
  publisher = {Springer}
}