PSI'2011
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference

27 июня - 1 июля 2011 г., Новосибирск, Академгородок, Россия


27 июня 2011 г., Дом ученых, Малый зал, 10.00

Tutorial: Mining Programs
Andreas Zeller
Saarland University, Germany

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 с. можно приобрести во время лекции.


 

Development: xTech

© 2008-2018 ИСИ СО РАН

WebmasterWebmaster