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

ISBN 978-5-91474-017-4

The issue contains the papers presented at the 5th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2011) held in Yekaterinburg, Russia on 12th and 13th of May, 2011. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium.The topics of the colloquium include system programming; static verification and analysis of programs; programming languages, methods and tools; testing of software and hardware systems; automata theory; computer graphics and others.

Foreword

Dear participants, we are glad to welcome you on the 5th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). This year we have the pleasure of holding SYRCoSE in Yekaterinburg, the main industrial and cultural center of the Urals Federal District. The colloquium is hosted by the Ural State University (USU), one of the most prestigious universities in Russia. The event is organized by Institute for System Programming of RAS (ISPRAS) and Saint-Petersburg State University (SPSU) jointly with USU and SKB Kontur.

Program Committee has selected 24 papers that cover different topics of software engineering and computer science. Each submitted paper has been reviewed independently by two or three referees. Participants of SYRCoSE 2011 represent well-known universities, research institutes and IT companies such as Institute of Informatics Problems of RAS (IPI RAN), Intel, ISPRAS, MCST, Moscow State University, National Research Nuclear University “MEPhI”, State University – Higher School of Economics, Tomsk State University, USU and Yaroslavl Demidov State University.

We would like to thank all the participants of SYRCoSE 2011 and their advisors for interesting papers. We are also very grateful to the PC members and the external reviewers for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Petr Skobelev (SEC "Knowledge Genesis") and Shihong Huang (Florida Atlantic University). We would also like to thank our sponsors, Russian Foundation for Basic Research (grant 11-07-06013-г) and Microsoft Research. Finally, our special thanks to Irina Voychitskaya (SKB Kontur), Maria Rudnichenko (SKB Kontur) and Tatyana Perevalova (USU) for their invaluable help in organizing the colloquium in Yekaterinburg.

Sincerely yours
Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2011

Invited Paper

I. Jacobson, S. Huang, M. Kajko-Mattsson, P. McMahon, E. Seymour. Semat — Three Year Vision. DOI: 10.15514/SYRCOSE-2011-5-INV. (Presentation)

Biomolecular Computing

N. Odincova, V. Popov. tRNA Computing Units and Programming Languages. pp. 10-16. DOI: 10.15514/SYRCOSE-2011-5-1.

System Programming

D. Silakov. Using Hardware-Assisted Virtualization to Protect Application Address Space Inside Untrusted Environment. pp. 17-24. DOI: 10.15514/SYRCOSE-2011-5-2. (Presentation)

R. Sokolov, A. Ermolovich. Background Optimization in Full System Binary Translation. pp. 25-30. DOI: 10.15514/SYRCOSE-2011-5-3. (Presentation)

A. Sivov, V. Sokolov. The ARTCP Header Structure, Computation and Processing in the Network Subsystem of Linux Kernel. pp. 31-35. DOI: 10.15514/SYRCOSE-2011-5-4. (Presentation)

Information Representation, Search and Reasoning

A. Korotkov. A New Double Sorting-Based Node Splitting Algorithm for R-Tree. pp. 36-41. DOI: 10.15514/SYRCOSE-2011-5-5.

V. Fedotov. Fuzzy Matching for Partial XML Merge. pp. 42-44. DOI: 10.15514/SYRCOSE-2011-5-6. (Presentation)

E. Stepalina. High-Level Data Access Based on Query Rewritings. pp. 45-47. DOI: 10.15514/SYRCOSE-2011-5-7. (Presentation)

P. Ermakov, O. Kozhunova. Application of the Functional Programming Tools in the Tasks of Language and Interlanguage Structures Representation. pp. 48-53. DOI: 10.15514/SYRCOSE-2011-5-8. (Presentation)

Static Verification and Analysis of Programs

P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. pp. 54-60. DOI: 10.15514/SYRCOSE-2011-5-9. (Presentation)

A. Ermakov, N. Kushik. Detecting C Program Vulnerabilities. pp. 61-64. DOI: 10.15514/SYRCOSE-2011-5-10. (Presentation)

M. Alekseeva, E. Dashkova. Model Checking Approach to the Correctness Proof of Complex Systems. pp. 65-67. DOI: 10.15514/SYRCOSE-2011-5-11. (Presentation)

Programming Languages, Methods and Tools

Yu. Okulovsky. Thorn Language: A Flexible Tool for Code Generation. pp. 68-73. DOI: 10.15514/SYRCOSE-2011-5-12. (Presentation)

E. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C Programming Language. pp. 74-81. DOI: 10.15514/SYRCOSE-2011-5-13. (Presentation)

A. Shakurov. Component-Based Software Engineering and Runtime Type Definition. pp. 82-87. DOI: 10.15514/SYRCOSE-2011-5-14. (Presentation)

Software Engineering Education

O. Maksimenkova, V. Podbelskiy. Educational Tests in “Programming” Academic Subject Development. pp. 88-93. DOI: 10.15514/SYRCOSE-2011-5-15.

Automata Theory

O. Kondratyeva, M. Gromov. The Parallel Composition of Timed Finite State Machines. pp. 94-99. DOI: 10.15514/SYRCOSE-2011-5-16.

R. Galimullin, N. Shabaldina. Separating Non-Deterministic Finite State Machines with Time-Outs. pp. 100-104. DOI: 10.15514/SYRCOSE-2011-5-17.

Testing of Software and Hardware Systems

N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols. pp. 105-100. DOI: 10.15514/SYRCOSE-2011-5-18. (Presentation)

M. Chupilko. Developing Test Systems for Multi-Modules Hardware Designs. pp. 111-116. DOI: 10.15514/SYRCOSE-2011-5-19.

Application-Specific Methods and Tools

A. Gorbenko, V. Popov. Programming for Modular Reconfigurable Robots. pp. 117-127. DOI: 10.15514/SYRCOSE-2011-5-20.

E. Chemeritskiy, K. Savenkov. Towards a Real-Time Simulation Environment on the Edge of Current Trends. pp. 128-133. DOI: 10.15514/SYRCOSE-2011-5-21.

Computer Graphics and Vision

A. Gorbenko, M. Mornev, V. Popov. The Problem of Placement of Visual Landmarks. pp. 134-141. DOI: 10.15514/SYRCOSE-2011-5-22.

M. Belov. Hand Recognition in Live-Streaming Video. pp. 142-144. DOI: 10.15514/SYRCOSE-2011-5-23.

M. Rovkin, E. Yel'chugin, M. Filatova. 3D-Illusion Constructor. pp. 145-146. DOI: 10.15514/SYRCOSE-2011-5-24.