PSI'03
A.P. Ershov Institute of Informatics Systems
Andrei Ershov Fifth International Conference «PERSPECTIVES OF SYSTEM INFORMATICS»
 

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.

Workshop Topics

  • formal and informal program models;
  • program specification, transformation and verification;
  • semantics, analysis, and manipulation of programs;
  • programming paradigms;
  • program and system construction for parallel and distributed computing;
  • system re-engineering and reuse;
  • integrated programming environments;
  • software architectures;
  • software maintenance and testing;
  • program understanding and visualization;
  • knowledge-based systems and knowledge engineering; data models;
  • advanced data management in distributed environments;
  • educational programming languages;
  • teaching programming.

Co-chairs

Mikhail Bulyonkov, A.P.Ershov Institute of Informatics Systems, Novosibirsk, Russia (mike@iis.nsk.su)
Robert Glück, JST & Waseda University, Tokyo, Japan (glueck@acm.org)

Programme Committee

  • Andrey Terekhov, St. Petersburg State University, Russia
  • Vsevolod Kotlyarov, Motorola, St. Petersburg, Russia
  • Peter Sestoft, Royal Veterinary and Agricultural University, Denmark
  • Merik Meriste, University of Tartu, Estonia
  • Mikhail Matskin, Royal Institute of Technology, Stockholm, Sweden
  • Nikolaj Nikitchenko, Kiev National University, Ukraine
  • David Levin, Ledas Ltd., Novosibirsk, Russia
  • Nickolay Shilov, A.P.Ershov Institute of Informatics Systems, Russia
  • Viktor Malyshkin, Institute of Computational Mathematics and Mathematical Geophysics, Novosibirsk, Russia
  • Eric Monfroy, University of Nantes, France
  • Vladimir Zadorozhny, University of Pittsburgh, USA

Venue

The workshop location is an isolated picturesque tourist center in the Altai Mountains, about 30 km from Gorno-Altaisk and 350 km from Novosibirsk.

Social Programme

Horseback riding, fishing, rafting, Russian steam bath, visiting the ethnographic museum, traditional Altai folk dinner.

Submission

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.

Proceedings

A book of the locally published workshop proceedings will be distributed at the workshop.

Important Dates

  • April 21, 2003: submission deadline of papers.
  • May 19, 2003: notification of acceptance (by e-mail).
  • June 2, 2003: final papers due (camera-ready, LaTeX).
  • July 13, 2003: arrival date.
  • July 14-16, 2003: the workshop dates.
  • July 17, 2003: departure date.

International Workshop on Program Understanding Preliminary Programme

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.


 

Design & development:
xTech

© 2008-2024 IIS SB RAS

WebmasterWebmaster