6/3/2026 at 11:19:45 AM
- PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf- Spin-off project symlang: https://github.com/connglli/symlang
by zsu
6/3/2026 at 11:19:45 AM
Semantic reification: how to generate UB-free code with arbitrary control flow?
https://github.com/connglli/Reifyby zsu