Challenges in Compiling Hybrid Programs

todo