Биографии великих людей

Абрамов Сергей Михайлович

(25.03.1957)

152140, Переславль-Залесский, ИПС РАН,

Исследовательский Центр Мультипроцессорных Систем,

директор, зав. лабораторией Программных Систем для Параллельных Архитектур,

д.ф.-м.н.

Тел. (08535) 98031, 98032,

Факс (08535) 98278

E-mail: abram@botik.ru

WWW: http://www.botik.ru/~abram/

Научные интересы: распараллеливание программ, метавычисления и их приложения. Руководитель проекта [ИПС РАН/Т-система] (T-system).

Избранные публикации

1. S.M.Abramov, N.V.Kondratev, A Compiler based on partial evaluation, In: Some problem of applied mathematics and software. Moscow State University, 1982, p.66--69. In Russian.

2. S.M.Abramov, Using of neighborhood analysis for program testing, In: Some problem of system programming. Moscow State University, 1984 In Russian.

3. S.M.Abramov, Program testing by neighborhood analysis, In: Cybernetic problem, Moscow, 1987 In Russian.

4. S.M.Abramov, S.A.Romanenko, How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal, Preprint of Inst. of Applied Math. of USSR AS, 1988, No. 186, 27 pp. In Russian.

[English version (unpublished): 54Kb ZIP(DVI+LaTeX sources) is FTP-available].

5. A.A.Abakumov, S.M.Abramov, A.I.Adamowitch, I.A.Nesterov et al., Conception of MDA software In Proceedings of Soviet Union conference of young scientists and specialists on problems of cybernetics and computers., Moscow - Pereslavl-Zalessky, 1989. In Russian.

6. S.M.Abramov, A.I.Adamowitch, I.A.Nesterov, S.P.Pimenov, Yu.V.Shevchuck., Principles of software tools implementation for multiprocessor with automatic dynamic parallelizing., In: Proceedings of 16th international school Programming'91. Sofia, Bulgaria, 1991. In Russian.

7. S.M.Abramov, Metacomputation and logic programming, In: Programming ("Programmirovanie") No 3, 1991, pp.31-44, Moscow. In Russian.

8. S.M.Abramov, A.I.Adamowitch, I.A.Nesterov, S.P.Pimenov, Yu.V.Shevchuck, Autotransformation of evaluation network as a basis for automatic dynamic parallelizing, In: Proceedings of 6th NATUG meeting., Vancouver, Canada, IOS Press, 1993.

9. S.M.Abramov, Metacomputation and program testing, In Proceedings of AADEBUG'93, 1st International Workshop on Automated and Algorithmic Debugging, Linkoping University, Linkoping, Sweden 3-5 May 1993, pp.121-135.

[50Kb ZIP(DVI+LaTeX sources) is FTP-available].

10. S.M.Abramov, Metacomputation and its applications, "Science" Publish., Moscow, 1995, 128pp. In Russian.