Modeling Recursion with Iteration: Enabling LLVM Loop Optimization

Sustainable Interactive Wireless Stickers

Verified Function Inlining Optimization for the PureCake Compiler

Visualizing Control Flow Graphs