Added initial commit of ESOP15 and updated abstract