08:25-08:30
Welcome
08:30-09:30
Javier Esparza (Technische Universität München, Germany).
Polynomial Analysis Algorithms for Free-Choice Workflow Nets.
(slides:
pptx
)
(Invited talk)
09:30-10:00
Allan Blanchard, Frédéric Loulergue, and Nikolai Kosmatov.
From Concurrent Programs to Sequential Simulating Programs: Correctness of a Transformation.
(preprint
,
slides:
)
10:00-10:30
Coffee Break
10:30-11:30
Manuel Hermenegildo (IMDEA Software Institute, Madrid, Spain).
Energy Consumption Analysis and Verification.
(slides:
)
(Invited talk)
11:30-12:00
Vincent Nys, Danny De Schreye.
Transforming Coroutining Logic Programs into Equivalent CHR Programs.
(preprint
,
slides:
)
12:00-12:30
Alexei Lisitsa, Andrei Nemytykh.
Verifying Programs via Intermediate Interpretation.
(preprint
,
slides:
)
12:30-14:00
Lunch
14:00-15:00
Alexey Khoroshilov (Linux Verification Center, ISPRAS, Moscow, Russia).
Software Model Checking of Linux Device Drivers.
(slides:
)
(Invited talk)
15:00-15:30
Gyula Sallai, Ákos Hajdu, Tamás Tóth, and Zoltán Micskei.
Towards Evaluating Size Reduction Techniques for Software Model Checking.
(preprint
,
slides:
)
15:30-15:50
Coffee Break
15:50-16:20
Nikolay Shilov.
Etude on Recursion Elimination by Program Manipulation and Problem Analysis.
(preprint
,
slides:
)
16:20-16:50
Geoff Hamilton.
Generating Loop Invariants for Program Verification by Transformation.
(preprint
,
slides:
)
16:50-17:20
Dániel Horpácsi, Judit Kőszegi, and Zoltán Horváth.
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.
(preprint
,
slides:
)
17:20-17:30
Closing