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

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

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

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

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

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

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

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

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

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

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

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

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

## Вебинары

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

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

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

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

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