Next: 3.2 Тематический список докладов
Up: 3 Доклады на симпозиумах,
Previous: 3 Доклады на симпозиумах,
  Contents
1973
- О свойствах сводимых графов,
II Всесоюзный семинар по комбинаторной математике
(г.Москва, 29-31 января, 1973 г.).
- Анализ управляющих графов программ,
Всесоюзный симпозиум по системному программированию
(г.Новосибирск, 13-16 марта, 1973 г.).
1974
- Информационные связи и преобразование программ,
III Всесоюзный симпозиум
"Системное и теоретическое программирование"
(г.Кишинев, 10-12 декабря, 1974 г.).
1975
- Выделение гамаков в ориентированном графе,
III Всесоюзный семинар по комбинаторной математике
(г.Москва, 29-31 января, 1975 г.).
- Анализ структур программ в глобальной оптимизации
(Совместно с М.Б.Трахтенбротом),
Всесоюзный симпозиум по методам
реализации новых алгоритмических языков
(г.Новосибирск, 10-13 сентября, 1975 г.).
1976
- О нахождении аргументов и результатов в схемах с косвенной
адресацией,
Советско-американское совещание по языкам программирования
сверхвысокого уровня
(г.Москва, сентябрь, 1976 г.).
- О социалистическом соревновании между лабораториями
теоретических отделений ВЦ СО АН СССР,
1 Межреспубликанский семинар КК и СМУ академических
учреждений кибернетического профиля
(г. Минск, 18-20 октября, 1976 г.).
1977
- Application of optimization
techniques to correctness problems
(with I.V.Pottosin)
IFIP TG 2 Working Conf. on Constructing Quality Software
(Novosibirsk, USSR, May 23-28, 1977).
- Schematology in a multi-language optimizer
(with S.B.Pokrovsky)
Mathematical foundations of computer science (MFCS-77)
(Tatranska Lomtica, Czecoslovakia, September 5-9, 1977).
- О преподавании методов трансляции,
Совещание-семинар преподавателей государственных
университетов по математическому обепечению ЭВМ
(г. Одесса, 12-17 сентября, 1977 г.).
1978
- Применение теории оптимизации программ к проблеме
правильности программ,
Всесоюзный симпозиум "Теория систем"
(пос. Славско, 21-26 февраля 1978 г.).
- Практический подход к оптимизации программ,
Вторая Национальная школа болгарских математиков
(Программирование-78)
(Приморско, Болгария, 11-22 июня, 1978 г.).
1979
- Смешанные вычисления и оптимизация программ,
Всесоюзная конференция "Технология программирования"
(г.Киев, 4-8 июня, 1979 г.).
- Технологические возможности оптимизации программ
(совместно с И.В.Поттосиным),
Всесоюзная конференция "Технология программирования"
(г.Киев, 4-8 июня, 1979 г.).
1980
- Оптимизация крупноблочных программ,
Всесоюзная конференция
"Методы математической логики в проблемах
искусственного интеллекта"
(г.Паланга, 3-5 сентября, 1980 г.).
- Методика разработки многоязыковых трансляторов на примере
системы БЕТА
(Совместно с
Ершовым А.П., Покровским С.Б., Поттосиным И.В.,
Степановым Г.Г.),
Советско-болгарское совещание
"Математическая теория и практика систем программирования"
(г.София, Болгария, 26-30 октября, 1980 г.).
- Быстый алгоритм выделения максимальных линейных участков
в программе,
Советско-болгарское совещание
"Математическая теория и практика систем программирования"
(г.София, Болгария, 26-30 октября, 1980 г.).
1981
- Быстрые алгоритмы анализа структур программ,
Всесоюзная школа-семинар "Оценки сложности вычислений"
(г.Ленинград, 20-22 января, 1981 г.).
- Система БЕТА - первые шаги
(Совместно с Л.А.Захаровым, С.Б.Покровским,
И.В.Поттосиным, В.К.Сабельфельдом, Г.Г.Степановым,
М.Б.Трахтенбротом, В.И.Фороновым, О.В.Югриновой,
О.Б.Яковлевой),
Всесоюзная конференция по методам трансляции
(г.Новосибирск, 3-5 февраля, 1981 г.).
- Оптимизация программ,
Всесоюзная конференция по методам трансляции
(г.Новосибирск, 3-5 февраля, 1981 г.).
- Вопросы моделирования программ при их оптимизации,
Всесоюзная конференция по методам трансляции
(г.Новосибирск, 3-5 февраля, 1981 г.).
- Об автоматическом конструировании качественных программ,
основанном на преобразованиях
(Совместно с А.М.Дзелинским и И.В.Поттосиным),
Всесоюзная конференция "Программное обеспечение
вычислительных сетей и систем реального времени"
(г.Киев, 14-18 декабря, 1981 г.).
1982
- Модели для оптимизации программ,
Всесоюзный семинар с международным участием "Оптимизация и
преобразование программ"
(г.Новосибирск, 3-7 мая, 1982 г.).
- Автоматизированное построение программ путем их
конкретизации,
Международный семинар
"Проблемы информатики и ее применения в управлении, обучении
и научных исследованиях (Гелечица-82)"
(Гелечица, Болгария, 6-12 июня, 1982 г.).
- Теоретико-графовые задачи в трансляции,
II Всесоюзное совещание "Методы и программы решения
оптимизационных задач на графах и сетях"
(г.Улан-Удэ, 24-26 августа, 1982 г.).
- Язык для представления алгоритмов анализа программ,
II Всесоюзное совещание "Методы и программы решения
оптимизационных задач на графах и сетях"
(г.Улан-Удэ, 24-26 августа, 1982 г.).
- Обзор методов анализа программ
(Совместно с В.К.Сабельфельдом),
Рабочая группа по автоматическому синтезу и преобразованиям
программ
(г.Новосибирск, 9-12 ноября, 1982 г.).
1983
- Контекстно-свободные преобразования
аннотированных программ,
II Всесоюзная конференция
"Автоматизация производства пакетов и трансляторов"
(г.Таллин, 12-14 апреля, 1983 г.).
- Чистка циклов,
IV Всесоюзный семинар
"Системное и теоретическое программирование",
(г.Кишинев, 31 мая-2 июня, 1983 г.)
- Basis for program optimization,
9th World Computer IFIP Cogress (IFIP'83)
(Paris, France, September 19-23, 1983).
- Смешанные вычисления и оптимизация программ,
Региональная Северо-Кавказская школа по смешанным вычислениям
(пос. Лиманчик, 4-12 октября, 1983 г.).
1984
- Проблемы оптимизации программ,
цикл лекций
"Алгоритмические проблемы в программировании"
(пос.Цесис, 16-21 апреля, 1984 г.).
- Вопросы подготовки специалистов по
программированию,
III Международный семинар
"Проблемы информатики и ее применения в
управлении, обучении и научных исследованиях"
(Гелечица, Болгария, 7-11 июля, 1984 г.).
- Методы анализа потока данных в программах,
III Всесоюзное совещание
"Методы и программы решения
оптимизационных задач на графах и сетях"
(г.Ташкент, 27-30 августа, 1984 г.).
- Обобщенная задача анализа свойств состояний программ,
III Всесоюзное совещание
"Методы и программы решения
оптимизационных задач на графах и сетях"
(г.Ташкент, 27-30 августа, 1984 г.).
- Вопросы редукции программ,
Всесоюзная конференция
"Методы трансляции и конструирования программ"
(г.Новосибирск, 29-31 октября, 1984 г.).
1985
- Оптимизация программ:
текущее состояние и перспективы,
Всесоюзная конференция
"Надежность и качество матобеспечения"
(г.Львов, 29-31 января, 1985 г.).
- Конструирование качественных программ
посредством конкретизирующих преобразований,
Всесоюзная конференция
"Надежность и качество матобеспечения"
(г.Львов, 29-31 января, 1985 г.).
- Методы факторизации алгоритмов анализа
свойств программ,
Всесоюзная конференция
"Надежность и качество матобеспечения"
(г.Львов, 29-31 января, 1985 г.).
- A method for constructing quality program
versions,
Sovieto-Francais Symposium INFORMATIQUE-85
(Tallinn, May 14-17, 1985).
1986
- Методы расширения в языках спецификации и системах
преобразования программ методами преобразований,
семинар "Расширяемые средства программирования"
(г. Кишинев, 3-5 июня, 1986 г.).
- Организация курса по методам трансляции,
IV Международный семинар
"Проблемы информатики и ее применения в
управлении, обучении и научных исследованиях"
(Гелечица, Болгария, 8-14 июля, 1986 г.).
- Конструирование качественных программ методом
конкретизирующих преобразований,
Всесоюзная конференция
"Проблемы совершенствования синтеза, тестирования,
верификации и отладки программ"
(г.Рига, 12-14 ноября, 1986 г.).
- Анализ управляющих и информационных свойств программ,
ориентированных на статическую проверку их правильности
(совместно с В.К.Сабельфельдом),
Всесоюзная конференция
"Проблемы совершенствования синтеза, тестирования,
верификации и отладки программ"
(г.Рига, 12-14 ноября, 1986 г.).
1987
- Инструментальные средства преобразования программ
(совместно с В.К.Сабельфельдом),
семинар "Автоматизированное рабочее место программиста"
(г.Новосибирск, 15-17 сентября, 1987 г.).
1988
- Tools for program transformations
(with V.K.Sabelfeld),
Colloque Franco-Sovietique
"Informatika-88"
(Nice, France, February 23-25, 1989).
- Семантические преобразования программ,
Всесоюзная конференция
по трансляции и конструированию программ
(г.Новосибирск, 23-25 ноября, 1988 г.).
1989
- Annotated program transformation,
Seminar "Betriebssysteme, Softwareretechnologie und
Wissensverarbeitung"
(Born/Darss, GDR, April 17-21, 1989).
- Трансформационный подход к конкретизации программ,
Всесоюзный семинар
"Методы и инструментальные средства генерации программ"
(пос. Планерское, 15-21 мая, 1989 г.).
- A model for annotated programming,
Soviet-Franch Symposium
"Knowledge-Based Software Engineering
(INFORMATICS'89)"
(Tallinn, USSR, May 29-June 2, 1989).
- Алгоритмические вопросы применения теории графов в
программировании
(совместно с В.А.Евстигнеевым),
IV Всесоюзное совещание
"Методы и программы решения
оптимизационных задач на графах и сетях"
(г. Новосибирск, 17-19 сентября, 1989 г.).
- Система для анализа и преобразования программ,
II Всесоюзное совещание
по автоматизированному проектированию программного
обеспечения систем управления движением
(пос. Рыбачье, 20-23 сентября, 1989 г.).
- АС -- система для проверки и испытания программ,
IX Всесоюзная конференция
"Планирование и автоматизация эксперимента в научных
исследованиях"
(г.Москва, 25-27 сентября, 1989 г.).
- Annotated program transformations,
the 9-th Conference on Foundations of Software
Technology and Theoretical Computer Science
(FST&TCS-89)
(Bangalore, India, 19-21 December, 1989).
1990
- Трансформационные методы оптимизации и конструирования
программ,
X Всесоюзный семинар
"Параллельное программирование и высокопроизводительные
системы: методы представления знаний в информационных
технологиях"
(г. Уфа, 19-26 июня, 1990 г.).
- Организация учебной и научно-исследовательской
работы студентов по программированию на механико-математическом
факультете НГУ,
Республиканское совещание-семинар
"Использование ЭВМ в учебной и
научно-исследовательской работе студентов"
(г.Махачкала, 16-19 сентября, 1990 г.).
- Tools and techniques of annotated programming,
the 3-rd International Workshop on Compiler Compilers
(CC'90)
(Schwerin, FRG, October 22-24, 1990).
- Трансформационный подход к конструированию и
оптимизации программ,
конференция "Смешанные вычисления и преобразование
программ (СВПП-90)"
(г.Новосибирск, 24-29 ноября, 1990 г.).
1991
- Relation between theory and practice in program
transformation,
(with I.V.Pottosin),
International Conference "Perspectives of Systems
Informatics"
(Novosibirsk, USSR, May 27-30, 1991).
1992
- Трансформационные методы и средства
конструирования эффективных и надежных программ,
Международный семинар
"Методы конструирования программ",
12-я сессия Всесоюзной школы-семинара
"Параллельное программирование и
высокопроизводительные системы:
методы и средства конструирования
программ"
(пос. Планерское, 21-26 сентября, 1992 г.).
1993
- Transformational approach to
designing effective and reliable programs for parrallel computers
(with V.A.Evstigneev),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93)
(St. Peterburg, Russia, August 19-23, 1993).
- Educational informatics
systems and education in computer sciences
(with L.V.Gorodniaya),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93)
(St. Peterburg, Russia, August 19-23, 1993).
- SOKRAT: an environment for safe and effective programming
(With Kusminov T.V., Pokrovsky S.B., Pottosin I.V.,
Sabelfeld V.K., Shelekhov V.I., Stepanov G.G., Zakharov L.I.),
International Congress on Computer Systems and Applied Mathematics
(CSAM-93)
(St. Peter burg, Russia, August 19-23, 1993).
- The PROGRESS program manipulation system
(with V.A.Evstigneev),
International Conference
"Parallel Computer Technologies (PaCT-93)"
(Obninsk, Russia, August 30-September 4, 1993).
1994
- Архитектуры с мелкозернистым параллелизмом
и проблема построения прототипов компиляторов
(совместно с Л.А.Булышевой и В.А.Евстигнеевым),
Сибирская конференция по прикладной и индустриальной
математике (ИНПРИМ-94)
(г. Новосибирск, 25-29 июля, 1994 г.).
- О работах лаборатории в области систем учебной информатики
(совместно с Л.В.Городней),
семинар "Программные системы учебной информатики"
(г.Новосибирск, 15-20 августа, 1994 г.).
- Fine-grained concurrency
architectures and the rapid compiler prototyping problems
(With V.A.Evstigneev),
The 2-nd International Conference on Software for
Multiprocessors &
Supercomputers (SMS TPE'94)
(Moscow, Russia, September 19-23, 1994).
1995
- СОКРАТ: окружение надежного и эффективного программирования
(Совместно с Л.А.Захаровым, Т.В.Кузьминовым,
Покровским С.Б., Поттосиным И.В., Сабельфельдом В.К., Степановым Г.Г.,
Шелеховым В.И.),
конференция "Актуальные проблемы информатики, прикладной
математики и механики"
(г.Красноярск, январь, 1995 г.).
- О работах ИСИ СО РАН в области систем учебной информатики
(Совместно с Городней Л.В. и Цикозой В.А.),
Международная конференция "Новые информационные
технологии в университетском образовании"
(г.Новосибирск, 14-17 марта, 1995 г.).
- Formal methods in program analysis and transformations
(With V.K.Sabelfeld),
International Conference
"Advanced Mathematics, Computations
and Applications (AMCA-95)"
(Novosibirsk, Russia, June 20-24, 1995).
- Methods and tools for constructing reliable
and efficient software via annotated program transformations,
The 3-rd International Congress on
Industrial and Applied Mathematics (ICIAM-95)
(Hamburg, Germany, July 3-5, 1995).
- A program manipulation
system for fine-grained architectures
(with V.A.Evstigneev),
International Conference on Parallel Processing
(EURO-PAR'95)
(Stockholm, Sweden, August 29-31, 1995).
- A program manipulation
system for fine-grained architectures
(with V.A.Evstigneev),
International Conference
"Parallel Computer Technologies (PaCT-95)"
(St. Peterburg, Russia, September 12-15, 1995).
1996
- Вопросы преподавания фундаментальных
основ информатики и программирования
(Совместно с Л.В.Городней и В.А.Евстигнеевым),
Международная научно-методическая конференция
"Новые информационные технологии в университетском
образовании"
(г.Новосибирск, 19-22 марта, 1996 г.).
- Вопросы
эффективного использования параллельных ЭВМ
(совместно с Л.В.Городней и В.А.Евстигнеевым),
Международная конференция
"Математические модели и численные методы
механики сплошных сред"
(г.Новосибирск, 19-22 марта, 1996 г.).
- A basis for program analysis and transformation,
2nd European Congress of Mathematics
(Budapest, Hungery, July 21-27, 1996).
1997
- The system PROGRESS
as a tool for parallelizing compiler prototyping
(with V.Evstigneev and L.Gorodniaya),
The 8-th SIAM Conference
on Parallel Processing for Scientific Computing (PPSC-97)
(Minneapolis, USA, March 14-17, 1997).
- Система для редактирования
иерархических графов
(Совместно с И.А.Лисицыным),
III Международная конференция по новым информационным
технологиям в университетском образовании
(г.Новосибирск, 25-27 марта, 1997 г.).
- Параллельная обработка: вопросы обучения
(Совместно с Городней Л.В., Евстигнеевым В.А., Бирюковой Ю.В.,
Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.),
III Международная конференция по новым информационным
технологиям в университетском образовании
(г.Новосибирск, 25-27 марта, 1997 г.).
- СИМИКС -- информационная система для
поддержки гуманитарных исследований и образования в области культуры
(Совместно с Г.П.Несговоровой),
VIII Международная конференция по применению новых
технологий в образовании
(г.Троицк, 30 июня-3 июля, 1997 г.).
- Изложение отечественной истории информатики для школы
(Совместно с Городней Л.В., Евстигнеевым В.А., Калининой Н.А.,
Мурзиным Ф.А.),
VIII Международная конференция по применению новых
технологий в образовании
(г.Троицк, 30 июня-3 июля, 1997 г.).
- Formal methods for program reusability,
The 15th IMACS World Congress
on Scientific Computation, Modelling and Applied
Mathematics
(Berlin, Germany, August 24-29, 1997).
- Вопросы преподавания информатики и
программирования,
Всероссийская конференция "Проблемы информатизации
региона (ПИР-97)"
(г. Красноярск, 7-8 октября, 1997 г.).
1998
- Поддержка супервычислений и интернет-ориентированные
технологии
(Совместно с В.А.Евстигнеевым, Ю.В.Малининой,
Ю.В.Бирюковой, В.А.Маркиным, Э.В.Харитоновым,
С.Г.Цикозой),
IV Международная конференция по новым информационным
технологиям в университетском образовании
(г.Новосибирск, 17-19 марта, 1998 г.).
- Методы и средства визуальной обработки иерархических
графовых моделей
(Совместно с И.А.Лисицыным),
IV Международная конференция по новым информационным
технологиям в университетском образовании
(г.Новосибирск, 17-19 марта, 1998 г.).
- Вопросы информационной поддержки научных исследований и
преподавания гуманитарных дисциплин
(Совместно с Г.П. Несговоровой),
IV Международная конференция по новым информационным
технологиям в университетском образовании
(г.Новосибирск, 17-19 марта, 1998 г.).
Next: 3.2 Тематический список докладов
Up: 3 Доклады на симпозиумах,
Previous: 3 Доклады на симпозиумах,
  Contents