Semantic reification: how to generate UB-free code with arbitrary control flow? (github.com) 17 points by zsu 1mo ago ↗ HN
[–] zsu 1mo ago ↗ - PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf- Spin-off project symlang: https://github.com/connglli/symlang
2 comments
[ 2.8 ms ] story [ 14.3 ms ] thread- Spin-off project symlang: https://github.com/connglli/symlang