27 июня 2011 г., Дом ученых, Малый зал, 10.00
A program fails. How can we locate the cause? A new generation of program analysis techniques automatically determines failure causes - in the input, in the set of code changes, or in the program state - and extracts precise descriptions of program behavior through systematic experimentation.
In contrast to "classical" static analysis, these new techniques exploit the data from multiple concrete runs - and may even generate further runs as needed. In this lecture, we explore the state of the art in automated debugging and automated specification mining, using real-life case studies such as Firefox, GCC, or AspectJ.
Андреас Целлер - профессор, заведующий кафедрой технологии программирования Саарлендского университета, Саарбрюкен, Германия.
Андреас Целлер – известный специалист в области анализа больших программных систем и процесса их разработки. В 2010 г. он был удостоен почетного звания Fellow of the ACM за вклад в решение проблем автоматической отладки и хранения программных архивов. Его статьи и книги были удостоены нескольких престижных премий.
В конце 2010 г. проф. А. Целлер и его сотрудник д-р Д. Фрейзер получили от компании Google специальный грант (Focused Research Award) в размере 750000 долларов на исследования в области отладки программ.
На своей домашней странице в разделе "Об исследованиях и исследователях" проф. Целлер так отвечает на вопрос о том, что нужно, чтобы стать хорошим ученым - энтузиазм и непрерывное стремление к совершенству.
Богатый опыт преподавания и публичных выступлений ученый обобщил в своих заметках "Как сделать хороший научный доклад". Советы проф. Целлера , несомненно, будут полезны как молодым, так и опытным докладчикам.
Весной 2011 года известная книга А. Целлера Why Programs Fail вышла на русском языке в издательстве "Эксмо".
Эта книга целиком посвящена ошибкам в компьютерных программах — их воспроизведению, поиску и исправлению. Здесь описывается ряд методик, которые позволяют выполнять отладку программ системным, а иногда даже элегантным способом. Данные методики могут быть максимально автоматизированы, позволяя доверить решение большинства задач отладки компьютеру.
Книгу А. Целлер. Почему не работают программы. – М.: Эксмо, 2011. – 560 с. можно приобрести во время лекции.