Основанное на анализе кода fuzzy-планирование потоков с применением lincheck для обнаружения ошибок в многопоточном коде

Итераторы в lock-free контейнерах (Multi Array): в структуре данных “Feldman's Multi Array” в libcds добавить возможность работы с ключами переменной длины через список коллизий в узлах. Тип lock-free списка должен задаваться извне (в Traits) - сейчас есть три реализации - MichaelList, LazyList, IterableList

Алгоритмы, требующие реализации и доработки в libcds, обычно есть что улучшить и ускорить по сравнению с реализацией из статей

Доработка алгоритмов детекции Data race в valgrind helgrind и drd по существующим ошибкам / запросам

Реализация и моделирование сетевых протоколов в симуляторе NS-3

Доработка визуализатора сетевой симулации NetAnim

Пересмотр текущих чистых lock-free алгоритмов в сторону Hardware Transactional Memory

Ёров С. “Доработка алгоритмов Google Thread Sanitizer”, АУ 2018

Доронин О. "Автоматическое fuzzy-планирование потоков с помощью relacy для обнаружения ошибок в многопоточном коде", АУ 2018

Карулин Н. “Исследование и разработка методов обеспечения заданной производительности системы анализа последовательностей генома”, ЛЭТИ 2017

Яцык А. “Разработка протокола формирования и передачи вектора состояния ОЭС ТИК-М.”, ИТМО 2017

Галимуллин М. “Разработка адаптивной стратегии синхронизации потоков в конкурентных структурах данных, основанных на flat-combining”, ЛЭТИ 2016

Рапоткин Н. “Разработка стратегий flat-combining для конкурентных структур данных на примере библиотеки libcds»”, ЛЭТИ 2015 (+ Балтрашевич)

Леснова О. “Разработка методов балансировки нагрузки для платформы моделирования сетей NS-3”, ЛЭТИ 2013 (+ Балтрашевич)

Алексеева А. “Разработка алгоритма маршрутизации беспроводных Mesh-сетей в условиях ограничения на энергопотребление узлов”, ЛЭТИ 2013 (+ Балтрашевич)

Александрова С. “Разработка средства моделирования пространственной структуры белковых молекул”, АУ 2010

Шохин Е. “Интерактивная карта университета с отображением расписания”, ЛЭТИ 2016

Королёв Ю. “Разработка подсистемы визуализации созвездия навигационных космических аппаратов”, ЛЭТИ 2009 (+ Кафтасьев)