В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

850 membersпожаловаться на группу
2020 May 28

PS

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

Но это больше актуально академической аудитории, не знаю, какой тут состав :)
pldi20.sigplan.org
PLMW@PLDI 2020 - PLDI 2020
The Programming Language Mentoring Workshop is designed to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop program will include technical sessions that cover both the history and current practice of core subfields within programming languages, mentoring sessions that cover effective habits for navigating the research landscape, and social sessions that create opportunities for students to interact with researchers in the field. Applications from underrepresented groups in ...
Тут есть и те, кому это будет интересно. Например, я. Да, судя по тому, что в общем доступе ничего нет, стоит подумать о регистрации :)
источник
17:21пожаловаться#1

PS

Peter Sovietov in Compiler Development
А я продолжаю просматривать доклады PLDI, ищу самые броские названия. Ну, понятно, что не мог пройти мимо  Compiler 2.0: Using Machine Learning to Modernize Compiler Technology :)
источник
17:22пожаловаться#2

PS

Peter Sovietov in Compiler Development
Никакой информации дополнительной нет. Но тут надо вспомнить, что некоторые докладчики с одной темой выступают на целом ряде конференций. И Гугл помогает:
https://drive.google.com/file/d/1GBdBPLElMkw7lc7uySS7lkOF-3vjbVHk/view
Google Docs
Compiler2.0_C4ML.pdf
источник
17:24пожаловаться#3

PS

Peter Sovietov in Compiler Development
И по практической задаче, которая в слайдах рассматривается, становится ясно, что докладчик — один из авторов довольно известной недавней статьи по поводу SLP с использованием машинного обучения.
источник
17:27пожаловаться#4

PS

Peter Sovietov in Compiler Development
Вообще, у этого автора (Saman Amarasinghe) масса интересных статей:
https://scholar.google.com/citations?hl=ru&user=cF6i_goAAAAJ&view_op=list_works&sortby=pubdate
источник
17:30пожаловаться#5

PS

Peter Sovietov in Compiler Development
И высокопроизводительные DSL, и полиэдральная компиляция...
Мне, лично, особенно интересно, что он пытается рассуждать и прогнозировать на тему будущего компиляторов. Таких статей немного, потому, хотя бы, что они формально не попадают в одну из привычных журнальных категорий.
The Three Pillars of Machine Programming
https://dl.acm.org/doi/pdf/10.1145/3211346.3211355
источник
17:32пожаловаться#6

PS

Peter Sovietov in Compiler Development
О, и на конференции будет выступать наиболее известный компиляторщик в этом чате. Сами догадайтесь, о ком я ;)
источник
17:48пожаловаться#7

a

alekum in Compiler Development
Peter Sovietov
О, и на конференции будет выступать наиболее известный компиляторщик в этом чате. Сами догадайтесь, о ком я ;)
15 Июня?
источник
17:55пожаловаться#8

PS

Peter Sovietov in Compiler Development
alekum
15 Июня?
Нет. Лучше я сразу назову — Alex Aiken. Стэнфордский вводный курс по компиляторам которого смотрели многие здесь на youtube или MOOC-ресурсах.
Но вообще он в последние годы специализируется на синтезе программ.
источник
17:58пожаловаться#9

PS

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

Но это больше актуально академической аудитории, не знаю, какой тут состав :)
pldi20.sigplan.org
PLMW@PLDI 2020 - PLDI 2020
The Programming Language Mentoring Workshop is designed to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop program will include technical sessions that cover both the history and current practice of core subfields within programming languages, mentoring sessions that cover effective habits for navigating the research landscape, and social sessions that create opportunities for students to interact with researchers in the field. Applications from underrepresented groups in ...
Кстати, я, все-таки, нашел отдельно программу PLMW. И оказалось, что большую часть уже успел посмотреть. Там действительно есть интересные выступления, спасибо!
https://popl20.sigplan.org/home/plmw-popl-2020#program
popl20.sigplan.org
PLMW 2020 - POPL 2020
What is PLMW?
The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community.
We especially encourage women and underre ...
источник
20:54пожаловаться#10

PS

Peter Sovietov in Compiler Development
С точки зрения компиляторов, пожалуй, интереснее всего будет Making Progress Under Uncertainty in SMT Solving, Research, and Life. Введение в SMT-решатели.
Автор доклада  Lindsey Kuper. И тут еще одна связь с компиляторами. Потому что  Lindsey Kuper написал известную заметку My First Fifteen Compilers:
https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/
SIGPLAN Blog
My First Fifteen Compilers
We sometimes think of the number of passes in a compiler as a measure of the compiler’s complexity.  But what if we could make compiler development more approachable by fully embracing the id…
источник
20:57пожаловаться#11

AN

Alexander Nasonov in Compiler Development
Не написал, а написала, имя то женское https://users.soe.ucsc.edu/~lkuper/
источник
21:39пожаловаться#12
2020 May 29

RB

Rustem B. in Compiler Development
https://jam1.re/
тут много чего по реверсу и конпулярам есть
jam1garner
Blog Home
Writeups, Hacking, and Hacky Software
источник
10:20пожаловаться#13

PS

Peter Sovietov in Compiler Development
Кстати говоря, во многих случаях контекстную зависимость можно описать и БНФ-подобной нотацией. В двоичных парсерах такое ведь часто встречается: в заголовке указано число секций, а затем идут сами секции. И разве это такая уж серьезная проблема для декларативного описания грамматики?
источник
15:32пожаловаться#14

PS

Peter Sovietov in Compiler Development
Переслано от Mikhail Maltsev
Да, всё так. Эта грамматика задаёт надмножество языка. Но это проблема не только C и C++. У Rust, к примеру, грамматика тоже не context-free и не задаётся в BNF-форме
источник
15:32пожаловаться#15

PS

Peter Sovietov in Compiler Development
Например, вот как можно описать в PEG-нотации парсер формата PNG:
https://joshondesign.com/2013/03/18/ConciseComputing
источник
15:37пожаловаться#16

PS

Peter Sovietov in Compiler Development
Обратите внимание, в правиле chunk мы получаем len, а затем используем правила с параметрами.
Между прочим, это тот случай, насколько я понимаю, когда макросы Menhir, о них мы говорили выше, уже не сработали бы.
источник
15:38пожаловаться#17

AD

Artyom Drozdov in Compiler Development
Peter Sovietov
Кстати говоря, во многих случаях контекстную зависимость можно описать и БНФ-подобной нотацией. В двоичных парсерах такое ведь часто встречается: в заголовке указано число секций, а затем идут сами секции. И разве это такая уж серьезная проблема для декларативного описания грамматики?
я могу ошибаться, но кажется в случае context-free грамматики, на стороне IDE легче поддерживать код, который в т.ч. может быть "временно" невалидным
источник
15:39пожаловаться#18

PS

Peter Sovietov in Compiler Development
Artyom Drozdov
я могу ошибаться, но кажется в случае context-free грамматики, на стороне IDE легче поддерживать код, который в т.ч. может быть "временно" невалидным
С контекстно-свободными грамматиками иметь дело проще. Я просто пытаюсь донести мысль, что наличие контекстно-зависимой грамматики это еще не повод отказываться от декларативных средств описания синтаксиса языка.
источник
15:41пожаловаться#19

AD

Artyom Drozdov in Compiler Development
Peter Sovietov
С контекстно-свободными грамматиками иметь дело проще. Я просто пытаюсь донести мысль, что наличие контекстно-зависимой грамматики это еще не повод отказываться от декларативных средств описания синтаксиса языка.
категорически согласен: лучше иметь декларативное описание, чем не иметь.
источник
15:42пожаловаться#20