PLComp

CBS — система для описания компонентной спецификации ЯП. В каком-то смысле это аналог LLVM для формальной семантики. Идея в том, чтобы транслировать ЯП в элементарные, строго определенные конструкции, называемые funcons. https://plancomps.github.io/CBS-beta/ #semantics

Статьи по современным легковесным методам порождения кода Destination-Driven Code Generation https://pdfs.semanticscholar.org/dcb8/8719880e1f76ad71fb1c5aebb118e2ecfe71.pdf One-pass Code Generation in V8 https://github.com/eatonphil/one-pass-code-generation-in-v8/blob/master/One-pass%20Code%20Generation%20in%20V8.pdf HotpathVM: An Effective JIT Compiler for Resource-constrained Devices https://static.usenix.org/events/vee06/full_papers/p144-gal.pdf #codegen

Недавние конференции (статьи доступны) CGO 2020 (порождение кода и оптимизация) https://cgo-conference.github.io/cgo2020/program/ СС 2020 (построение компиляторов) https://conf.researchr.org/program/CC-2020/program-CC-2020 PLDI 2020 (проектирование и реализация языков программирования) https://pldi20.sigplan.org/program/program-pldi-2020 HOPL IV (история языков программирования) https://hopl4.sigplan.org/track/hopl-4-papers#List-of-Accepted-Papers #conf