28 октября в 12.00 я буду выступать с докладом "Ранняя диагностика ошибок в параллельных программах" на конференции CEE-SECR 2009. Если кто-то будет присутствовать на этой конференции и хочет обсудить вопросы, связанные с верификацией параллельных программ или статическим анализом кода, то я буду рад общению. Напишите мне персональное сообщение, чтобы нам было легче пересечься во время конференции.
С уважением, Андрей Карпов
к.ф.-м.н., Технический директор
ООО "Системы программной верификации"
E-Mail: karpov@viva64(точка)com
26 октября 2009 в 3:03
Андрей, а если бы скинуть сюда ссылку на доклад (можно после 28-го)?
Не все желающие живут в Москве/Туле и/или ходют по конференциям =)
А в PVS-Studio будет (ли?) анализироваться только OpenMP?
P.S. Когда-то давненько уже читал вашу статью 32 подводных камня OpenMP – ИМХО идея отличная, но как-то суховато…