SYRCoSE 2011. Proceedings of the 5th Spring/Summer Young Researchers’ Colloquium on Software Engineering (Yekaterinburg, May 12-13, 2011)

Ekaterinburg, 2011. – 146 p.Proceedings of the 5th Spring/Summer Colloquium of Young Researchers in Software Engineering (SYRCoSE 2011), May 12-13, 2011.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.The collection contains articles presented at the 5th spring/summer colloquium of young researchers in the field of software engineering, held in Yekaterinburg on May 12-13, 2011. The selection of articles was made on the basis of review of materials by the program committee. Both full papers and short communications describing current research were accepted for the colloquium.
The colloquium program covers the following topics: 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.R. Yavorskiy. Crowdsourcing Projects for Research, Education and Better Life
Biomolecular Computing.
N. Odincova, V. Popov. tRNA Computing Units and Programming Languages
System Programming.
D. Silakov. Using Hardware-Assisted Virtualization to Protect Application Address Space Inside Untrusted.
Environment.
R. Sokolov, A. Ermolovich. Background Optimization in Full System Binary Translation.
A. Sivov, V. Sokolov. The ARTCP Header Structure, Computation and Processing in the Network Subsystem of Linux Kernel.
Information Representation, Search and Reasoning.
A. Korotkov. A New Double Sorting-Based Node Splitting Algorithm for R-Tree.
V. Fedotov. Fuzzy Matching for Partial XML Merge.
E. Stepalina. High-level Data Access Based on Query Rewritings.
P. Ermakov, O. Kozhunova. Application of the Functional Programming Tools in the Tasks of Language and Interlanguage Structures Representation.
Static Verification and Analysis of Programs.
P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST.
A. Ermakov, N. Kushik. Detecting C Program Vulnerabilities.
M. Alekseeva, E. Dashkova. Model Checking Approach to the Correctness Proof of Complex Systems.
Programming Languages, Methods and Tools.
Y. Okulovsky. Thorn Language: a Flexible Tool for Code Generation.
E. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C Programming Language.
A. Shakurov. Component-Based Software Engineering and Runtime Type Definition.
Software Engineering Education.
O. Maksimenkova, V. Podbelskiy. Educational Tests in Programming Academic Subject Development.
Automata Theory.
O. Kondratyeva, M. Gromov. The Parallel Composition of Timed Finite State Machines.
R. Galimullin, N. Shabaldina. Separating Non-Deterministic Finite State Machines with Time-outs.
Testing of Software and Hardware Systems.
N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols.
M. Chupilko. Developing Test Systems for Multi-Modules Hardware Designs.
Application-Specific Methods and Tools.
A.Gorbenko, V. Popov. Programming for Modular Reconfigurable Robots.
E.Chemeritskiy, K. Savenkov. Towards a Real-Time Simulation Environment on the Edge of Current Trends.
Computer Graphics and Vision.
A. Gorbenko, M. Mornev, V Popov. The Problem of Placement of Visual Landmarks.
M. Belov. Hand Recognition in Live-Streaming Video.
M. Rovkin, E. Yel'chugin, M. Filatova. 3D-Illusion Constructor.