BibTeX records: Heiko Becker

download as .bib file

@phdthesis{DBLP:phd/dnb/Becker22b,
  author       = {Heiko Becker},
  title        = {Verified compilation and optimization of floating-point kernels},
  school       = {Saarland University, Saarbr{\"{u}}cken, Germany},
  year         = {2022},
  url          = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/34919},
  urn          = {urn:nbn:de:bsz:291--ds-386888},
  timestamp    = {Wed, 19 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Becker22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/BeckerRDMTKTF22,
  author       = {Heiko Becker and
                  Robert Rabe and
                  Eva Darulova and
                  Magnus O. Myreen and
                  Zachary Tatlock and
                  Ramana Kumar and
                  Yong Kiam Tan and
                  Anthony C. J. Fox},
  title        = {Verified Compilation and Optimization of Floating-Point Programs in
                  CakeML (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {8},
  number       = {2},
  pages        = {10:1--10:2},
  year         = {2022},
  url          = {https://doi.org/10.4230/DARTS.8.2.10},
  doi          = {10.4230/DARTS.8.2.10},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/BeckerRDMTKTF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BeckerRDMTKTF22,
  author       = {Heiko Becker and
                  Robert Rabe and
                  Eva Darulova and
                  Magnus O. Myreen and
                  Zachary Tatlock and
                  Ramana Kumar and
                  Yong Kiam Tan and
                  Anthony C. J. Fox},
  editor       = {Karim Ali and
                  Jan Vitek},
  title        = {Verified Compilation and Optimization of Floating-Point Programs in
                  CakeML},
  booktitle    = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
                  June 6-10, 2022, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {222},
  pages        = {1:1--1:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.1},
  doi          = {10.4230/LIPICS.ECOOP.2022.1},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/BeckerRDMTKTF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/BeckerTDVJ22,
  author       = {Heiko Becker and
                  Mohit Tekriwal and
                  Eva Darulova and
                  Anastasia Volkova and
                  Jean{-}Baptiste Jeannin},
  editor       = {June Andronick and
                  Leonardo de Moura},
  title        = {Dandelion: Certified Approximations of Elementary Functions},
  booktitle    = {13th International Conference on Interactive Theorem Proving, {ITP}
                  2022, August 7-10, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {237},
  pages        = {6:1--6:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2022.6},
  doi          = {10.4230/LIPICS.ITP.2022.6},
  timestamp    = {Thu, 29 Sep 2022 08:36:57 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BeckerTDVJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-05472,
  author       = {Heiko Becker and
                  Mohit Tekriwal and
                  Eva Darulova and
                  Anastasia Volkova and
                  Jean{-}Baptiste Jeannin},
  title        = {Dandelion: Certified Approximations of Elementary Functions},
  journal      = {CoRR},
  volume       = {abs/2202.05472},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.05472},
  eprinttype    = {arXiv},
  eprint       = {2202.05472},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-05472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Sat, 09 Apr 2022 01:00:00 +0200},
  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    = {Sun, 12 Feb 2023 00:00:00 +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    = {Thu, 23 Jun 2022 01:00:00 +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    = {Sun, 12 Feb 2023 00:00:00 +0100},
  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 S. 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    = {Thu, 14 Apr 2022 20:26:15 +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    = {Thu, 29 Sep 2022 08:36:56 +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

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.