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.
Faculty & Researcher Profile
David Knothe
Speaker at FZI Research Center for Information Technology
David Knothe is a speaker at FZI Research Center for Information Technology, focusing on verifying loop optimizations using semantics.
1standalone talk1total lecture1hrecorded
Standalone talks by David Knothe
1Self-contained public lectures, keynote addresses, and research seminars.