共计 24 篇文章

---

2022

solidity中的SMT（1） 06-13 Runtime feedback in a meta-tracing JIT for efficient dynamic languages 02-28 The Impact of Meta-Tracing on VM Design and Implementation 02-24 Tracing the meta-level:\ PyPy's tracing JIT compiler 02-20 Rethinking Incremental and Parallel Pointer Analysis 02-13 CPython Key-Sharing Dictionary优化 01-16 Lazy Basic Block Versioning续 01-13 Lazy Basic Block Versioning 01-03

2021

Functional programming compiler optimization 12-31 Is sound gradual typing dead 解读 12-01