@conference{EURECOM+6000, author = {Poeplau, Sebastian and Francillon, Aurélien}, title = {Systematic comparison of symbolic execution systems: Intermediate representation and its generation}, booktitle = {ACSAC 2019, Annual Computer Security Applications Conference, December 9-13, 2019, San Juan, Puerto Rico}, year = {2019}, editor = {ACM}, address = {San Juan}, note = {© ACM, 2019. This is the author\&\#039;s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACSAC 2019, Annual Computer Security Applications Conference, December 9-13, 2019, San Juan, Puerto Rico http://dx.doi.org/10.1145/3359789.3359796}, }