Heiko Becker, MPI-SWS

e-Mail: hbecker __at__ mpi-sws dot org
Office: Room 314, MPI-SWS, Campus E1 5
Mail: MPI-SWS, Campus E1 5, D-66123 Saarbrücken, Germany

About Me

I am a first-year PhD student at the MPI-SWS and Saarland University. My advisor is Eva Darulova. We are currently working on formalizing her previous work in the Daisy Framework in both Coq and HOL4. To this end, we want to add support for certification of analysis results to Daisy. I have a strong interest in the validation and verification of the results of static analysis and compiler verification in general.

Education

• January 2016 - December 2016
  Preparatory phase of the Graduate School of Computer Science at Saarland University
• Summer Term 2015 - Winter Term 2015/2016
  Master studies at Saarland University
• Winter Term 2010/2011 - Winter Term 2014/2015
  Bachelor studies, Bachelor thesis on Verified SMT-based Translation Validation. Supervised by Prof. Dr. Sebastian Hack and Sigurd Schneider

Talks

• DeepSpec Summer School Lightning Talk


• HOL4 Tutorial
  
  • HOL4 Cheat Sheet
  • HOL4 Sample File

Publications

A Verified Certificate Checker for Floating-Point Error Bounds
Heiko Becker, Eva Darulova, Magnus Myreen
ArXiv e-print; 2017

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms
Heiko Becker, Jasmin Christian Blanchette,Uwe Waldmann and Daniel Wand
CADE-26. LNCS, Springer; 2017

Comparing Repositories Visually with RepoGrams
Daniel Rozenberg, Ivan Beschastnikh, Fabian Kosmale, Valerie Poser, Heiko Becker, Marc Palyart, Gail C. Murphy
Proceedings of the 13th International Conference on Mining Software Repositories; 2016