Semantic reification: how to generate UB-free code with arbitrary control flow?
8 points
by zsu
1 day ago
| 1 comment
| github.com
| HN
▲
zsu
1 day ago
[-]
- PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf

- Spin-off project symlang: https://github.com/connglli/symlang

reply