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
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
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.
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
A Verified Certificate Checker for Floating-Point Error Bounds
Heiko Becker, Eva Darulova, Magnus Myreen
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
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