BibTeX records: Heiko Becker

download as .bib file

@inproceedings{DBLP:conf/cpp/BeckerBGDM21,
  author    = {Heiko Becker and
               Nathaniel Bos and
               Ivan Gavran and
               Eva Darulova and
               Rupak Majumdar},
  editor    = {Catalin Hritcu and
               Andrei Popescu},
  title     = {Lassie: {HOL4} tactics by example},
  booktitle = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
               Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
  pages     = {212--223},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3437992.3439925},
  doi       = {10.1145/3437992.3439925},
  timestamp = {Fri, 12 Feb 2021 14:28:33 +0100},
  biburl    = {https://dblp.org/rec/conf/cpp/BeckerBGDM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-00930,
  author    = {Heiko Becker and
               Nathaniel Bos and
               Ivan Gavran and
               Eva Darulova and
               Rupak Majumdar},
  title     = {Lassie: {HOL4} Tactics by Example},
  journal   = {CoRR},
  volume    = {abs/2101.00930},
  year      = {2021},
  url       = {https://arxiv.org/abs/2101.00930},
  eprinttype = {arXiv},
  eprint    = {2101.00930},
  timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2101-00930.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeckerDMT19,
  author    = {Heiko Becker and
               Eva Darulova and
               Magnus O. Myreen and
               Zachary Tatlock},
  editor    = {Isil Dillig and
               Serdar Tasiran},
  title     = {Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler},
  booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11562},
  pages     = {155--173},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-25543-5\_10},
  doi       = {10.1007/978-3-030-25543-5\_10},
  timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
  biburl    = {https://dblp.org/rec/conf/cav/BeckerDMT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BardBD19,
  author    = {Joachim Bard and
               Heiko Becker and
               Eva Darulova},
  editor    = {Maurice H. ter Beek and
               Annabelle McIver and
               Jos{\'{e}} N. Oliveira},
  title     = {Formally Verified Roundoff Errors Using SMT-based Certificates and
               Subdivisions},
  booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
               Porto, Portugal, October 7-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11800},
  pages     = {38--44},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30942-8\_4},
  doi       = {10.1007/978-3-030-30942-8\_4},
  timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/BardBD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeckerPDT18,
  author    = {Heiko Becker and
               Pavel Panchekha and
               Eva Darulova and
               Zachary Tatlock},
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {Combining Tools for Optimization and Analysis of Floating-Point Computations},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  pages     = {355--363},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_21},
  doi       = {10.1007/978-3-319-95582-7\_21},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/BeckerPDT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BeckerZMDMF18,
  author    = {Heiko Becker and
               Nikita Zyuzin and
               Rapha{\"{e}}l Monat and
               Eva Darulova and
               Magnus O. Myreen and
               Anthony C. J. Fox},
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {A Verified Certificate Checker for Finite-Precision Error Bounds in
               Coq and {HOL4}},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  pages     = {1--10},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.23919/FMCAD.2018.8603019},
  doi       = {10.23919/FMCAD.2018.8603019},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/BeckerZMDMF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DarulovaINRBB18,
  author    = {Eva Darulova and
               Anastasiia Izycheva and
               Fariha Nasir and
               Fabian Ritter and
               Heiko Becker and
               Robert Bastian},
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {Daisy - Framework for Analysis and Optimization of Numerical Programs
               (Tool Paper)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10805},
  pages     = {270--287},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89960-2\_15},
  doi       = {10.1007/978-3-319-89960-2\_15},
  timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/DarulovaINRBB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02436,
  author    = {Heiko Becker and
               Pavel Panchekha and
               Eva Darulova and
               Zachary Tatlock},
  title     = {Combining Tools for Optimization and Analysis of Floating-Point Computations},
  journal   = {CoRR},
  volume    = {abs/1805.02436},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.02436},
  eprinttype = {arXiv},
  eprint    = {1805.02436},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1805-02436.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckerBWW17,
  author    = {Heiko Becker and
               Jasmin Christian Blanchette and
               Uwe Waldmann and
               Daniel Wand},
  editor    = {Leonardo de Moura},
  title     = {A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  pages     = {432--453},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_27},
  doi       = {10.1007/978-3-319-63046-5\_27},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BeckerBWW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeckerDM17,
  author    = {Heiko Becker and
               Eva Darulova and
               Magnus O. Myreen},
  title     = {A Verified Certificate Checker for Floating-Point Error Bounds},
  journal   = {CoRR},
  volume    = {abs/1707.02115},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.02115},
  eprinttype = {arXiv},
  eprint    = {1707.02115},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BeckerDM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BeckerBWW16,
  author    = {Heiko Becker and
               Jasmin Christian Blanchette and
               Uwe Waldmann and
               Daniel Wand},
  title     = {Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order
               Terms},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Lambda\_Free\_KBOs.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/BeckerBWW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/RozenbergBKPBPM16,
  author    = {Daniel Rozenberg and
               Ivan Beschastnikh and
               Fabian Kosmale and
               Valerie Poser and
               Heiko Becker and
               Marc Palyart and
               Gail C. Murphy},
  editor    = {Miryung Kim and
               Romain Robbes and
               Christian Bird},
  title     = {Comparing repositories visually with repograms},
  booktitle = {Proceedings of the 13th International Conference on Mining Software
               Repositories, {MSR} 2016, Austin, TX, USA, May 14-22, 2016},
  pages     = {109--120},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2901739.2901768},
  doi       = {10.1145/2901739.2901768},
  timestamp = {Tue, 06 Nov 2018 16:57:14 +0100},
  biburl    = {https://dblp.org/rec/conf/msr/RozenbergBKPBPM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics