Skip to content

Top Best Ask Show New Jobs

Semantic reification: how to generate UB-free code with arbitrary control flow? (opens in new tab)

(github.com)

17 pointszsu23d ago1 comments

1 comments

1 comments · 1 top-level

zsuOP23d ago

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

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

j / k navigate · click thread line to collapse