Поздравляю читателей PLComp с предстоящими праздниками! Подведу некоторые итоги этого года.

1. Выход очередного, четвертого тома HOPL. https://t.me/plcomp/6
Замечательное, увлекательное чтение для всех, кто интересуется историей разработки ЯП.

2. Развитие подхода E-Graphs для создания систем оптимизации и синтеза программ. https://t.me/plcomp/8
Именно в этом году появились доступные реализации E-Graphs, в том числе и учебные. Следует ожидать постепенного внедрения подхода в компиляторы.

3. Практические применения SyGuS (синтаксически-управляемый синтез программ) в компиляторах.
Для BPF (https://t.me/plcomp/51), для сетевых процессоров (https://dl.acm.org/doi/abs/10.1145/3387514.3405852) и для DSP (https://www.cs.utexas.edu/~bornholt/papers/diospyros-lctes20.pdf ).

В будущем году, надеюсь, мы в PLComp также сможем оперативно реагировать на основные события в компиляторной/языковой тематике. Пока же предлагаю "заглянуть в будущее", посмотреть на работы предстоящих конференций.

1. ASPLOS 2021. https://asplos-conference.org/papers/

2. POPL 2021. https://popl21.sigplan.org/program/program-POPL-2021

3. CGO 2021. https://conf.researchr.org/info/cgo-2021/accepted-papers

#conf