Семинар в ИПС РАН 24 июня: Илья Ключников о развитии суперкомпиляции
15 views
Skip to first unread message
Andrei Klimov
Jun 23, 2010, 5:42:34 AM6/23/10
to metacompu...@googlegroups.com, msk...@googlegroups.com
Добрый день всем!
Завтра, в четверг 24 июня в 15 часов, Илья Ключников расскажет о своей диссертационной работе по дальнейшему развитию суперкомпиляции на семинаре в Институте системного программирования РАН, ул. Солженицына (бывш. Большая Коммунистическая), дом 25, http://ispras.ru/. См. ниже объявление с названием и аннотацией.
Практически все результаты Ильи опубликованы. На его сайте http://pat.keldysh.ru/~ilya/ выставлены pdf-файлы статей и даны ссылки на его суперкомпиляторы, которые запускаются на сервере через web-интерфейс, и на наборы примеров.
Речь идет о суперкомпиляции подмножества Хакеля. Подмножество не очень большое, но сам суперкомпилятор самый мощный из нам известных (включая ведущиеся сейчас работы в MS Research), хотя и весьма компактный. Его мощность основана на новых идеях, которые могут использоваться и в других методах анализа и преобразования программ.
В ИСП очень сильная команда по анализу программ, тестированию, верификации. Доложиться перед ними и выслушать критику - это самая сильная "апробация", которую может получить в Москве работа из нашей области. Я иду туда не просто "в свите" Ильи, но с настроением услышать интересное обсуждение. И вас приглашаем прийти с тем же.
Пропускной режим там практически свободный. По предыдущим посещениям такой опыт: скажите, что на семинар, вахтер запишет в журнал, и подскажет, куда идти. Для уверенности можете прислать мне сообщение, что собираетесь, и я перешлю в ИПС списком.
Андрей Климов
Ключников Илья Григорьевич, ИПМ им. М.В. Келдыша РАН, http://pat.keldysh.ru/~ilya/
Выявление и доказательство свойств функциональных программ методами суперкомпиляции (по материалам кандидатской диссертации, научный руководитель С.А.Романенко)
1. Алгоритм суперкомпиляции для функций высших порядков.
2. Использование суперкомпиляции для распознавания:
- эквивалентности выражений высшего порядка,
- улучшающих лемм.
3. Улучшение асимптотики программ с помощью многоуровневой суперкомпиляции.
4. Применения.
- Доказательство эквивалентности абстрактных машин.
- Проверка корректности реализаций монад из стандартной библиотеки языка Haskell.
Завтра, в четверг 24 июня в 15 часов, Илья Ключников расскажет о своей диссертационной работе по дальнейшему развитию суперкомпиляции на семинаре в Институте системного программирования РАН, ул. Солженицына (бывш. Большая Коммунистическая), дом 25, http://ispras.ru/. См. ниже объявление с названием и аннотацией.
Практически все результаты Ильи опубликованы. На его сайте http://pat.keldysh.ru/~ilya/ выставлены pdf-файлы статей и даны ссылки на его суперкомпиляторы, которые запускаются на сервере через web-интерфейс, и на наборы примеров.
Речь идет о суперкомпиляции подмножества Хакеля. Подмножество не очень большое, но сам суперкомпилятор самый мощный из нам известных (включая ведущиеся сейчас работы в MS Research), хотя и весьма компактный. Его мощность основана на новых идеях, которые могут использоваться и в других методах анализа и преобразования программ.
В ИСП очень сильная команда по анализу программ, тестированию, верификации. Доложиться перед ними и выслушать критику - это самая сильная "апробация", которую может получить в Москве работа из нашей области. Я иду туда не просто "в свите" Ильи, но с настроением услышать интересное обсуждение. И вас приглашаем прийти с тем же.
Пропускной режим там практически свободный. По предыдущим посещениям такой опыт: скажите, что на семинар, вахтер запишет в журнал, и подскажет, куда идти. Для уверенности можете прислать мне сообщение, что собираетесь, и я перешлю в ИПС списком.
Андрей Климов
Ключников Илья Григорьевич, ИПМ им. М.В. Келдыша РАН, http://pat.keldysh.ru/~ilya/
Выявление и доказательство свойств функциональных программ методами суперкомпиляции (по материалам кандидатской диссертации, научный руководитель С.А.Романенко)
1. Алгоритм суперкомпиляции для функций высших порядков.
2. Использование суперкомпиляции для распознавания:
- эквивалентности выражений высшего порядка,
- улучшающих лемм.
3. Улучшение асимптотики программ с помощью многоуровневой суперкомпиляции.
4. Применения.
- Доказательство эквивалентности абстрактных машин.
- Проверка корректности реализаций монад из стандартной библиотеки языка Haskell.
Alexander Tchitchigin
Jun 23, 2010, 7:51:59 AM6/23/10
to msk...@googlegroups.com
Добрый день!
Огромное спасибо за приглашение.
Хочу прийти. Чичигин Александр Дмитриевич.
--
С уважением,
Александр.
Andrei Klimov
Jun 23, 2010, 5:37:25 AM6/23/10
to metacompu...@googlegroups.com, msk...@googlegroups.com
Добрый день всем!
Завтра, в четверг 24 июня в 15 часов, Илья Ключников расскажет о своей диссертационной работе по дальнейшему развитию суперкомпиляции на семинаре в Институте системного программирования РАН, ул. Солженицына (бывш. Большая Коммунистическая), дом 25, http://ispras.ru/. См. ниже объявление с названием и аннотацией.
Практически все результаты Ильи опубликованы. На его сайте http://pat.keldysh.ru/~ilya/ выставлены pdf-файлы статей и даны ссылки на его суперкомпиляторы, которые запускаются на сервере через web-интерфейс, и на наборы примеров.
Речь идет о суперкомпиляции подмножества Хакеля. Подмножество не очень большое, но сам суперкомпилятор самый мощных из нам известных (включая ведущиеся сейчас работы в MSR), хотя и весьма компактный. Его мощность основана на новых идеях, которые могут использоваться и в других методах анализа и преобразования программ.
Завтра, в четверг 24 июня в 15 часов, Илья Ключников расскажет о своей диссертационной работе по дальнейшему развитию суперкомпиляции на семинаре в Институте системного программирования РАН, ул. Солженицына (бывш. Большая Коммунистическая), дом 25, http://ispras.ru/. См. ниже объявление с названием и аннотацией.
Практически все результаты Ильи опубликованы. На его сайте http://pat.keldysh.ru/~ilya/ выставлены pdf-файлы статей и даны ссылки на его суперкомпиляторы, которые запускаются на сервере через web-интерфейс, и на наборы примеров.
Reply all
Reply to author
Forward
0 new messages