9-12 July 2003, Novosibirsk, Akademgorodok, Russia
International Workshop on Program Understanding
14-16 July, Altai Mountains, Russia
First call for papers
Aims and Scope
The workshop is a satellite event of the Andrei Ershov Fifth International Conference "Perspectives of System Informatics". The aim of the workshop is to provide an opportunity for active researchers in the field of system programming to exchange new ideas and establish cooperation.
The workshop location is an isolated picturesque tourist center in the Altai Mountains, about 30 km from Gorno-Altaisk and 350 km from Novosibirsk.
Horseback riding, fishing, rafting, Russian steam bath, visiting the ethnographic museum, traditional Altai folk dinner.
All submissions must be in English, clearly written and in sufficient detail to allow the Programme Committee to assess the merits of the work. Electronic submissions are encouraged. They should be received in Novosibirsk by April 21, 2003. A PostScript file of a paper (up to 15 pages) should be e-mailed to the following address: PU03@iis.nsk.su. Please use LaTeX2e or LaTeX. When preparing your submission please follow instructions for authors of papers to be published at Springer Lecture Notes in Computer Science series, which are available at www.springer.de/comp/lncs/authors.html.
The paper should indicate complete authors' addresses (including e-mail addresses and fax numbers if any), affiliation and a clear statement of the kind of the submission (regular or short talk). Papers arriving late or exceeding size limits may be rejected immediately without refereeing. The receipt of all submitted papers will be acknowledged by e-mail within 2 days.
Authors will be notified of acceptance by May 19, 2003.
A book of the locally published workshop proceedings will be distributed at the workshop.
Monday, July 14
9:00 - 9:15 Opening
9:15 - 9:55 Robert Glück and Masahiko Kawabe. A Program Inverter for a Functional Language with Equality and Constructors.
9:55 - 10:35 Yuusuke Ichikawa, Zenjiro Konishi, and Yoshihiko Futamura. Unified Approach to Recursion Removal, Logarithmic Iteration, and Loop Elimination for a Class of Non-Linear Recursive Programs.
10:35 - 11:00 Coffee break
11:00 - 11:25 Andrei P. Nemytykh. Playing on REFAL.
11:25 - 11:50 Egor V. Kouzmin, Valery A. Sokolov. Communicating Colouring Automata.
Tuesday, July 15
9:00 - 9:40 Alexander V. Zamulin. State-Based Semantics of Pascal-Like Language.
9:40 - 10:20 I.M.Zakharyaschev and V.A.Zakharov. An equivalence-checking algorithm for polysemantic models of sequential programs.
10:20 - 10:50 Coffee break
10:50 - 11:30 Alexander Chernov. A program obfuscation method.
11: 30 - 11:55 Michsel Cebulla. Modeling Concepts for Sociotechnical Systems.
Wednesday, July 16
9:00 - 9:40 A.S.Kossatchev, A.K.Petrenko, S.V.Zelenov, and S.A.Zelenova. Using Model-Based Approach for Automated Testing of Optimizing Compilers.
9:40 - 10:20 Natalya N. Filatkina. Problem-Oriented Data Flow Visualization in Legacy Systems.
10:20 - 10:50 Coffee break
10:50 - 11:30 Nikolay A. Epifanov, Alexander O. Nekrasov, Vsevolod P. Kotlyarov. Use of Extended Test Suites for Regression Testing.
11: 30 - 11:55 Alexander O. Nekrasov, N. Epifanov, V. Kotlyarov. Code Profile for Parallel Execution Systems Testing.