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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

29 октября 2026 г.

Как прогнозировать будущее науки и технологий

Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.

29 октября 2026 г.

Плоская модель местности скрыла от симулятора потерю связи между машинами

Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

27 октября 2026 г.

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

Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.

Нашли опечатку?
Выделите её, нажмите 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 г.