共计 24 篇文章
2022
solidity中的SMT（1）
Runtime feedback in a meta-tracing JIT for efficient dynamic languages
The Impact of Meta-Tracing on VM Design and Implementation
Tracing the meta-level:\ PyPy's tracing JIT compiler
Rethinking Incremental and Parallel Pointer Analysis
CPython Key-Sharing Dictionary优化
Lazy Basic Block Versioning续
Lazy Basic Block Versioning
2021
Functional programming compiler optimization
Is sound gradual typing dead 解读