|
 |
Усков
Андрей
Владимирович
разработчик ArkTs
ex. разработчик Kotlin Build Tools
|
| Соруководитель секции: |
 |
|
Виртуальные машины и языки программирования
В мире существуют десятки виртуальных машин и сотни языков программирования.
Казалось бы, всё уже придумано: бери готовое и пиши код. Но почему-то каждый
год появляются новые языки, новые рантаймы, новые компиляторы – и у каждого
находятся пользователи. Значит, чего-то всё ещё не хватает?
На секции мы разбираемся, чего именно. Ожидаются доклады по следующим направлениям:
- Виртуальные машины и среды исполнения – JIT- и AOT-компиляция, сборка мусора
- Проектирование и реализация языков программирования – от синтаксиса и системы
типов до прагматики и пользовательского опыта
- Формализация семантики языков и доказательство свойств программ
- Новые парадигмы и механизмы в языках – от контекстно-ориентированного программирования
до эффект-систем и алгебраических эффектов
|
| вт 28 апреля |
 |
дневная секция |
| ауд. 2448 |
|
Иготти Н.
Клауд-кодинг мультиплатформенной экосистемы для языка ArkTS с нуля
Артемьев Р.
Art Memory Model
Самерсов Д.
Интеграция GPU-вычислений в экосистему Java: подходы и инструменты
Родионов М.А.
Аппроксимация достижимости с ограничениями в виде шафла языков Дика с использованием алгоритмов на основе GLL
Доморацкий Э.А., Булычев Д.Ю.
Формальная верификация алгоритма рациональной унификации
|
|
|
