Abstract Submissions for Language of Program Behaviors
Written on 14.05.2021 08:23 by Rahul Gopinath
As we mentioned during the previous week, the next seminar will be on "Language of Program Behaviors". The following publications provide the basic background.
* Input Algebras
Gopinath, Nemati, Zeller
Talk: Osama Altamar
* Learning the Language of Error
Chapman, Chockler, Kesseli, Kroening, Strichman, Tautschnig http://www.cprover.org/learning-errors/learning-the-language-of-error-including-a-proof-supplement.pdf
Talk: Reza Zamiri
We expect a short abstract, no more than one page, capturing the essential ideas. As before you can use the following latex snippet to determine what fits in a single page and what doesn't.
Please upload your summary as a PDF to the CMS submission slot (you can use the above latex code to generate the PDF). The submission slot for evocative patterns abstracts is here: https://cms.cispa.saarland/testdebug/submissions/view/3
Please submit your abstracts before the class.