Semantic reification: how to generate UB-free code with arbitrary control flow?
1–3 of 3 posts
Re: Semantic reification: how to generate UB-free code with arbitrary control flow?
#2- PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf
- Spin-off project symlang: https://github.com/connglli/symlang
Re: Semantic reification: how to generate UB-free code with arbitrary control flow?
#3[dead]