Posted on April 22, 2016 by Marko Dimjašević I got accepted to the Google Summer of Code 2016 program! The project is on integrating KLEE into Debile. Woot! Tags: Clover, Debian, Debile, Google Summer of Code, KLEE, ephemera, free software