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

Publications

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