4 ms·

Semantic reification: how to generate UB-free code with arbitrary control flow?

• zsu 4mo ago
  - PLDI'26 paper: https://connglli.github.io/pdfs/reify_pldi26.pdf https://connglli.github.io/pdfs/reify_pldi26.pdf - Spin-off project symlang: https://github.com/connglli/symlang https://github.com/connglli/symlang
• madanparas 4mo ago
  [dead]