PSI 2014: ERSHOV INFORMATICS CONFERENCE

PROGRAM FOR TUESDAY, JUNE 24TH: TALK VIEW

Days:
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
23:00
09:00-09:25
Conference Opening
Andrei Voronkov
09:25-10:25
Preserving class invariants in object-oriented programming
Bertrand Meyer
10:55-11:20
Towards High-Level Programming for Systems with Many Cores
Sergei Gorlatch, Michel Steuwer
11:20-11:45
Symbolic String Transformations with Regular Lookahead and Rollback
Margus Veanes
11:45-12:10
Skeblle: A Tool for Programmable Active Diagrams
Vinodh Kumar Sunkara, Aamod Sane
12:10-12:35
Modeling Environment for Static Verification of Linux Kernel Modules
Ilja Zakharov, Evgeny Novikov, Vadim Mutilin, Alexey Khoroshilov
12:35-12:50
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Anton Podkopaev, Dmitri Boulytchev
14:00-15:00
The Laws of Concurrent Programming
Tony Hoare
15:00-15:15
More type inference in Java 8
Martin Plümicke
15:15-15:30
Towards Symbolic Execution in Erlang
German Vidal
15:30-15:45
Lingva: Generating and Proving Program Properties using Symbol Elimination
Ioan Dragan, Laura Kovacs
15:45-16:00
The study of multidimensional R-Tree -based index scalability in multicore environment
K. Smirnov, C. George, P. Fedotovsky, G. Erokhin, K. Cherednik
16:30-16:55
Supercompilation for Datatypes
Torben Mogensen
16:55-17:20
Certifying supercompilation for Martin-Löf's type theory
Ilya Klyuchnikov, Sergei A. Romanenko
17:20-17:45
Towards Specializing JavaScript Programs
Peter Thiemann
17:45-18:10
Inductive Prover Based on Equality Saturation for a Lazy Functional Language
Sergei Grechanik
18:10-18:25
Asymptotic Speedups, Bisimulation and Distillation
Neil Jones, Geoff Hamilton
18:25-18:40
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Michael Dever, Geoff Hamilton
10:25-10:55 Coffee Break
13:00-14:00 Lunch Break
16:00-16:30 Coffee Break
19:00-23:00 Welcome Party
Disclaimer | Powered by EasyChair Smart Program