29/12/2020, Peter Sovietov¶
Поздравляю читателей PLComp с предстоящими праздниками! Подведу некоторые итоги этого года.
-
Выход очередного, четвертого тома HOPL. https://t.me/plcomp/6 Замечательное, увлекательное чтение для всех, кто интересуется историей разработки ЯП.
-
Развитие подхода E-Graphs для создания систем оптимизации и синтеза программ. https://t.me/plcomp/8 Именно в этом году появились доступные реализации E-Graphs, в том числе и учебные. Следует ожидать постепенного внедрения подхода в компиляторы.
-
Практические применения 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 также сможем оперативно реагировать на основные события в компиляторной/языковой тематике. Пока же предлагаю “заглянуть в будущее”, посмотреть на работы предстоящих конференций.
-
ASPLOS 2021. https://asplos-conference.org/papers/
-
POPL 2021. https://popl21.sigplan.org/program/program-POPL-2021
-
CGO 2021. https://conf.researchr.org/info/cgo-2021/accepted-papers
21/05/2020¶
Недавно (27-28 апреля, 2020) состоялся европейский симпозиум по Лиспу.
European Lisp Symposium https://www.european-lisp-symposium.org/2020/ Видеозаписи докладов: https://www.youtube.com/playlist?list=PLA66mD-6yK8yjlJCI0Ay2f2IvvmB9Ktga
Ниже краткая информация о 3 докладах по околокомпиляторной тематике:
Partial Evaluation Based CPS Transformation: An Implementation Case Study Описание компилятора для диалекта Лиспа pLisp. В компиляторе используются частичные вычисления и CPS. Слайды: https://www.european-lisp-symposium.org/static/2020/jayaprakash-slides.pdf Текст доклада в сборнике: https://www.european-lisp-symposium.org/static/proceedings/2020.pdf
LLVM Code Generation for Open Dylan Dylan — это диалект Лиспа с Алгол-подобным синтаксисом. В начале 90-х этот язык развивался компанией Apple. В докладе представлено описание генератора кода для Dylan на основе LLVM. Слайды: https://www.european-lisp-symposium.org/static/2020/housel-slides.pdf Текст доклада в сборнике: https://www.european-lisp-symposium.org/static/proceedings/2020.pdf
Later Binding: Just in Time Compilation of a Younger Dynamic Programming Language Краткий анализ компилятора LuaJIT Видео выступления: https://www.youtube.com/watch?v=FBk5XAEhu2s Текст доклада в сборнике: https://www.european-lisp-symposium.org/static/proceedings/2020.pdf
18/05/2020¶
В стадии call for papers
Конференция по ЯП с управляемым кодом и VM MPLR 2020 Ноябрь 4-6, 2020 https://mplr2020.cs.manchester.ac.uk/index.php/mplr/call-for-papers
Симпозиум по ЯП и системам APLAS 2020 30 ноября 2020 https://conf.researchr.org/home/aplas-2020
11/05/2020¶
Крупнейшая конференция по истории ЯП - HOPL IV - была перенесена, но некоторые интересные ретроспективные обзоры уже доступны:
The History of Standard ML https://smlfamily.github.io/history/SML-history.pdf
Evolution of Emacs Lisp https://www.iro.umontreal.ca/~monnier/hopl-4-emacs-lisp.pdf
History of Logo https://escholarship.org/uc/item/1623m1p3
The Early History of F# https://fsharp.org/history/hopl-final/hopl-fsharp.pdf
A History of Clojure https://clojure.org/about/history
A History of the Oz Multiparadigm Language https://www.info.ucl.ac.be/~pvr/hopl20main-p14-p-329dcad–final.pdf
Thriving in a Crowded and Changing World: C++ 2006–2020 https://www.stroustrup.com/hopl20main-p5-p-bfc9cd4–final.pdf
Остальные доклады: https://dl.acm.org/toc/pacmpl/2020/4/HOPL
11/05/2020¶
Недавние конференции (статьи доступны)
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