May 29, 2019




Welcome Speech


Invited Talk 1


Recent Trends in Static Analysis
Andrey Belevantsev (ISP RAS, Russia)


Coffee Break


Programming Languages and Frameworks


Tolerant Parsing Using Modified LR(1) and LL(1) Algorithms with Embedded "Any" Symbol

Alexey Goloveshkin (Southern Federal University)


Development of a Software Framework for Real-Time Management of Intelligent Devices

Tamara Naumović, Lazar Živojinović, Luka Baljak, and Filip Filipović (University of Belgrade, Serbia)


Graphic DSL for Mobile Development
Artur Gudiev and Alexandra Grazhevskaya (Saint Petersburg State University)


Graphical Modeling of Control Systems Based on Eclipse Technologies
Mariia Platonova (Saint Petersburg State University)


Component-Based Software as a Tool for Developing Complex Distributed Heterogeneous Systems
Dmitry Kulikov, Vasilii Mokhin, and Sergey Zolotov (Rapid Telecom System Labs LLC)




Microprocessor Modeling and Verification


An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of "Elbrus" Microprocessors
Pavel Poroshin and Aleksey Meshkov (MCST, INEUM)


Test Program Development for Multilevel Verification
Pavel Frolov (MCST, INEUM)


Test Environment for Verification of Multi-Processor Memory Subsystem Unit
Dmitriy Lebedev and Mikhail Petrochenkov (MCST)


Standalone Verification of IOMMU with Virtualization Supporting
Anton Petrykin, Irina Stotland, and Aleksey Meshkov (MCST)


Application-Specific Methods and Tools


Digital Modelling of Production Engineering for Metalworking Machine Shops

Vsevolod Kotlyarov, Alexey Maslakov, and Alexey Tolstoles (Peter the Great Saint Petersburg Polytechnic University)


Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them
Mikhail Nosovskiy and Konstantin Degtiarev (Higher School of Economics)


Coffee Break


Application-Specific Methods and Tools (cont.)


The Application of Machine Learning to Improve the Efficiency and Management of Oil Wells
Zayar Aung and Ilya Mikhaylov (Moscow Power Engineering Institute)


Power Dispatcher Support System
Dmitri Nazarkov and Alexey Prutik (Bauman Moscow State Technical University)


Social Event (Excursion)

May 30, 2019


Invited Talk 2


Ten Years of Formal Verification at Fraunhofer FOKUS
Jens Gerlach (Fraunhofer FOKUS, Germany)


Coffee Break


Formal Verification


Applying High-Level Function Loop Invariants for Machine Code Deductive Verification

Pavel Putro (ISP RAS)


Extracting Assertions for Conflicts in HDL Descriptions

Mikhail Lebedev, Sergey Smolov, and Alexander Kamkin (ISP RAS)


Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking
Sergey Staroletov (Polzunov Altai State Technical University)


The Editor for Teaching the Proof of Statements for Sets
Vadim Rublev and Vladislav Bondarenko (Demidov Yaroslavl State University)


Combinatorial Optimization


Local Search Metaheuristics for Solving Capacitated Vehicle Routing Problem
Ekaterina Beresneva and Sergey Avdoshin (Higher School of Economics)


The Generalized Traveling Salesman Problem: Modifications and Ways of Solving
Mariia Gordenko and Sergey Avdoshin (Higher School of Economics)


Construction Heuristics for Capacitated VRP: A Comparison Study
Ekaterina Beresneva and Sergey Avdoshin (Higher School of Economics)


Solving the Generalized Traveling Salesman using Ant Colony Algorithm with Improvement Local Search Procedures
Anastasia Inkina and Mariia Gordenko (Higher School of Economics)




Blockchain and Smart Contracts


Administration of Virtual Data Processing Center over OpenFlow
Vladimir Solovyev and Aleksandr Belousov (Saratov State University)


A Survey of Smart Contract Safety and Programming Languages
Alexey Tyurin, Ivan Tyulyandin, Vladimir Maltsev, Iakov Kirilenko, and Daniil Berezun (Saint Petersburg State University)


Ethereum Blockchain Analysis using Node2Vec
Aleksander Salnikov and Evgenia Sivets (Higher School of Economics)


A Tool for Identification of Unusual Wallets on Ethereum Platform
Mikhail Petrov and Rostislav Yavorskiy (Higher School of Economics)


Safety and Security


Vulnerabilities Detection via Static Taint Analysis
Nikita Shimchik and Valery Ignatyev (ISP RAS)


C# Parser for Extracting Cryptographic Protocols Structure from Source Code
Ilya Pisarev and Liudmila Babenko (Southern Federal University)


Fabless-Companies Data Security While using Cloud Services
Adelina Akhmedzianova (Kazan Federal University), Alexey Budyakov (Bauman Moscow State Technical University), and Sergey Svinarev (Rostov Law Institute of the Ministry of Internal Affairs of the Russian Federation)


Artificial Intelligence in Web Attacks Detecting
Maxim Gromov, Svetlana Prokopenko, Natalia Shabaldina, and Alexander Sotnikov (Tomsk State University)


Coffee Break


Databases and Information Search


SQLite RDBMS Extension for Data Indexing Using B-Tree Modifications
Anton Rigin and Sergey Shershakov (Higher School of Economics)


Supporting Evolutionary Concepts to Organize Information Search in the Internet
Alexander Marenkov, Sergey Kosikov, and Larisa Ismailova (Institute YurInfor-MSU)


Social Event (Boat Trip & Banquet)

