Научная деятельность компании ООО "СиПроВер"

Андрей Карпов
Статей: 372



Раньше на нашем сайте существовала страничка "Научная деятельность", где были перечислены публикации сотрудников компании в печатных изданиях, их выступления на конференциях и так далее. Коммерческой пользы от этих мероприятий нет, поэтому мы уменьшили их количество и перестали вести их учет. Теперь мы решили убрать и саму страницу о научной деятельности, как не актуальную. Однако напоследок я решил сделать эту запись в блог. Она предназначена для студентов, которые планируют проходить у нас практику и должна им показать, что наше направление является наукоёмким и по этой теме можно делать диссертационные работы.

Студенты, у нас интересно и полезно проходить практику!

Эта заметка должна помогать нам агитировать студентов для прохождения практики у нас. Мы будем приводить её в письмах в качестве ссылки.

Для студентов важно, чтобы практика, была полезна им в плане учебы. Всегда желательно, чтобы практика позволила написать хороший отчет и помогла выбрать дальнейшую тему для ВКР и диссертации и т.д.

Поэтому студенты интересуются, являются ли наши задачи актуальными, можно ли по тематике "статический анализ кода" опубликовать статью, можно ли с этой темой выступить, на конференции.

Ответ, да можно. В качестве примера, я перечислю некоторые из таких действий, которые мы делали.

Конференции, в которых принимали участие сотрудники ООО "СиПроВер"

  • Application Developer Days 2011 (ADD 2011), 29-30 апреля 2011 г., Санкт-Петербург.
  • Application Developer Days 2010 (ADD 2010), 23-24 сентября 2010 г., Ярославль.
  • Разработка ПО 2009 (CEE-SECR 2009), 28-29 октября 2009 г., Москва.
  • Параллельные Вычислительные Технологии - ПаВТ 2009, 30 марта - 3 апреля 2009 г., Нижний Новгород.
  • Математические методы в технике и технологиях - ММТТ-21, 27-31 мая 2008 г., Саратов.
  • Всероссийская студенческая олимпиада "Конкурс компьютерных программ", 22-23 мая 2008 г., Вологда.
  • Ломоносов - 2008: Международная конференция студентов, аспирантов и молодых ученых, 7-11 апреля 2008 г., Москва.
  • Международная молодежная научная конференция "XXXIV Гагаринские чтения", 1-5 апреля 2008 г, Москва.
  • Технологии Microsoft в теории и практике программирования, 1-2 апреля 2008 г., Москва.
  • SOFTWARE ENGINEERING CONFERENCE (RUSSIA), 1-2 ноября 2007 г., Москва.

Семинары, в которых принимали участие сотрудники ООО "СиПроВер"

  • Семинар в Тульском клубе программистов TULADEV. Тула, 24 ноября 2012 г.
  • Семинар в Тульском клубе программистов TULADEV. Тула, 25 февраля 2012 г.
  • Семинар в Научно-исследовательском вычислительном центре МГУ, Москва, 23 марта 2009 г.
  • Семинар в Институте системного программирования российской академии наук, Москва, 7 июня 2008 г.
  • Семинар в Вычислительном центре российской академии наук, Москва, 15 мая 2008 г.
  • Семинар в Тульском государственном университете, Тула, 29 марта 2007 г.

Публикации сотрудников ООО "СиПроВер"

  • Карпов А.Н., Колосов А.П., Рыжков Е.А. VivaMP, система выявления ошибок в коде параллельных программ на языке С++, использующих OpenMP. Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта - 3 апреля 2009 г.). - Челябинск: Изд. ЮУрГУ, 2009. - 839 с.
  • Андрей Карпов, Евгений Романовский. Отладка и оптимизация OpenMP-программ. RSDN Magazine #4-2008, стр. 32 - 40.
  • А.П. Колосов, Е.А. Рыжков. Применение статического анализа при разработке программ. Известия ТулГУ. Технические науки. Вып.3. - Тула: Изд-во ТулГУ, 2008. - 267 с. Стр 185 - 190.
  • Е.А. Рыжков, О.С. Середин. Применение технологии статического анализа кода при разработке параллельных программ. Известия ТулГУ. Технические науки. Вып.3. - Тула: Изд-во ТулГУ, 2008. - 267 с. Стр. 191 - 196.
  • E. А. Рыжков, А.Н. Карпов. Подходы к верификации и тестированию 64-битных приложений. "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" N7, 2008, Стр. 41 - 45.
  • Андрей Карпов, Евгений Рыжков. 20 ловушек переноса C++-кода на 64-битную платформу. RSDN Magazine #1-2007. стр. 65 - 75.
  • Евгений Рыжков, Андрей Карпов. Сущность библиотеки анализа кода VivaCore. RSDN Magazine #1-2008. стр. 56 - 63.
  • Алексей Колосов, Евгений Рыжков, Андрей Карпов. 32 подводных камня OpenMP при программировании на C++. RSDN Magazine #2-2008. стр. 3 - 17.
  • Рыжков Е.А., Колосов А.П. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Технологии Microsoft в теории и практике программирования. Труды V Всероссийской конференции студентов, аспирантов и молодых ученых. Центральный регион. Москва, 2008. М.: Вузовская книга, 2008. - 272 с. ISBN 978-5-9502-0354-1. Стр. 57-58.
  • Колосов А.П., Рыжков Е.А.. VIVA64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. Ломоносов - 2008: Материалы XV Международной конференции студентов, аспирантов и молодых ученых: секция "Вычислительная математика и кибернетика"; 7-11 апреля; Москва, МГУ имени М.В. Ломоносова, факультет ВМиК: Сборник тезисов - М.: Издательский отдел факультета ВМиК МГУ, 2008. - 96 с. Стр. 43 - 44.
  • Колосов А.П., Рыжков Е.А. Viva64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. XXXIV Гагаринские чтения. Научные труды Международной молодежной научной конференции в 8 томах. Москва, 1-5 апреля 2008 г. / отв. редактор Н.И. Сердюк. - М: МАТИ, 2008. - Т.4. - 184 стр, стр 37-38.
  • Колосов А.П., Рыжков Е.А. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Сборник тезисов X Всероссийской студенческой олимпиады "Конкурс компьютерных программ". (в печати).
  • Рыжков Е.А., Карпов А.Н. Применение технологии статического анализа кода в современном процессе разработки программ. // Сборник трудов конференции "Software Engineering Conference (Russia) 2007 - SEC(R)-2007", 2007, Москва, с. 240-245.

Вебинары

  • Совместный вебинар с компанией Embarcadero по теме "О чём надо помнить создавая в C++Builder 64-битные приложения". Запись семинара: http://www.youtube.com/watch?v=trS6zbAPL-k
  • Совместный вебинар с компанией Embarcadero по теме "C++Builder и C++11". Запись семинара: http://www.youtube.com/watch?v=ThbVwGoYwmo

Можно ли по этой тематике защитить диссертацию?

Да, можно. В качестве примера, можно привести диссертационную работу Евгения Рыжкова.

В 2009 году он защитил в ГОУ ВПО "Тульский государственный университет" диссертационную работу на соискание ученой степени к.т.н. по теме "Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы".

С диссертацией можно ознакомиться в библиотеке ГОУ ВПО "Тульский государственный университет" (300600, Тула, проспект им. Ленина, 92) или в офисе компании ООО "СиПроВер" (300034, Тула,
Революции 39, офис 308).



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

Андрей Карпов
Статей: 372


Найденные ошибки

Проверено проектов
346
Собрано ошибок
13 188

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;