TALK AUTHOR INDEX

Shortcuts: B C D E F G H I J K M N O P R S T V X Y Z

B
Baar, Thomas
Bal, Henri	Bonsai: Cutting Models Down to Size
Bendaas, Issam
Bodin, Evgeny	A Multi-agent Text Analysis Based on Ontology of Subject Domain
Boulytchev, Dmitri	Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Bryans, Jeremy W.	A proof-based method for modelling timed systems
Bushin, Dmitry	Comparing Semantics under Strong Timing of Petri Nets
C
Chen, Yifei	Verification of Temporal Properties of Hybrid Systems Using dMTL
Cherednik, Kirill	The study of multidimensional R-Tree -based index scalability in multicore environment
Clarke, Ed	Model Checking and the Verification of Computer Systems
D
Dever, Michael	Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Dragan, Ioan	Lingva: Generating and Proving Program Properties using Symbol Elimination
Dubinin, Victor	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
E
Emelyanov, Pavel	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
Erokhin, George	The study of multidimensional R-Tree -based index scalability in multicore environment
F
Fedotovsky, Pavel	The study of multidimensional R-Tree -based index scalability in multicore environment
Fokkink, Wan	Bonsai: Cutting Models Down to Size
G
Garanina, Natalia	A Multi-agent Text Analysis Based on Ontology of Subject Domain
George, Chernishev	The study of multidimensional R-Tree -based index scalability in multicore environment
Gnesi, Stefania	Model Checking Value-Passing Modal Specifications
Gorlatch, Sergei	Towards High-Level Programming for Systems with Many Cores
Grechanik, Sergei	Inductive Prover Based on Equality Saturation for a Lazy Functional Language
Gribovskaya, Natalya	Timed History Preserving Bisimulation and Open Maps
Gruska, Damas	Process Opacity
Guldstrand Larsen, Kim	Decidability and Expressiveness of Recursive Weighted Logic
H
Hamilton, Geoff	Asymptotic Speedups, Bisimulation and Distillation Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Hidalgo-Herrero, Mercedes	The role of indirections in lazy natural semantics
Hoare, Tony	The Laws of Concurrent Programming
Hou, Ping	Verification of Temporal Properties of Hybrid Systems Using dMTL
I
Iliasov, Alexei	A proof-based method for modelling timed systems
J
Jones, Neil	Asymptotic Speedups, Bisimulation and Distillation
K
Khoroshilov, Alexey	Modeling Environment for Static Verification of Linux Kernel Modules
Klyuchnikov, Ilya	Certifying supercompilation for Martin-Löf's type theory
Korovina, Margarita	Index sets as a measure of continuous constraint complexity
Kotov, Vadim	Big Data, Big Systems, Big Challenges (A Personal Experience)
Kovacs, Laura	Lingva: Generating and Proving Program Properties using Symbol Elimination
Kudinov, Oleg	Index sets as a measure of continuous constraint complexity
M
Mardare, Radu	Decidability and Expressiveness of Recursive Weighted Logic
Martynovich, Vitaly	Probabilistic formal concepts for contexts with negation
Mazzanti, Franco	Model Checking Value-Passing Modal Specifications
Meyer, Bertrand	Preserving class invariants in object-oriented programming
Mironov, Andrew
Mogensen, Torben	Supercompilation for Datatypes
Mohamadian, Habib
Mutilin, Vadim	Modeling Environment for Static Verification of Linux Kernel Modules
N
Nepeivoda, Antonina
Novikov, Evgeny	Modeling Environment for Static Verification of Linux Kernel Modules
O
Ortega-Mallén, Yolanda	The role of indirections in lazy natural semantics
P
Pang, Cheng	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Patil, Sandeep	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Plümicke, Martin	More type inference in Java 8
Podkopaev, Anton	Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Ponomaryov, Denis	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
R
Romanenko, Sergei A.	Certifying supercompilation for Martin-Löf's type theory
S
Sane, Aamod	Skeblle: A Tool for Programmable Active Diagrams
Sassone, Vladimiro	Languages and types for linked data
Sidorova, Elena	A Multi-agent Text Analysis Based on Ontology of Subject Domain
Smirnov, Kirill	The study of multidimensional R-Tree -based index scalability in multicore environment
Steuwer, Michel	Towards High-Level Programming for Systems with Many Cores
Sunkara, Vinodh Kumar	Skeblle: A Tool for Programmable Active Diagrams
Sánchez Gil, Lidia	The role of indirections in lazy natural semantics
T
Ter Beek, Maurice H.	Model Checking Value-Passing Modal Specifications
Thiemann, Peter	Towards Specializing JavaScript Programs
V
Veanes, Margus	Symbolic String Transformations with Regular Lookahead and Rollback
Verstoep, Kees	Bonsai: Cutting Models Down to Size
Vidal, German	Towards Symbolic Execution in Erlang
Vijzelaar, Stefan	Bonsai: Cutting Models Down to Size
Virbitskaite, Irina	Comparing Semantics under Strong Timing of Petri Nets
Vityaev, Evgenii	Probabilistic formal concepts for contexts with negation
Voronkov, Andrei	Conference Opening
Vyatkin, Valeriy	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
X
Xue, Bingtian	Decidability and Expressiveness of Recursive Weighted Logic
Y
Ye, Zhengmao
Z
Zakharov, Ilja	Modeling Environment for Static Verification of Linux Kernel Modules