Issue 2007 (1)


Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

This issue contains all papers presented at the First Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE’2007), held in Moscow on May 31 - June 1, 2007. The selection was based on peer reviewing by program committee. Both regular and research-in-progress papers were considered acceptable for this colloquium. The topics of the colloquium include compiler and cross development tools; distributed and concurrent software; safety and security; data mining and text classification; formal specification and requirements management; software testing; and computer graphics and vision.

Foreword

The First Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE’2007) took place on 31 May - 1 June 2007 in Moscow, Russia. The event was organized by Moscow State University, Saint-Petersburg State University, and the Institute for System Programming of Russian Academy of Sciences with support of Russian Foundation for Basic Research (grant No. 07-07-06017).

The term colloquium strongly corresponds to the sense of this series of events: the colloquium provides a convenient place to present results of research and to check a quality of the research and its presentation with a help of older colleagues. The goal of SYRCoSE’2007 was to bring together younger researchers in software engineering from several universities and research institutes, their scientific advisers, and other professors to give younger researchers a possibility to present their recent work, to discuss results, and to gain experience of English presentations and discussions.

The Program Committee of the SYRCoSE’2007 selected 16 papers. The papers were presented by young researchers from the Moscow State University, Saint-Petersburg State University, Tomsk State University, and Institute for System Programming of Russian Academy of Sciences (ISPRAS). The papers cover different important topics of the field of software engineering such as compiler and cross development tools; distributed and concurrent software; safety and security; data mining and text classification; formal specification and requirements management; software testing; and computer graphics and vision.

We would like to thank all young researchers presented papers for SYRCoSE’2007 and their scientific advisers (if applicable). We would also like to thank all PC members and the members of the organizing committee of the SYRCoSE’2007. Our special thanks to Alexander Monakhov (ISPRAS) for his invaluable help in reviewing the papers.

We believe that SYRCoSE colloquium will have successful continuation.

SYRCoSE’2007 Editors:
Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov

Compilers and Cross Development Tools

O. Medvedev. Optimal Basic Block Reordering via Hammock Decomposition. Volume 1, pp. 7-10. DOI: 10.15514/SYRCOSE-2007-1-1. (Presentation)

A. Korobeynikov. Improving Switch Lowering for the LLVM Compiler System. Volume 1, pp. 11-15. DOI: 10.15514/SYRCOSE-2007-1-2. (Presentation)

V. Rubanov. Dynamic Support of Processor Extensions in Cross Development Tools. Volume 1, pp. 17-23. DOI: 10.15514/SYRCOSE-2007-1-3. (Presentation)

Distributed and Concurrent Software

A. Smirnov. Automatic Parallel Program Checkpointing in Message-Passing Environments. Volume 1, pp. 29-33. DOI: 10.15514/SYRCOSE-2007-1-4.

V. Goritskaya, N. Popova. About the Capability of Some Parallel Program Metric Prediction using Neural Network Approach. Volume 1, pp. 35-38. DOI: 10.15514/SYRCOSE-2007-1-5. (Presentation)

Safety and Security

I. Mashechkin, M. Petrovskiy, S. Troshin, A. Shestimerov. Data Gathering and User Behavior Analysis System. Volume 1, pp. 39-44. DOI: 10.15514/SYRCOSE-2007-1-6.

D. Kozlov, A. Petukhov. Implementation of Tainted Mode Approach to Finding Security Vulnerabilities for Python Technology. Volume 1, pp. 45-47. DOI: 10.15514/SYRCOSE-2007-1-7.

Data Mining and Text Classification

V. Glazkova, M. Petrovskiy. Multi-topic Text Categorization Based on Ranking Approach. Volume 1, pp. 49-55. DOI: 10.15514/SYRCOSE-2007-1-8.

V. Glazkova, V. Maslyakov, I. Mashechkin, M. Petrovskiy. Internet Traffic Filtering System Based on Data Mining Approach. Volume 1, pp. 57-62. DOI: 10.15514/SYRCOSE-2007-1-9. (Presentation)

Formal Specification and Requirements Management

A. Kamkin. Contract Specification of Pipelined Designs: Application to Testbench Automation. Volume 2, pp. 7-13. DOI: 10.15514/SYRCOSE-2007-1-10. (Presentation)

D. Silakov. Tracking Specification Requirements Evolution: Database Approach. Volume 2, pp. 15-22. DOI: 10.15514/SYRCOSE-2007-1-11. (Presentation)

Software Testing

A. Shabaldin. Constructing a Tester for Checking Student Protocol Implementations. Volume 2, pp. 23-29. DOI: 10.15514/SYRCOSE-2007-1-12. (Presentation)

D. Kichigin. Test Suite Reduction for Regression Testing of Simple Interactions between Two Software Modules. Volume 2, pp. 31-37. DOI: 10.15514/SYRCOSE-2007-1-13. (Presentation)

V. Mutilin. Conformance Testing With State Mapping. Volume 2, pp. 39-47. DOI: 10.15514/SYRCOSE-2007-1-14. (Presentation)

Computer Graphics and Vision

A. Adinetz. A Higher-Level and Portable Approach for GPGPU Programming. Volume 2, pp. 49-52. DOI: 10.15514/SYRCOSE-2007-1-15.

S. Golovin, N. Veselov. Automatic Reconstruction of Curved Solids from Three Orthographic Projections. Volume 2, pp. 53-58. DOI: 10.15514/SYRCOSE-2007-1-16.