Digitek Labs: Новости
На конференцию SECR-2011 приняты 2 доклада сотрудников нашей лаборатории
На конференцию по программной инженерии SECR-2011 приняты два доклада сотрудников нашей кафедры:
- Ицыксон В.М., Зозуля А.В. Автоматизированная трансформация программ при миграции на новые библиотеки (Automated Program Transformation for Migration to New Libraries)
- Моисеев М.Ю, Глухих М.И., Карпенко А.В., Х.Рихтер. Оценка надежности ПО на основе статического обнаружения дефектов (Software Reliability Estimation Based on Static Error Detection)
Английская версия сайта
В тестовом режиме заработала английская версия сайта нашей лаборатории
В Санкт-Петербурге завершился 2-ой семинар "Program Semantics, Specifiation and Verification" (PSSV-2011)
С 12 по 13 июня 2011 года в Санкт-Петербурге при CSR-2011 проходил второй семинар "Program Semantics, Specifiation and Verification" (PSSV-2011). Наша лаборатория представляла 4 доклада:
- V. Itsykson, A. Zozulya, M. Glukhikh. Automated Program Reengineering When Porting Software to a New Environment Described by Partial Specifications
- M. Glukhikh, V. Itsykson, V. Tsesko. Using Dependencies to Improve Precision of Program Analysis
- M. Moiseev, A. Zakharov. Static Data Race Detection in SystemC Parallel Programs. Proceedings of 6th International Computer Science Symposium in Russia
- M. Belyaev, V. Tsesko. Development of LLVM-based static analysis tool using type and effect systems
Вышла новая книга, посвященная статическому анализу
Вышла новая книга "Программная инженерия. Обеспечение качества программных средств методами статического анализа"
В издательстве Политехнического университета вышла книга сотрудников нашей лаборатории М.И. Глухих и В.М. Ицыксона. Учебное пособие предназначена для студентов, аспирантов и молодых специалистов, интересующихся статическими методам обеспечения качества программных систем. Подробно излагаются вопросы качества программного обеспечения, рассматриваются характеристики качества. Дается обзор современных методов обеспечения качества. Основная часть учебного пособия посвящена статическому анализу. Рассматриваются модели программ, использующиеся при анализе, описывается классический подход к статическому анализу на основе абстрактной интерпретации.
Завершилась 6-ая конференция Разработка ПО 2010 (CEE-SECR-2010)
С 13 по 15 октября в Москве проходила 6-ая международная конференция по программной инженерии "Разработка ПО 2010". Наша лаборатория представляла 3 доклада:
- Технология модификации программного кода, основанная на параметризуемых шаблонах
- Обнаружение клонов исходного кода: современное состояние дел
- Обнаружение дефектов в многопоточных программах с синхронизацией на основе семафоров