| Vol-2135 urn:nbn:de:0074-2135-4 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SEIM 2018
Software Engineering and Information Management

### Proceedings of the Third Conference on Software Engineering and Information Management (full papers)

### Saint Petersburg, Russia, April 14, 2018.

Edited by

### Yurii Litvinov, St.Petersburg State University, Russia
Marat Akhin, Peter the Great St.Petersburg Polytechnic University, Russia
Boris Novikov, St.Petersburg State University, Russia
Vladimir Itsykson, Peter the Great St.Petersburg Polytechnic University, Russia

The Third Conference on Software Engineering and Information Management (SEIM-2018) opens its doors to young researchers and practitioners in different areas of computer science and software engineering, providing an opportunity to present their research, discuss state-of-the-art technology and engage in useful networking. We consider SEIM-2018 to mainly focus on researchers who are just starting out their scientific careers, and hope to ease their introduction to the conference process. On the other hand, SEIM might also be of interest to more experienced researchers, who are aimed at sharing their research with a wider scientific community.

These proceedings include the SEIM-2018 papers, which were selected by the Program Committee for publication in CEUR-WS.org. These papers passed not only the original review procedure, but also an additional round of post-review with the conference feedback. The additional information about the SEIM conference series can be found on the conference website at: http://2018.seim-conf.org/

## Table of Contents

- Preface

- Electromyography signals processing for gait phase recognition 6-12
  Georgiy Zhemelev
- Design and testing of LXC-based virtualization system for resource-constrained MIPS devices 13-21
  Maxim Menshchikov
- An optimistic approach to handle out-of-order events within analytical stream processing 22-29
  Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov
- Keyword extraction from single Russian document 30-36
  Mikhail Sandul, Elena Mikhailova
- Data-based code synthesis in IntelliJ IDEA 37-43
  Vladislav Tankov, Timofey Bryksin
- SMT-based analysis of constraints on .NET types
  (Использование SMT-решателей для анализа систем ограничений на .NET-типы) 44-52
  Aleksandr V. Misonizhnik (Александр Мисонижник), Dmitry A. Mordvinov (Дмитрий Мордвинов)
- On-the-fly filtering of aggregation results in column-stores 53-60
  Anastasia Tuchina, Valentin Grigorev, George Chernishev
- Development of software package for data analysis of acoustic emission control 61-66
  Victoria Belousova, Anastasia Grigorieva

We offer a BibTeX file for citing papers of this workshop from LaTeX.

2018-06-15: submitted by Yurii Litvinov, metadata incl. bibliographic data published under Creative Commons CC0
2018-07-10: published on CEUR-WS.org |valid HTML5|