SPLST'11 PROGRAMME
Wednesday, Oct 5
| 8:45 - 9:00 |
REGISTRATION |
| 9:00 - 10:30 |
Chair: Jaan Penjam Invited talk
Why Dependent Types Matter
Thorsten Altenkirch, Sch of Computer Science, Univ of Nottingham, UK
|
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 |
Session 1: Language Design and Compilation
Chair: Tarmo Uustalu
- Towards More Scalable C++ Concept Maps
Zalán Szũgyi, Norbert Pataki and Zoltán Porkoláb
- Purely Functional Global Variables
Härmel Nestra
- Compiler Support for Profiling C++ Template Metaprograms
József Mihalicza, Norbert Pataki and Zoltán Porkoláb
|
| 12:30 - 14:00 | Lunch |
| 14:00 - 16:00 |
Session 2: Development Tools
Chair: Varmo Vene
- Database-driven Tool Support for DisCo Executable Specifications
Jyrki Nummenmaa and Timo Nummenmaa
- DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment
Yngve Lamo, Florian Mantz, Adrian Rutle, Øyvind Bech and Xiaoliang Wang
- The INTEGRA Tool Integration Framework
Balázs Polgár, István Ágoston, Gergely Juhász and István Majzik
- Simpl: a Toolkit for Rapid DSL Implementation
Margus Freudenthal and David Pugal
|
| 16:00 - 16:30 | Coffee break |
| 16:30 - 18:30 |
Session 3: Agents, Architecture
Chair: James Chapman
- A Model for Language-Independent Mobile Agents
Stanislav Muhametsin, Mikko Vartiala and Jari Peltonen
- Layered Artificial Intelligence Framework for Autonomous Agents
Teemu J. Heinimäki and Juha-Matti Vanhatupa
- Interleaving Human and Search-based Software Architecture Design
Sriharsha Vathsavayi, Hadaytullah Hadaytullah and Kai Koskimies
- Class and Object Model Conformance using OWL2 Reasoners
Ali Hanzala Khan, Espen Suenson and Ivan Porres
|
Thursday, Oct 6
| 9:00 - 10:30 |
Session 4: Program Analysis, Runtime Verification
Chair: András Hajdu
- RefactorErl - Source Code Analysis and Refactoring in Erlang
István Bozó, Dániel Horpácsi, Zoltán Horváth,
Róbert Kitlei, Judit Köszegi, Máté Tejfel and Melinda Tóth
- Bounded Saturation Based CTL Model Checking
András Vörös, Dániel Darvas and Tamás Bartha
- Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
István Majzik and Gergö Horányi
|
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 |
Chair: Antti Valmari Invited talk
Answer Set Programming: A Declarative Approach to
Solving Challenging Search Problems
Ilkka Niemelä, Dept of Information and Computer Science, Aalto Univ, Finland
|
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:30 |
Session 5: Misc
Chair: Zoltán Porkoláb
- Does the Shannon Bound Really Apply to Data Structures?
Antti Valmari
- An Approach to Inference of Finite State Machines Based on
Gravitationally-inspired Search Algorithm
Margarita Spichakova
- Personalized Side-Quest Generation for Computer Role-Playing Games
Juha-Matti Vanhatupa
|
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:00 |
Session 6: Process Metrics
Chair: Marlon Dumas
- Adjusting Effort Estimation Using Micro-Productivity Profiles
Gabriella Tóth, Ádám Zoltán Végh, Árpád Beszédes,
Lajos Schrettner, Tamás Gergely and Tibor Gyimóthy
- Quantitative System Reliability Approach for Optimizing IT Security
Costs in an AI Environment
Geert Alberghs, Pavel Grigorenko and Jyri Kivimaa
|
| 17:30 - 19:00 | Excursion (mainly by bus, approx 1,5 hours)
|
| 19:00 - ... | Banquet* in
MEKK Ateljee (Hotel Bern, Aia 10, Tallinn)
|
Friday, Oct 7
| 9:00 - 10:30 |
Chair: Jari Peltonen
Invited talk
Component Reuse in Ensemble-based Medical Image Processing Applications
Bálint Antal and András Hajdu,
Dept of Computer Graphics and Image Processing, Univ of Debrecen, Hungary
|
| 10:30 - 10:45 | Coffee break |
| 10:45 - 12:15 |
Session 7: Testing
Chair: Kai Koskimies
- Extended Choice Relation Framework for Workflow Testing
Kam-Seng Ho, Marlon Dumas, Luciano García-Bañuelos and Yain-Whar Si
- Layout Independent GUI Test Automation Tool for Applications Developed in Magic/uniPaaS
Daniel Fritsi, Csaba Nagy, Rudolf Ferenc and Tibor Gyimóthy
- Towards More Reliable C++ Template Metaprograms
Ábel Sinkovics, Endre Sajó and Zoltán Porkoláb
|
| 12:30 - 14:00 | Lunch |
| 14:00 - ... | Theory Days (at Tõrve, Jõgevamaa) |
Last changed
October 6, 2011 17:06 EET
by
local organizers, splst11(at)cs.ioc.ee
SPLST'11 page:
http://cs.ioc.ee/splst11/