next up previous contents
Next: 3.2 Тематический список докладов Up: 3 Доклады на симпозиумах, Previous: 3 Доклады на симпозиумах,   Contents

3.1 Хронологический список докладов

1973
  1. О свойствах сводимых графов, II Всесоюзный семинар по комбинаторной математике (г.Москва, 29-31 января, 1973 г.).
  2. Анализ управляющих графов программ, Всесоюзный симпозиум по системному программированию (г.Новосибирск, 13-16 марта, 1973 г.).
    1974
  3. Информационные связи и преобразование программ, III Всесоюзный симпозиум "Системное и теоретическое программирование" (г.Кишинев, 10-12 декабря, 1974 г.).
    1975
  4. Выделение гамаков в ориентированном графе, III Всесоюзный семинар по комбинаторной математике (г.Москва, 29-31 января, 1975 г.).
  5. Анализ структур программ в глобальной оптимизации (Совместно с М.Б.Трахтенбротом), Всесоюзный симпозиум по методам реализации новых алгоритмических языков (г.Новосибирск, 10-13 сентября, 1975 г.).
    1976
  6. О нахождении аргументов и результатов в схемах с косвенной адресацией, Советско-американское совещание по языкам программирования сверхвысокого уровня (г.Москва, сентябрь, 1976 г.).
  7. О социалистическом соревновании между лабораториями теоретических отделений ВЦ СО АН СССР, 1 Межреспубликанский семинар КК и СМУ академических учреждений кибернетического профиля (г. Минск, 18-20 октября, 1976 г.).
    1977
  8. 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).
  9. Schematology in a multi-language optimizer (with S.B.Pokrovsky) Mathematical foundations of computer science (MFCS-77) (Tatranska Lomtica, Czecoslovakia, September 5-9, 1977).
  10. О преподавании методов трансляции, Совещание-семинар преподавателей государственных университетов по математическому обепечению ЭВМ (г. Одесса, 12-17 сентября, 1977 г.).
    1978
  11. Применение теории оптимизации программ к проблеме правильности программ, Всесоюзный симпозиум "Теория систем" (пос. Славско, 21-26 февраля 1978 г.).
  12. Практический подход к оптимизации программ, Вторая Национальная школа болгарских математиков (Программирование-78) (Приморско, Болгария, 11-22 июня, 1978 г.).
    1979
  13. Смешанные вычисления и оптимизация программ, Всесоюзная конференция "Технология программирования" (г.Киев, 4-8 июня, 1979 г.).
  14. Технологические возможности оптимизации программ (совместно с И.В.Поттосиным), Всесоюзная конференция "Технология программирования" (г.Киев, 4-8 июня, 1979 г.).
    1980
  15. Оптимизация крупноблочных программ, Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта" (г.Паланга, 3-5 сентября, 1980 г.).
  16. Методика разработки многоязыковых трансляторов на примере системы БЕТА (Совместно с Ершовым А.П., Покровским С.Б., Поттосиным И.В., Степановым Г.Г.), Советско-болгарское совещание "Математическая теория и практика систем программирования" (г.София, Болгария, 26-30 октября, 1980 г.).
  17. Быстый алгоритм выделения максимальных линейных участков в программе, Советско-болгарское совещание "Математическая теория и практика систем программирования" (г.София, Болгария, 26-30 октября, 1980 г.).
    1981
  18. Быстрые алгоритмы анализа структур программ, Всесоюзная школа-семинар "Оценки сложности вычислений" (г.Ленинград, 20-22 января, 1981 г.).
  19. Система БЕТА - первые шаги (Совместно с Л.А.Захаровым, С.Б.Покровским, И.В.Поттосиным, В.К.Сабельфельдом, Г.Г.Степановым, М.Б.Трахтенбротом, В.И.Фороновым, О.В.Югриновой, О.Б.Яковлевой), Всесоюзная конференция по методам трансляции (г.Новосибирск, 3-5 февраля, 1981 г.).
  20. Оптимизация программ, Всесоюзная конференция по методам трансляции (г.Новосибирск, 3-5 февраля, 1981 г.).
  21. Вопросы моделирования программ при их оптимизации, Всесоюзная конференция по методам трансляции (г.Новосибирск, 3-5 февраля, 1981 г.).
  22. Об автоматическом конструировании качественных программ, основанном на преобразованиях (Совместно с А.М.Дзелинским и И.В.Поттосиным), Всесоюзная конференция "Программное обеспечение вычислительных сетей и систем реального времени" (г.Киев, 14-18 декабря, 1981 г.).
    1982
  23. Модели для оптимизации программ, Всесоюзный семинар с международным участием "Оптимизация и преобразование программ" (г.Новосибирск, 3-7 мая, 1982 г.).
  24. Автоматизированное построение программ путем их конкретизации, Международный семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях (Гелечица-82)" (Гелечица, Болгария, 6-12 июня, 1982 г.).
  25. Теоретико-графовые задачи в трансляции, II Всесоюзное совещание "Методы и программы решения оптимизационных задач на графах и сетях" (г.Улан-Удэ, 24-26 августа, 1982 г.).
  26. Язык для представления алгоритмов анализа программ, II Всесоюзное совещание "Методы и программы решения оптимизационных задач на графах и сетях" (г.Улан-Удэ, 24-26 августа, 1982 г.).
  27. Обзор методов анализа программ (Совместно с В.К.Сабельфельдом), Рабочая группа по автоматическому синтезу и преобразованиям программ (г.Новосибирск, 9-12 ноября, 1982 г.).
    1983
  28. Контекстно-свободные преобразования аннотированных программ, II Всесоюзная конференция "Автоматизация производства пакетов и трансляторов" (г.Таллин, 12-14 апреля, 1983 г.).
  29. Чистка циклов, IV Всесоюзный семинар "Системное и теоретическое программирование", (г.Кишинев, 31 мая-2 июня, 1983 г.)
  30. Basis for program optimization, 9th World Computer IFIP Cogress (IFIP'83) (Paris, France, September 19-23, 1983).
  31. Смешанные вычисления и оптимизация программ, Региональная Северо-Кавказская школа по смешанным вычислениям (пос. Лиманчик, 4-12 октября, 1983 г.).
    1984
  32. Проблемы оптимизации программ, цикл лекций "Алгоритмические проблемы в программировании" (пос.Цесис, 16-21 апреля, 1984 г.).
  33. Вопросы подготовки специалистов по программированию, III Международный семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" (Гелечица, Болгария, 7-11 июля, 1984 г.).
  34. Методы анализа потока данных в программах, III Всесоюзное совещание "Методы и программы решения оптимизационных задач на графах и сетях" (г.Ташкент, 27-30 августа, 1984 г.).
  35. Обобщенная задача анализа свойств состояний программ, III Всесоюзное совещание "Методы и программы решения оптимизационных задач на графах и сетях" (г.Ташкент, 27-30 августа, 1984 г.).
  36. Вопросы редукции программ, Всесоюзная конференция "Методы трансляции и конструирования программ" (г.Новосибирск, 29-31 октября, 1984 г.).
    1985
  37. Оптимизация программ: текущее состояние и перспективы, Всесоюзная конференция "Надежность и качество матобеспечения" (г.Львов, 29-31 января, 1985 г.).
  38. Конструирование качественных программ посредством конкретизирующих преобразований, Всесоюзная конференция "Надежность и качество матобеспечения" (г.Львов, 29-31 января, 1985 г.).
  39. Методы факторизации алгоритмов анализа свойств программ, Всесоюзная конференция "Надежность и качество матобеспечения" (г.Львов, 29-31 января, 1985 г.).
  40. A method for constructing quality program versions, Sovieto-Francais Symposium INFORMATIQUE-85 (Tallinn, May 14-17, 1985).
    1986
  41. Методы расширения в языках спецификации и системах преобразования программ методами преобразований, семинар "Расширяемые средства программирования" (г. Кишинев, 3-5 июня, 1986 г.).
  42. Организация курса по методам трансляции, IV Международный семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" (Гелечица, Болгария, 8-14 июля, 1986 г.).
  43. Конструирование качественных программ методом конкретизирующих преобразований, Всесоюзная конференция "Проблемы совершенствования синтеза, тестирования, верификации и отладки программ" (г.Рига, 12-14 ноября, 1986 г.).
  44. Анализ управляющих и информационных свойств программ, ориентированных на статическую проверку их правильности (совместно с В.К.Сабельфельдом), Всесоюзная конференция "Проблемы совершенствования синтеза, тестирования, верификации и отладки программ" (г.Рига, 12-14 ноября, 1986 г.).
    1987
  45. Инструментальные средства преобразования программ (совместно с В.К.Сабельфельдом), семинар "Автоматизированное рабочее место программиста" (г.Новосибирск, 15-17 сентября, 1987 г.).
    1988
  46. Tools for program transformations (with V.K.Sabelfeld), Colloque Franco-Sovietique "Informatika-88" (Nice, France, February 23-25, 1989).
  47. Семантические преобразования программ, Всесоюзная конференция по трансляции и конструированию программ (г.Новосибирск, 23-25 ноября, 1988 г.).
    1989
  48. Annotated program transformation, Seminar "Betriebssysteme, Softwareretechnologie und Wissensverarbeitung" (Born/Darss, GDR, April 17-21, 1989).
  49. Трансформационный подход к конкретизации программ, Всесоюзный семинар "Методы и инструментальные средства генерации программ" (пос. Планерское, 15-21 мая, 1989 г.).
  50. A model for annotated programming, Soviet-Franch Symposium "Knowledge-Based Software Engineering (INFORMATICS'89)" (Tallinn, USSR, May 29-June 2, 1989).
  51. Алгоритмические вопросы применения теории графов в программировании (совместно с В.А.Евстигнеевым), IV Всесоюзное совещание "Методы и программы решения оптимизационных задач на графах и сетях" (г. Новосибирск, 17-19 сентября, 1989 г.).
  52. Система для анализа и преобразования программ, II Всесоюзное совещание по автоматизированному проектированию программного обеспечения систем управления движением (пос. Рыбачье, 20-23 сентября, 1989 г.).
  53. АС -- система для проверки и испытания программ, IX Всесоюзная конференция "Планирование и автоматизация эксперимента в научных исследованиях" (г.Москва, 25-27 сентября, 1989 г.).
  54. 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
  55. Трансформационные методы оптимизации и конструирования программ, X Всесоюзный семинар "Параллельное программирование и высокопроизводительные системы: методы представления знаний в информационных технологиях" (г. Уфа, 19-26 июня, 1990 г.).
  56. Организация учебной и научно-исследовательской работы студентов по программированию на механико-математическом факультете НГУ, Республиканское совещание-семинар "Использование ЭВМ в учебной и научно-исследовательской работе студентов" (г.Махачкала, 16-19 сентября, 1990 г.).
  57. Tools and techniques of annotated programming, the 3-rd International Workshop on Compiler Compilers (CC'90) (Schwerin, FRG, October 22-24, 1990).
  58. Трансформационный подход к конструированию и оптимизации программ, конференция "Смешанные вычисления и преобразование программ (СВПП-90)" (г.Новосибирск, 24-29 ноября, 1990 г.).
    1991
  59. 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
  60. Трансформационные методы и средства конструирования эффективных и надежных программ, Международный семинар "Методы конструирования программ", 12-я сессия Всесоюзной школы-семинара "Параллельное программирование и высокопроизводительные системы: методы и средства конструирования программ" (пос. Планерское, 21-26 сентября, 1992 г.).
    1993
  61. 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).
  62. 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).
  63. 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).
  64. The PROGRESS program manipulation system (with V.A.Evstigneev), International Conference "Parallel Computer Technologies (PaCT-93)" (Obninsk, Russia, August 30-September 4, 1993).
    1994
  65. Архитектуры с мелкозернистым параллелизмом и проблема построения прототипов компиляторов (совместно с Л.А.Булышевой и В.А.Евстигнеевым), Сибирская конференция по прикладной и индустриальной математике (ИНПРИМ-94) (г. Новосибирск, 25-29 июля, 1994 г.).
  66. О работах лаборатории в области систем учебной информатики (совместно с Л.В.Городней), семинар "Программные системы учебной информатики" (г.Новосибирск, 15-20 августа, 1994 г.).
  67. 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
  68. СОКРАТ: окружение надежного и эффективного программирования (Совместно с Л.А.Захаровым, Т.В.Кузьминовым, Покровским С.Б., Поттосиным И.В., Сабельфельдом В.К., Степановым Г.Г., Шелеховым В.И.), конференция "Актуальные проблемы информатики, прикладной математики и механики" (г.Красноярск, январь, 1995 г.).
  69. О работах ИСИ СО РАН в области систем учебной информатики (Совместно с Городней Л.В. и Цикозой В.А.), Международная конференция "Новые информационные технологии в университетском образовании" (г.Новосибирск, 14-17 марта, 1995 г.).
  70. 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).
  71. 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).
  72. 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).
  73. 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
  74. Вопросы преподавания фундаментальных основ информатики и программирования (Совместно с Л.В.Городней и В.А.Евстигнеевым), Международная научно-методическая конференция "Новые информационные технологии в университетском образовании" (г.Новосибирск, 19-22 марта, 1996 г.).
  75. Вопросы эффективного использования параллельных ЭВМ (совместно с Л.В.Городней и В.А.Евстигнеевым), Международная конференция "Математические модели и численные методы механики сплошных сред" (г.Новосибирск, 19-22 марта, 1996 г.).
  76. A basis for program analysis and transformation, 2nd European Congress of Mathematics (Budapest, Hungery, July 21-27, 1996).
    1997
  77. 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).
  78. Система для редактирования иерархических графов (Совместно с И.А.Лисицыным), III Международная конференция по новым информационным технологиям в университетском образовании (г.Новосибирск, 25-27 марта, 1997 г.).
  79. Параллельная обработка: вопросы обучения (Совместно с Городней Л.В., Евстигнеевым В.А., Бирюковой Ю.В., Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.), III Международная конференция по новым информационным технологиям в университетском образовании (г.Новосибирск, 25-27 марта, 1997 г.).
  80. СИМИКС -- информационная система для поддержки гуманитарных исследований и образования в области культуры (Совместно с Г.П.Несговоровой), VIII Международная конференция по применению новых технологий в образовании (г.Троицк, 30 июня-3 июля, 1997 г.).
  81. Изложение отечественной истории информатики для школы (Совместно с Городней Л.В., Евстигнеевым В.А., Калининой Н.А., Мурзиным Ф.А.), VIII Международная конференция по применению новых технологий в образовании (г.Троицк, 30 июня-3 июля, 1997 г.).
  82. Formal methods for program reusability, The 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics (Berlin, Germany, August 24-29, 1997).
  83. Вопросы преподавания информатики и программирования, Всероссийская конференция "Проблемы информатизации региона (ПИР-97)" (г. Красноярск, 7-8 октября, 1997 г.).
    1998
  84. Поддержка супервычислений и интернет-ориентированные технологии (Совместно с В.А.Евстигнеевым, Ю.В.Малининой, Ю.В.Бирюковой, В.А.Маркиным, Э.В.Харитоновым, С.Г.Цикозой), IV Международная конференция по новым информационным технологиям в университетском образовании (г.Новосибирск, 17-19 марта, 1998 г.).
  85. Методы и средства визуальной обработки иерархических графовых моделей (Совместно с И.А.Лисицыным), IV Международная конференция по новым информационным технологиям в университетском образовании (г.Новосибирск, 17-19 марта, 1998 г.).

  86. Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин (Совместно с Г.П. Несговоровой), IV Международная конференция по новым информационным технологиям в университетском образовании (г.Новосибирск, 17-19 марта, 1998 г.).
next up previous contents
Next: 3.2 Тематический список докладов Up: 3 Доклады на симпозиумах, Previous: 3 Доклады на симпозиумах,   Contents