Prof. Eric Bodden, Ph.D. » Now at TOPLAS: Partially evaluating finite-state runtime monitors ahead of time