Объединенный семинар "Конструирование и оптимизация программ"
Во вторник 17 февраля в 14.30 состоится заседание N 1024 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.Н. Ковалев
Тема: Популярные паттерны Spring
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 16 декабря в 14.30 состоится заседание N 1022 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.В. Попов
Тема: Реферат статьи "InstructIE: A Bilingual Instruction-based Information Extraction Dataset
(Honghao Gui, Shuofei Qiao, Jintian Zhang, Hongbin Ye, Mengshu Sun, Lei Liang, Jeff Z. Pan, Huajun Chen, Ningyu Zhang)
(arxiv.org, 2024)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 2 декабря в 14.30 состоится заседание N 1021 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Е. Иванов
Тема: Архитектура RAG
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 18 ноября в 14.30 состоится заседание N 1020 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Реферат статьи "Demystifying NCCL: An In-depth Analysis of GPU Communication Protocols and Algorithms (Zhiyi Hu, Siyuan Shen, Tommaso Bonato, Sylvain Jeaugey, Cedell Alexander, Eric Spada, Jeff Hammond, Torsten Hoefle) (arxiv.org, 2025)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 4 ноября в 14.30 состоится заседание N 1019 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Т.А. Золотухин
Тема: Visual Graph: текущие результаты и дальнейшее развитие проекта
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 21 октября в 14.30 состоится заседание N 1018 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Реферат статьи "Disco: A Compact Index for LSM-trees (Wenshao Zhong, Chen Chen, Xingbo Wu, Jakob Eriksson)(Proceedings of the ACM on Management of Data, Volume 3, Issue 1, Article No.: 33, Pages 1-27, 2025)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 7 октября в 14.30 состоится заседание N 1017 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: В.Н. Касьянов
Тема: XXVII Всероссийская конференция "Научный сервис в сети Интернет" (22-25 сентября 2025 г.)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 20 мая в 14.30 состоится заседание N 1016 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Графовые нейронные сети и их применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 6 мая в 14.30 состоится заседание N 1015 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи"Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason
Sobel, Peter Vajgel. Finding a needle in Haystack: Facebook’s photo storage"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 22 апреля в 14.30 состоится заседание N 1014 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Применение бинарных диаграмм решений (БДР) в задаче поиска ключей в key-value базах данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 8 апреля в 14.30 состоится заседание N 1013 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Ю.Ю. Разбитнова
Тема: Реферат статьи "Lahcen El Fatimi, Elhoucine Elfatimi and Hanifa Bouchaneb. A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 25 марта в 14.30 состоится заседание N 1012 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка библиотеки динамического перераспределения потоков данных на основе SRT протокола - исследование корреляции параметров SRT.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 11 марта в 14.30 состоится заседание N 1011 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Железняк
Тема: Автоматическое обнаружение иронии в комментариях на русском языке
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 25 февраля в 14.30 состоится заседание N 1010 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Р.О. Запанов
Тема: Реферат статьи Nikita Koval, Dan Alistarh, Roman Elizarov «Fast and scalable channels in kotlin coroutines» 2023
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 11 февраля в 14.30 состоится заседание N 1009 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи Wei Zhu et al. «Text2MDT: Extracting Medical Decision Trees from Medical Text»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 14 января в 14.30 состоится заседание N 1008 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Метелица Елена Анатольевна
Тема: Автоматизация распараллеливания программ со сложными информационными зависимостями (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В работе представлены методы ускорения гнезд программных циклов итерационного типа. Используются сочетания сложных преобразований программ, включая скашивание, тайлинг, волновой фронт, вынос инвариантов, линеаризация выражений, перестановка неканонических циклов и др. На некоторых прикладных задачах достигается ускорение в 20 раз. Предложен метод определения оптимальных размеров тайла, который отличается от методов разработчиков известной распараллеливающей системы PLUTO и дает ускорение до 40%. Предлагается диалоговый режим оптимизации и распараллеливания програм, который может позволить распараллеливать такие программы, которые нельзя распараллелить автоматически.
Во вторник 24 декабря в 14.30 состоится заседание N 1007 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Т.М. Кравченко
Тема: Исследование методов формирования корпусов данных и обнаружения фейков на основе аргументации
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 10 декабря в 14.30 состоится заседание N 1006 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Поиск рекомбинантных последовательностей в наборе вирусных геномов: алгоритм 3SEQ
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 26 ноября в 14.30 состоится заседание N 1005 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Д.В. Андреев
Тема: Сложность задачи на построение расписаний для выполнения параллельных программ с условными конструкциями
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 12 ноября в 14.30 состоится заседание N 1004 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: А.А. Линке
Тема: Разработка 3D модели виртуального организма в среде Unigine и её
обучение перемещению при помощи искусственных нейронных сетей.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 29 октября в 14.30 состоится заседание N 1003 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: В.В. Титова
Тема: Редуцирующие конкретизации в кроссплатформенном компиляторе Cloud Sisal.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 15 октября в 14.30 состоится заседание N 1002 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Ф.Н. Жарков
Тема: Разработка программного обеспечения МООК «Тренажер по углубленному изучению языка SQL»: серверная часть
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 1 октября в 14.30 состоится заседание N 1001 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: А.М. Артемьев
Тема: "Алгоритм консенсуса RAFT"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 7 мая в 14.30 состоится заседание № 999 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: И.А. Горобец
Тема: Реферат статьи Jamilan S., Khan T.A., Ayers G., Kasikci B., Litz H. "APT-GET: Profile-Guided Timely Software Prefetching"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.