N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Semantic reification: how to generate UB-free code with arbitrary control flow?
(
github.com
)
17 points by
zsu
3 days ago
|
1 comment
add comment
Rendered at 09:24:29 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
zsu 3 days ago
[-]
- PLDI'26 paper:
https://connglli.github.io/pdfs/reify_pldi26.pdf
- Spin-off project symlang:
https://github.com/connglli/symlang
madanparas 1 days ago
[-]
[dead]
- Spin-off project symlang: https://github.com/connglli/symlang