Moscow, Russia
June 27-29, 2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Organizers

ISP RAS

Higher School of Economics

A.P. Ershov Institute of Informatics Systems

Novosibirsk State University

With the support of

Russian Academy of Sciences

The Federal Agency for Scientific Organizations

Media partners

Рамблер

Открытые системы

Экспертный центр электронного государства

PC Week

All media partners


Contacts

E-mail: psiconf2017@gmail.com

Conference programme

June 27-29, 2017

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