May 31, 2019


Invited Talk 3


Academic Writing in Software Engineering (in Russian)
Dmitry Koznov (Saint Petersburg State University, Russia)


Coffee Break


FSMs and Petri Nets


Deriving Test Suites with Guaranteed Fault Coverage Against Nondeterministic Finite State Machines with Timed Guards and Timeouts
Aleksandr Tvardovskii (Tomsk State University) and Nina Yevtushenko (ISP RAS)


Simulating Petri Nets with Inhibitor and Reset Arcs
Pavel Pertsukhov and Alexey Mitsyuk (Higher School of Economics)


Computing Transition Priorities for Live Petri Nets
Kirill Serebrennikov (Higher School of Economics)


Method for Building UML Activity Diagrams from Event Logs
Natalia Zubkova and Sergey Shershakov (Higher School of Economics)


Parallel Programming


“Life” in Tensors: Implementing Cellular Automata on Graphics Adapters
Natalia Shalyapina and Maxim Gromov (Tomsk State University)


Modeling of Angular Stabilization System on Processors with Scalable Architecture
Dmitry Melnichuk (Saratov State University)


Closing Session



Invited Talks

Andrey Belevantsev (Ivannikov Institute for System Programming of RAS, Russia)
Recent Trends in Static Analysis

Static analyzers for finding program defects have found their niche in the line of production tools improving program quality. A number of well-established commercial and open source projects exist and are widely used. But the related static analysis research is not drowsing because of that, and it produces many potentially far reaching techniques that improve the classical analysis methods as well as build upon them something completely new.  In this talk we will give a number of examples of such research that we are working on now and plan to explore in the near future within the Svace static analyzer collection.

Andrey Belevantsev is the leading researcher at the Compiler Technology Department of ISP RAS. He got his Dr.Sc. (2018) and Ph.D. (2008) from ISP RAS on the topics of static analysis and speculative compiler optimizations. He leads ISPRAS-Samsung joint laboratory that is focused on various system programming infrastructure projects such as static analysis and optimization tools for Android and Tizen environments. His research interests include compiler optimizations, toolchains improvement for productivity and performance, and various static analysis applications.

Jens Gerlach (Fraunhofer FOKUS, Germany)
Ten Years of Formal Verification at Fraunhofer FOKUS

In my presentation, I will talk about the applied research conducted at Fraunhofer FOKUS in the field of formal verification. Our work is closely related with the Frama-C static analysis platform and was originally motivated to complement process-based quality assurance activities for safety-critical systems. Gradually, the focus of our work shifted to security-critical systems where, among others, we are using Frama-C to prove the absence of runtime errors in C code. We have also been engaged in the creation and maintenance  of "ACSL by Example" — an extensive collection of formally verified classic algorithms implemented in C. Finally, I will talk about our efforts to execute computationally expensive components of Frama-C as a cloud-based verification service.

Dr. Jens Gerlach is head of the Verification group at Fraunhofer FOKUS. He is also responsible for the business domain Railway at Fraunhofer FOKUS. Jens Gerlach studied at Humboldt University in Berlin and joined the institute in 1992. From 1996 to 1999 he was senior researcher of the Real World Computing Partnership in Tsukuba, Japan. After his return to Fraunhofer he worked as project leader of various industry and research projects. In 2002 he received his Ph.D. from TU Berlin on the subject of domain engineering and generic programming. The focus of his work is quality assurance projects for critical embedded systems. His area of research encompasses formal methods and static software analysis methods for such systems.

Dmitry Koznov (Saint Petersburg State University, Russia)
Academic Writing in Software Engineering

Being able to write good papers is an essential skill in academia, yet it is not an easy one to master for students and young developers. Software engineering being a highly practical area makes the task even more diffcult for them. Despite a tight connection between research and industrial activities, the two differ greatly from each other. The challenge here is to carry out research which would be relevant from both an academic and a practical point of view as well as to write high quality papers. The lecture is going to discuss some patterns of software engineering research presenting both good and bad examples. The organisation of a standard academic software engineering paper will be outlined and a number of typical errors made by young Russian researchers will be analysed.

Dmitry Koznov graduated with honours from St Petersburg State University (SPbSU), Faculty of Mathematics and Mechanics, in 1994. Between 1994 and 2000 he worked in various positions (developer, manager, department head) in a number of industrial companies in the area of creating software development tools. In 2000 Dmitry went back to SPbSU to enrol in a postgraduate programme. Upon completing the course and defending his thesis, he received a PhD degree in 2002. Since then he has been working at SPbSU first as an assistant professor (2002-2008), then an associate professor (2008-2017), and finally as a full professor (2017 till present). In 2016 he was awarded the degree of Doctor of Engineering. Dmitry has taken part in a number of R&D and industrial projects in the areas of model-driven development and software documentation. He functioned as a coordinator for the SPbSU representatives in international research projects within the Source-East Finland-Russia ENPI CBC Programme (2011-2013) and the Nordic Council of Ministers Programme (2010-2011). Dmitry has also been a supervisor of 6 research projects supported by the Russian Foundation for Basic Research (RFBR) and has won research and educational grants from Microsoft, Hewlett-Packard, Intel, the government of St Petersburg, etc. He has acted as an academic supervisor for 6 postgraduate students who have defended their PhD theses. His current areas of research are software documentation and near duplicate detection. Dmitry has been a visiting professor at the NUS (Singapore, 2002), the LUT (Finland, 2016), the SUSTech (Chine, 2018).