12th Symposium on Programming Languages and Software Tools - SPLST'11

Tallinn, Estonia, October 5-7, 2011


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:00Coffee break
11:00 - 12:30 Session 1: Language Design and Compilation
Chair: Tarmo Uustalu
  1. Towards More Scalable C++ Concept Maps
    Zalán Szũgyi, Norbert Pataki and Zoltán Porkoláb
  2. Purely Functional Global Variables
    Härmel Nestra
  3. Compiler Support for Profiling C++ Template Metaprograms
    József Mihalicza, Norbert Pataki and Zoltán Porkoláb
12:30 - 14:00Lunch
14:00 - 16:00 Session 2: Development Tools
Chair: Varmo Vene
  1. Database-driven Tool Support for DisCo Executable Specifications
    Jyrki Nummenmaa and Timo Nummenmaa
  2. DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment
    Yngve Lamo, Florian Mantz, Adrian Rutle, Øyvind Bech and Xiaoliang Wang
  3. The INTEGRA Tool Integration Framework
    Balázs Polgár, István Ágoston, Gergely Juhász and István Majzik
  4. Simpl: a Toolkit for Rapid DSL Implementation
    Margus Freudenthal and David Pugal
16:00 - 16:30Coffee break
16:30 - 18:30 Session 3: Agents, Architecture
Chair: James Chapman
  1. A Model for Language-Independent Mobile Agents
    Stanislav Muhametsin, Mikko Vartiala and Jari Peltonen
  2. Layered Artificial Intelligence Framework for Autonomous Agents
    Teemu J. Heinimäki and Juha-Matti Vanhatupa
  3. Interleaving Human and Search-based Software Architecture Design
    Sriharsha Vathsavayi, Hadaytullah Hadaytullah and Kai Koskimies
  4. 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
  1. 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
  2. Bounded Saturation Based CTL Model Checking
    András Vörös, Dániel Darvas and Tamás Bartha
  3. Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
    István Majzik and Gergö Horányi
10:30 - 11:00Coffee 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:00Lunch
14:00 - 15:30 Session 5: Misc
Chair: Zoltán Porkoláb
  1. Does the Shannon Bound Really Apply to Data Structures?
    Antti Valmari
  2. An Approach to Inference of Finite State Machines Based on Gravitationally-inspired Search Algorithm
    Margarita Spichakova
  3. Personalized Side-Quest Generation for Computer Role-Playing Games
    Juha-Matti Vanhatupa
15:30 - 16:00Coffee break
16:00 - 17:00 Session 6: Process Metrics
Chair: Marlon Dumas
  1. 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
  2. Quantitative System Reliability Approach for Optimizing IT Security Costs in an AI Environment
    Geert Alberghs, Pavel Grigorenko and Jyri Kivimaa
17:30 - 19:00Excursion (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:45Coffee break
10:45 - 12:15 Session 7: Testing
Chair: Kai Koskimies
  1. Extended Choice Relation Framework for Workflow Testing
    Kam-Seng Ho, Marlon Dumas, Luciano García-Bañuelos and Yain-Whar Si
  2. Layout Independent GUI Test Automation Tool for Applications Developed in Magic/uniPaaS
    Daniel Fritsi, Csaba Nagy, Rudolf Ferenc and Tibor Gyimóthy
  3. Towards More Reliable C++ Template Metaprograms
    Ábel Sinkovics, Endre Sajó and Zoltán Porkoláb
12:30 - 14:00Lunch
14:00 - ...Theory Days (at Tõrve, Jõgevamaa)

Valid CSS! Valid XHTML 1.0 Strict Last changed October 6, 2011 17:06 EET by local organizers, splst11(at)cs.ioc.ee
SPLST'11 page: http://cs.ioc.ee/splst11/