News
Abstract Submissions for Compiler Validation via Equivalence Modulo Inputs (EMI)
Written on 18.06.2021 09:32 by Rafael Dutra
Dear Students,
As we mentioned during the previous meeting, the next seminar will be on "Compiler Validation via Equivalence Modulo Inputs (EMI)".
* Compiler Validation via Equivalence Modulo Inputs
Le, Afshari, Su
https://www.cs.ucdavis.edu/~su/publications/emi.pdf
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.
```
\documentclass[12pt]{article}
\usepackage[english]{babel}
\usepackage{blindtext}
\title{My Title}
\begin{document}
\section{Abstract}
\blindtext
\blindtext
\blindtext
\blindtext
\end{document}
```
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 reverse debugging is here: https://cms.cispa.saarland/testdebug/submissions/view/7
Please submit your abstracts before the class.
Regards,
Rafael