Научная деятельность компании ООО "СиПроВер"
Раньше на нашем сайте существовала страничка "Научная деятельность", где были перечислены публикации сотрудников компании в печатных изданиях, их выступления на конференциях и так далее. Коммерческой пользы от этих мероприятий нет, поэтому мы уменьшили их количество и перестали вести их учет. Теперь мы решили убрать и саму страницу о научной деятельности, как не актуальную. Однако напоследок я решил сделать эту запись в блог. Она предназначена для студентов, которые планируют проходить у нас практику и должна им показать, что наше направление является наукоёмким и по этой теме можно делать диссертационные работы.
Студенты, у нас интересно и полезно проходить практику!
Эта заметка должна помогать нам агитировать студентов для прохождения практики у нас. Мы будем приводить её в письмах в качестве ссылки.
Для студентов важно, чтобы практика, была полезна им в плане учебы. Всегда желательно, чтобы практика позволила написать хороший отчет и помогла выбрать дальнейшую тему для ВКР и диссертации и т.д.
Поэтому студенты интересуются, являются ли наши задачи актуальными, можно ли по тематике "статический анализ кода" опубликовать статью, можно ли с этой темой выступить, на конференции.
Ответ, да можно. В качестве примера, я перечислю некоторые из таких действий, которые мы делали.
Конференции, в которых принимали участие сотрудники ООО "СиПроВер"
- 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.
Вебинары
Можно ли по этой тематике защитить диссертацию?
Да, можно. В качестве примера, можно привести диссертационную работу Евгения Рыжкова.
В 2009 году он защитил в ГОУ ВПО "Тульский государственный университет" диссертационную работу на соискание ученой степени к.т.н. по теме "Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы".
С диссертацией можно ознакомиться в библиотеке ГОУ ВПО "Тульский государственный университет" (300600, Тула, проспект им. Ленина, 92) или в офисе компании ООО "СиПроВер" (300034, Тула,Революции 39, офис 308).
0