Москва, Россия
27.06 - 29.06, 2017

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



Высшая школа экономики

Институт систем информатики им. А.П. Ершова СО РАН

Новосибирский государственный университет

При поддержке

Российская академия наук





Программа Международной Ершовской конференции по информатике PSI-2017

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 Umutcan Şimşek, Elias Kärle, Omar Holzknecht and Dieter Fensel. Domain Specific Semantic Validation of 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 (1) 11:20-12:50 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.
Ilja Zakharov and Evgeny Novikov. Towards Automated Static Verification of GNU C 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 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 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 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 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 Rise-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)

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 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 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 Dmitry Kondratyev. Implementing the symbolic method of verification in the C-light project.
Mikhail Ermakov. Static Binary Code Instrumentation for ARM Architecture.
Bastian Hagedorn, Michel Steuwer and Sergei Gorlatch. A Transformation-Based Approach for Developing High-Performance GPU Programs.
Magne Haveraaen. Domain Engineering the Magnolia Way.
17:20 Social event