Для получения триального ключа
заполните форму ниже
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
Научная деятельность компании ООО "…

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

22 Авг 2013

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

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

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

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

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

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

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

  • 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).

Популярные статьи по теме
Почему ты делаешь за меня мою работу? Типы людей, которые не пишут в поддержку

Дата: 06 Дек 2022

Автор: Алёна Фоканова

Привлекательное название статьи должно раскрывать то, что будет в ней. Так вот, работа специалистом поддержки клиентов подразумевает появление вопросов к пользователю. Иногда возникает как раз такой:…
Как Apple и другие крупные компании настиг программный баг

Дата: 09 Ноя 2022

Автор: Ульяна Гришина

Сегодня мы отобрали свежие случаи программных ошибок, чтобы вы могли немного отвлечься и, возможно, узнать что-то новенькое. Если вам интересно узнать, как программисту удалось сломать Интернет по вс…
Единороги компании PVS-Studio

Дата: 30 Авг 2022

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

Скорее всего вы перешли на эту статью, заинтересовавшись одним из наших рисунков единорогов. Приятно видеть ваш интерес. Сейчас мы расскажем, почему рисуем этих единорогов, что они означают и чем воо…
Обрабатывать ли в PVS-Studio вывод других инструментов?

Дата: 26 Май 2022

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

Анализатор PVS-Studio умеет "схлопывать" повторяющиеся предупреждения. Предоставляет возможность задать baseline, что позволяет легко внедрять статический анализ в legacy-проекты. Стоит ли предостави…
15000 ошибок в открытых проектах

Дата: 24 Май 2022

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

Количество багов в нашей коллекции перевалило за отметку 15000. Именно такое количество ошибок обнаружила команда PVS-Studio в различных открытых проектах. Особенно интересно, что это всего лишь побо…

Комментарии (0)

Следующие комментарии
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо