Неофициальный ИСП

Неофициальный аккаунт Института системного программирования РАН

[Неофициальный ИСП @isp_ras]

Выступает Владимир Паронджанов с лекцией про язык ДРАКОН

[sciencemon.ru @sciencemon_ru]

23-24 мая в Москве ИСП РАН совместно с ведущими ИТ-компаниями России ... https://t.co/RBJpZYhbiM

[sciencemon.ru @sciencemon_ru]

SharpChecker, платформа статического анализа программ на языке C#, вкл... https://t.co/K0g0vT7g9x

[Eugene @kornevgen]

у нас в @isp_ras замечательные, прекрасные и умные девушки! /cc: @lantir

[Неофициальный ИСП @isp_ras]

@artemborzilov Чтобы враг не проник и не занялся наукой вместо нас.

[Неофициальный ИСП @isp_ras]

У нас сегодня (как, впрочем, и всегда) #ДеньНауки

[Неофициальный ИСП @isp_ras]

@isp_ras Тема: «Методы повышения ��ффективности итеративного динамического анализа программ».

[Неофициальный ИСП @isp_ras]

Началась защита диссертации на соискание степени кандидата технических наук Михаила Ермакова.

[Неофициальный ИСП @isp_ras]

Вчера не стало Виктора Петровича Иванникова.

[Неофициальный ИСП @isp_ras]

#ЛекцияПоПонедельникам про сокрытие сигнатур кода.

[Неофициальный ИСП @isp_ras]

@isp_ras Результаты.

[Неофициальный ИСП @isp_ras]

#ЛекцияПоПонедельникам про оптимизацию запросов к SQL.

[Неофициальный ИСП @isp_ras]

@isp_ras Ура!

[Неофициальный ИСП @isp_ras]

@isp_ras Отмечаем.

[Неофициальный ИСП @isp_ras]

Отличное завершение недели. Директор института Арутюн Ишханович Аветисян избран членом-корреспондентом РАН.

[Станислав Михалкович @mikst2011]

#ceesecr А вот и Александр Камкин из ИСП РАН рассказывает про верификацию микропроцессоров!

[Oleg Nenashev @oleg_nenashev]

Alexandr Kamkin from @isp_ras about MicroTESK - tool for automatic test generation. They want to add support of @risc_v soon. #ceesecr

[Eugene @kornevgen]

“… и это работает … Что-то тут не так …” #коллегиговорят #испран

[Неофициальный ИСП @isp_ras]

@kornevgen Классика жизни.

[Неофициальный ИСП @isp_ras]

#ЛекцияПоПонедельникам о динамической бинарной трансляции.