Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
A method for verifying compiler loop optimizations by integrating small-step and big-step semantics, introducing an abstract behavioral semantics for a unified framework.
Research Lab
FZI Research Center for Information Technology
FZI Research Center for Information Technology is a German applied research institution, bridging academic innovation with industrial application in computer science and engineering.
0university courses1recorded lecture1harchive runtime1faculty & speakers
Talks & colloquia from FZI Research Center for Information Technology
1Self-contained research seminars, public lectures, and invited colloquia.
Faculty & visiting speakers at FZI Research Center for Information Technology
1Professors, researchers, and invited lecturers recorded at FZI Research Center for Information Technology.
All recorded lectures from FZI Research Center for Information Technology
1Browse, filter, and sort every lecture from FZI Research Center for Information Technology.
Showing 1 of 1 lectures
jknavigate↵watchcchaptersssavexwatched
Save
Systems & CS·Conference Talk·Linguistics, Philology & Historical Decipherment · David Knothe · FZI Research Center for Information Technology
26:08