adding ISSTA slides