BINSEC will be present at ISSTA 2016 with a paper by Robin David & al.

The paper is titled Specification of Concretization and Symbolization Policies in Symbolic Execution. The abstract is available.