|
|||||
9-12 July 2003, Novosibirsk, Akademgorodok, RussiaInternational Workshop on Program Understanding |
|||||
14-16 July, Altai Mountains, RussiaFirst call for papersAims and ScopeThe 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
Co-chairsMikhail Bulyonkov, A.P.Ershov Institute of Informatics Systems, Novosibirsk, Russia (mike@iis.nsk.su) Programme Committee
VenueThe workshop location is an isolated picturesque tourist center in the Altai Mountains, about 30 km from Gorno-Altaisk and 350 km from Novosibirsk. Social ProgrammeHorseback riding, fishing, rafting, Russian steam bath, visiting the ethnographic museum, traditional Altai folk dinner. SubmissionAll 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. ProceedingsA book of the locally published workshop proceedings will be distributed at the workshop. Important Dates
International Workshop on Program Understanding Preliminary ProgrammeMonday, July 149: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 159: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 169: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: © 2008-2024 IIS SB RAS |