Екатеринбург, 2011. – 146 с.
Труды 5-ого весеннего/летнего коллоквиума молодых исследователей в
области программной инженерии (SYRCoSE 2011), 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. Сборник содержит статьи, представленные на 5-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии, проводимом в Екатеринбурге 12-13 мая 2011 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: системное программирование; статическая верификация и анализ программ; языки, методы и инструменты программирования; тестирование программных и аппаратных систем; теория автоматов; компьютерная графика и другие. Contents:
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 Keel.
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. Tho 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 Inteet 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. Moev, 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.
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. Сборник содержит статьи, представленные на 5-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии, проводимом в Екатеринбурге 12-13 мая 2011 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: системное программирование; статическая верификация и анализ программ; языки, методы и инструменты программирования; тестирование программных и аппаратных систем; теория автоматов; компьютерная графика и другие. Contents:
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 Keel.
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. Tho 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 Inteet 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. Moev, 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.