| June 27 (Tuesday) |
| Registration 9:00-9:30 |
| Greetings 9:30-10:00 |
| Invited Talk (1) 10:00-11:00 |
Sriram Rajamani. Trusted Cloud: How to make the cloud more secure. |
| Coffee break (1) 11:00-11:20 |
| Software (1) 11:20-12:50 (Evgeny Novikov) |
Umutcan Şimşek, Elias Kärle, Omar Holzknecht and Dieter Fensel. Domain Specific Semantic Validation of Schema.org Annotations. |
| Natalia Fursova, Pavel Dovgalyuk, Ivan Vasiliev and Vladimir Makarov. Lightweight Non-Intrusive Virtual Machine Introspection. |
| Andrey Belevantsev and Arutyun Avetisyan. Multi-level static analysis for finding error patterns and defects in source code. |
| Lunch 12:50-13:50 |
| Software (2) 13:50-15:20 (Andrey Belevantsev) |
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin and Larisa Safina. Microservices: How To Make Your Application Scale. |
| Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi and Eugene Zouev. An architecture for non-invasive software measurement. |
| Bastian Hagedorn, Michel Steuwer and Sergei Gorlatch. A Transformation-Based Approach for Developing High-Performance GPU Programs. |
| Mikhail Mandrykin and Alexey Khoroshilov. A Memory Model for Deductively Verifying Linux Kernel Modules. |
| Coffee break (2) 15:20-15:40 |
| Algorithms (1) 15:40-17:10 (Margarita Korovina) |
Flavio Ferrarotti, Klaus-Dieter Schewe and Loredana Tec. A Behavioural Theory for Reflective Sequential Algorithms. |
| Guillaume Voiron, Olga Kouchnarenko, Jacques Julliand and Pierre-Alain Masson. Approximating Event System Abstractions by Covering their States and Transitions. |
| Vladimir Pavlov and Vadim Pak. WhaleProver: first-order intuitionistic theorem prover based on the inverse method. |
| 17:10 Social event |
| June 28 (Wednesday) |
| Registration 9:00-9:30 |
| Invited Talk (2) 9:30-10:30 |
Andrei Sabelfeld. Taint Tracking without Tracking Taints. |
| Coffee break (3) 10:30-10:50 |
| Software (3) 10:50-12:50 (Nikolay Pakulin) |
Stefan Brass and Heike Stephan. Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method. |
| Valeriy Savchenko and Alexander Volkov. Statistical Approach to Increase Source Code Completion Accuracy. |
| Denis Nikiforov, Dmitriy Korj and Ruslan Sivakov. An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language. |
| Efim Grinkrug. A Framework for Dynamical Construction of Software Components. |
| Lunch 12:50-13:50 |
| Data bases 13:50-15:00 (Vitaly Semenov) |
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov and Kirill Smirnov. PosDB: a distributed column-store engine. |
| Valeriy Chernenkiy, Yury Gapanyuk, Anatoly Nardid, Anton Gushcha and Yuriy Fedorenko. The hybrid multidimensional-ontological data model based on metagraph approach. |
| Eugene Sharygin, Ruben Buchatskiy, Roman Zhuykov and Arseny Sher. Runtime Specialization of PostgreSQL Query Executor. |
| Coffee break (4) 15:00-15:20 |
| Algorithms (2) 15:20-16:50 (Victor Kuliamin) |
Sergey Morozov, Vitaly Semenov, Oleg Tarlapan and Vladislav Zolotov. Indexing of hierarchically organized spatial-temporal data using dynamic regular octrees. |
| Margarita Korovina and Oleg Kudinov. Highlights of the Rice-Shapiro Theorem in Computable Topology. |
| Gorkem Pacaci, Andreas Hamfelt and Steve McKeever. Compositional Relational Programming With Nominal Projection and Compositional Synthesis. |
| 16:50 Social event (Tour of Moscow) |
| 17:00 – 18:30 SIS Workshop (in Russian) |
Ekaterina Lavrishcheva. Scientific foundations of programs and systems. |
| Boris Pozin. The Principles of Life Cycle Supporting System for Mission-Critical Systems. |
| Igor Burdonov, Alexander Kosachev, Victor Kuliamin, Victor Shnitman and Alexander Tomilin. Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs. |
| Sergey Staroletov. Towards the methods of analysis malicious applications for Android operating system. |
| Hayk Aslanyan and Shamil Kurmangaleev, at al. Scalable framework for binary code comparison. |
| Leonid Karpov and Valery Yudin. Dealing with not Fully Described Objects in Decision Support Systems: Alternative Approaches. |
| June 29 (Thursday) |
| Registration 9:00-9:30 |
| Invited Talk (3) 9:30-10:30 |
Michael Gerard Hinchey. Building Resilient Space Exploration Systems. |
| Coffee break (5) 10:30-10:50 |
| Big Data 10:50-12:50 (Sergei Kuznetsov) |
Dmitry Shachnev and Dmitry Karpenko. Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation. |
| Ramon Antonio Rodriges Zalipynis. Distributed in situ Processing of Big Raster Data in the Cloud. |
| Natalia Garanina, Elena Sidorova and Irina Kononenko. Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population. |
| Pamela Carvallo, Ana Cavalli and Wissam Mallouli. Multi-cloud applications security monitoring. |
| Lunch 12:50-13:50 |
| Software (4) 13:50-15:00 (Efim Grinkrug) |
Marcel Toussaint and Thomas Baar. Enriching a textual Xtext-DSL with a graphical GEF-based editor. |
| Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi and Federico Vicentini. A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications. |
| Andrei Tatarnikov and Alexander Kamkin. MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors. |
| Coffee break (4) 15:00-15:20 |
| Software (5) 15:20-17:20 (Vadim Mutilin) |
Dmitry Kondratyev. Implementing the symbolic method of verification in the C-light project. |
| Mikhail Ermakov. Static Binary Code Instrumentation for ARM Architecture. |
| Magne Haveraaen. Domain Engineering the Magnolia Way. |
| Ilja Zakharov and Evgeny Novikov. Towards Automated Static Verification of GNU C Programs. |
| 17:20 Social event |
