Repairing and mechanising the JavaScript relaxed memory model

Watt C.; Pulte C.; A. Podkopaev; Barbier G.; Dolan S.; Flur S.; Pichon-Pharabod J.; Guo S.

doi:10.1145/3385412.3385973

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Repairing and mechanising the JavaScript relaxed memory model

P. 346–361.

Watt C., Pulte C., Подкопаев А. В., Barbier G., Dolan S., Flur S., Pichon-Pharabod J., Guo S.

Язык: английский

Полный текст

DOI

Текст на другом сайте

Ключевые слова: Weak Memory Models coq Alloy ARMv8 web worker

В книге

PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

NY: Association for Computing Machinery (ACM), 2020.

A Survey of Programming Language Memory Models

Моисеенко Е. А., Подкопаев А. В., Кознов Д. В., Programming and Computer Software 2021 Vol. 47 No. 6 P. 439–456

Добавлено: 2 февраля 2022 г.

Making Weak Memory Models Fair

Lahav O., Namakonov E., Oberhauser J. и др., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98

Добавлено: 2 февраля 2022 г.

Features of cubic and tetragonal structures of U–Mo alloys: Atomistic simulation

Starikov S., Колотова Л. Н., Scripta Materialia 2016 Vol. 113 P. 27–30

Добавлено: 28 января 2022 г.

Bar-Hillel Theorem Mechanization in Coq

Grigorev S., Bozhko S., Хатбуллина Л. Р., Lecture Notes in Computer Science 2019 Vol. 11541 P. 264–281

Добавлено: 20 августа 2019 г.

Operational Aspects of C/C++ Concurrency

Подкопаев А. В., Sergey I., Nanevski A., / Series Computer Science "arxiv.org". 2016.

Добавлено: 24 декабря 2018 г.

Promising Compilation to ARMv8 POP

Подкопаев А. В., Lahav O., Vafeiadis V., , in: 31st European Conference on Object-Oriented Programming, {ECOOP} 2017Vol. 74.: Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. Ch. 22 P. 1–28.

Добавлено: 24 декабря 2018 г.