Best Paper Award
The best paper award of SEFM-2016 was granted to the paper:
Program Generation using Simulated Annealing and Model Checking
(Idress Husien and Sven Schewe)

Idress Husien

Idress Husien
The recognition award was granted to the paper:
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
(Jera Hensel, Jürgen Giesl, Florian Frohn and Thomas Ströder)