Semantic reification: how to generate UB-free code with arbitrary control flow? | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Semantic reification: how to generate UB-free code with arbitrary control flow?(github.com)

17 points by zsu 9 days ago | 1 comment

Semantic reification: how to generate UB-free code with arbitrary control flow? | Dark Hacker News

zsu 9 days ago |

- PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf

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