Closed TonitaN closed 1 year ago
TonitaN
commented
1 year ago Форк в bmstu-iu9 необходим, т.к. главной претензией рецензентов было, как и ожидаемо, отсутствие ссылки на реализацию (по факту, других претензий вообще не было). Все новые примочки там в ветке и пока без попыток выноса на главную, т.к. ещё нужно разбираться с конфликтами. И вам спасибо, что доделали главную ветку этого репозитория до альфа-версии.
TonitaN
commented
1 year ago Всю экскурсию 31 мая после заседания на SYRCoSE ребята из СПбГУ и с ВМК обсуждали регулярки и алгебру: @julia-bel не даст соврать, ей пришлось держать удар - а заодно убедиться, что на девятке кое-чему учат, чего почти нет в других местах (и это не только крутая тфя, хотя и не без этого - "как кораблик назовёшь, так он и поплывёт", не зря же "лучшая команда" 👀). Я ожидаю, что в следующем году бауманка будет представлена уже не одним докладом от лучшей команды. Т.к. материал есть, и темы очень интересные не только для нас.
А вот и слайды выступления, к которому ночами пришлось готовиться докладчице.
TonitaN
commented
1 year ago @julia-bel, обратите внимание. Остальной команде тоже можно посмотреть, - тем более, вы не знаете, что этому сообщению предшествовало очень бурное обсуждение существующих работ, в котором было выявлено два расхожих бага, про которые опять пойдёт речь.
В "свежих" статьях по REDoS:
(a*)*": https://www-apr.lip6.fr/~mine/publi/article-parolini-al-tase22.pdfНет, нам-то это только на руку, но подумать только, сколько ещё расхожих стереотипов гуляет в сети - а всё потому, что практики хотят полениться, но плохо знают теорию, а теория ленивому практику необходима как воздух. А ещё никто из них уж точно не читал Пойа ;)
P.S. - Самое забавное, что мы сами переболели одним стереотипом, сделанным из-за некорректного пояснения к корректной теореме (с альтернативным алгоритмом удаления эпсилон-правил). И благодаря тому, что мы его преодолели, и удалось разобраться с Глушковыми в анализе неоднозначности. Иначе бы даже в принципе не пришла эта мысль! Так что давайте в следующем году расширим и улучшим конвертер и докажем ещё штук 5 теорем.
TonitaN
commented
1 year ago Всё свершилось! @xendalm и К, ваши бонусы ко вступлению в магу приехали. https://www.ispras.ru/proceedings/isp_35_2023_3/
TonitaN
commented
1 year ago Закрываю как свершённое.
Бэкенд, ваши труды окупились. Статья предварительно принята не только на SYRCoSE, но и в труды ИСП РАН. @shevchenkokk , @xendalm , @dak151449 , @xtoter , @mathhyyn - бессонные ночи, литры выпитого кофе/энергетиков, багфиксы, рефакторинг, - всё не зря.
Вердикт рецензентов: _Dear Antonina,
we would like to inform you that your paper has been accepted for presentation at SYRCoSE w/ publication in 'Proceedings of ISP RAS'.
Please modify the paper according the the notes below and resubmit the updated version by May 12.
After the colloquium be ready to reformat the paper according the requirements of 'Proceedings of ISP RAS'.
Best wishes, SYRCoSE organizers _ А вот и герой дня:
Nepeivoda_Belikova.pdf
Теперь @julia-bel , которая тестировала все гипотезы на реальных регулярках и регекс-машинах, предстоит достойно представить работу, и это - ещё немаленький путь. Ну и да - если есть особо желающие съездить в Пензу на коллоквиум потусить с ВШЭ и физтехами, пишем на почту (но вряд ли удастся финансово обеспечить участие больше чем ещё одного человека).