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
)
8 points by
zsu
2 days ago
|
1 comment
add comment
Rendered at 03:50:49 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
zsu 2 days ago
[-]
- PLDI'26 paper:
https://connglli.github.io/pdfs/reify_pldi26.pdf
- Spin-off project symlang:
https://github.com/connglli/symlang
madanparas 53 minutes ago
[-]
[dead]
- Spin-off project symlang: https://github.com/connglli/symlang