Collaborated with:
Guannan Wei T.Rompf
Talks about:
program (2) interpret (1) abstract (1) modular (1) analysi (1) whole (1) stage (1) meta (1) fast (1)
Person: Yuxuan Chen
DBLP: Chen:Yuxuan
Contributed to:
Wrote 1 papers:
- OOPSLA-2019-WeiCR #composition #metaprogramming #performance #program analysis #staged
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.