1Semantic reification: how to generate UB-free code with arbitrary control flow? (opens in new tab)(github.com)GitHub17zsu23d ago1Save
3Understanding and exploiting optimal function inlining (opens in new tab)(dl.acm.org)1zsu4y ago0Save
4Finding missed optimizations through the lens of dead code elimination (opens in new tab)(github.com)GitHub1zsu4y ago1Save
6Yin-Yang – A tool for stress-testing SMT solvers (opens in new tab)(testsmt.github.io)54zsu5y ago14Save