Многопоточное программирование

from Stas Fomin on Vimeo.

Евгений Кирпичёв из компании Grid Dynamics поделится своими знаниями, опытом и мыслями о многопоточном и распределенном программировании.
Доклад будет состоять из двух блоков:

  • Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
  • Cutting-edge технологии: Что интересного и революционного есть в некоторых современных функциональных языках (Haskell, Erlang, Clojure, F#), и что уже стало или вот-вот станет мейнстримом.

Комментарии

{{comment.AuthorInfo}}
{{ comment.DateCreated | date: 'dd.MM.yyyy' }}

Партнеры конференции

Заметили ошибку?