А я Вашу диссертацию листал :) Тематика несколько от меня далекая и цель была чисто утилитарная, подсмотреть, как Вы с PLT Redex работаете :)

🤔

@anlun привет, недавно сам думал тебя пригласить сюда :)

Добрый)

О, прикольно, не часто её читают) Насколько я помню, с PLT Redex у меня самое интересное было связано с тем, что нужно было кэшировать состояния. Не знаю, может быть уже стало проще с этим — я уже года 4 не трогал Redex.

А что таоке PLT? 👶

нашел https://redex.racket-lang.org/

Видимо, это нужно было для моделирования конкурентных взаимодействий. А у меня задача проще — операционная семантика большого шага для небольших DSL. Обычный вариант, безо всяких контекстов выполнения. Я просто давно считаю, что спецификации в CSM (Computer Science Metanotation) нужно программировать и отлаживать, как и обычный код :)

Programming Languages Theory, AFAIR.

Организаторы конференции PLDI попросили меня её прорекламировать.
Эта одна из двух-трёх лучших конференций по языкам программирования. В этом году у неё очень интересная программа
и не потому, что мне повезло быть соавтором двух статей на ней, а участие бесплатно, но
требуется регистрация, которая закрывается уже 5го июня.

Ниже сообщение от главы программного комитета PLDI.

======
This year’s ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) is going to run as a virtual conference during 15-20 June.
Registration for the conference closes on 5 June, and registration is free.

We have an exciting program of technical papers, as well as “Ask Me Anything” sessions with 16 special guests,
including Chris Lattner (founder of the LLVM project), Kathryn McKinley (a world leader in automated memory management techniques), Simon Peyton Jones (a major contributor to the Haskell language) and Bjarne Stroustrup (creator of C++).

You can see the complete program, and details on how to register, at the PLDI 2020 website: https://pldi20.sigplan.org/

The conference will be delivered as a Zoom webinar and there will be a dedicated Slack workspace to support interaction.
Joining instructions for Zoom and Slack will be provided after registration, and this video illustrates how the conference will work: https://www.doc.ic.ac.uk/~afd/AboutPLDISmall.mp4

We would like our virtual conference to reach the widest possible international audience, so please help us to spread the word!

I hope to see you at virtual PLDI in June!

Alastair Donaldson, PLDI 2020 General Chair

P.S. Check out our PLDI song: https://www.doc.ic.ac.uk/~afd/PLDISongSmall.mp4 (on Youtube: https://youtu.be/hVMCl64Uhe8)

Спасибо! А мы на канале PLComp еще в начале мая давали ссылку на программу конференции. Там, в принципе, уже тогда почти про все можно было почитать, посмотреть слайды. Интриги не осталось! :)

Недавние конференции (статьи доступны)

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

А, сорри, не знал. Просто организаторы жаловались, что очень мало регистраций из России, а мне кажется, что эту конференцию любителям компиляторов пропускать не стоит :)

у них там есть квоты по странам? :)

Думаю, что нет, просто участники отмечаются, откуда они

Все равно полезно получить анонс из первых рук, спасибо!
Я сейчас попробую составить список того, что мне было бы интересно послушать-почитать там :)

Я не регистрировался, как и мои знакомые, собираемся и смотрим, разбираем доклады иногда на ютубе🤔

Я всегда горячо рекомендую PLMW. Он проходит на разных конференциях, и там вводные доклады о различных научных задачах перемежаются с докладами о том,
как писать хорошие научные статьи, не сойти с ума в аспирантуре, работать в научном коллективе и получать от этого удовольствие.

Но это больше актуально академической аудитории, не знаю, какой тут состав :)

Тоже вариант, но не уверен, что у них будет live на YT, что может быть актуально, если хочется задать вопросы (для этого у них будет Slack).