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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

23 июля 2026 г.

РНФ поддержал 31 проект молодых ученых НИУ ВШЭ

Российский научный фонд подвел итоги трех конкурсов, направленных на поддержку молодых ученых. Победителями признаны более 850 проектов, в том числе 31 из Высшей школы экономики. На средства грантов будут проведены исследования, направленные на решение конкретных задач в рамках приоритетов научно-технологического развития, которые определены в Стратегии научно-технологического развития Российской Федерации.

22 июля 2026 г.

Тяга к сладкому оказалась важнее заботы о здоровье

Исследователи НИУ ВШЭ в Перми с помощью ЭЭГ изучили, как тяга к сладкому и интерес к здоровому питанию влияют на оценку газированных напитков со вкусом колы. В ходе дегустации участники оценивали вкус напитка и называли максимальную сумму, которую готовы за него заплатить. Оказалось, что чем выше интерес человека к здоровью, тем более сложным и когнитивно затратным для него является решение о готовности платить и тем меньше в итоге он будет готов заплатить за такой напиток. Исследование опубликовано в журнале British Food Journal.

21 июля 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 г.