13th Symposium on Programming Languages and Software Tools
 Szeged, Hungary
August 26-27, 2013

Technical Program

Monday, August 26
8:30 - 9:00Registration
9:00 - 9:15Welcome
9:15 - 10:45Session 1 - Software Evolution
Chair: Jaan Penjam
  • Vard Antinyan and Miroslaw Staron: Monitoring Evolution of Code Complexity in Agile/Lean Software Development
  • Dan Daniel, Stan Jarzabek, and Rudolf Ferenc: Configuring Software for Reuse with VCL
  • Viktória Fördő‘s and Melinda Tóth: Identifying Code Clones with RefactorErl
10:45 - 11:00Coffee break
11:00 - 12:30Session 2 - Software Maintenance
Chair: Tibor Gyimóthy
  • Szabolcs Bognár, Tamás Gergely, Róbert Rácz, Árpád Beszédes, and Vladimir Marinkovic: Code Coverage Measurement Framework for Android Devices
  • Johannes Holvitie, Mikko-Jussi Laakso, Teemu Rajala, Erkki Kaila, and Ville Leppänen: The Role of Dependency Propagation in the Accumulation of Technical Debt for Software Implementations
  • Gábor Novák, Csaba Nagy, and Rudolf Ferenc: A Regression Test Selection Technique for Magic Systems
12:30 - 14:00Lunch
14:00 - 15:30Session 3 - Web: Applications, Services, Databases 1
Chair: Tamás Gergely
  • Gergő‘ Gombos, Tamás Matuszka, Balázs Pinczel, Gábor Rácz, and Attila Kiss: VOSD: A General-Purpose Virtual Observatory over Semantic Databases
  • Otto Hylli, Samuel Lahtinen, Anna Ruokonen, and Kari Systä: Service Composition for End-Users
  • Heikki Peltola and Arto Salminen: Towards a Reference Architecture for Server-side Mashup Ecosystem
15:30 - 15:45Coffee break
15:45 - 16:45Session 4 - Web: Applications, Services, Databases 2
Chair: Ákos Kiss
  • Anna-Liisa Mattila: Code Oriented Approach to 3D Widgets
  • Jari-Pekka Voutilainen and Tommi Mikkonen: The Browser as a Host Environment for Visually Rich Applications
19:00 -Banquet
at the main building of the University of Szeged (Dugonics tér 13).
Tuesday, August 27
9:00 - 10:30Session 5 - Miscellaneous
Chair: Kai Koskimies
  • Zalán Szűgyi, Tamás Cséri, and Zoltán Porkoláb: Random number generator for C++ template metaprograms
  • Antti Valmari: The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem
  • Zsolt Zsigmondi and Attila Kiss: Implementation of Natural Language Semantic Wildcards using Prolog
10:30 - 10:45Coffee break
10:45 - 12:15Invited talk / Joint with FutureICT project track
Hassan Charaf and László Lengyel: Mobile Platforms and Multi-Mobile Platform Development
12:15 - 14:00Lunch
14:00 - 15:45Session 6 - Program Analysis
Chair: Árpád Beszédes
  • Richárd Dévai, Judit Jász, Csaba Nagy, and Rudolf Ferenc: Designing and Implementing Control Flow Graph for Magic 4th Generation Language
  • István Kádár, Péter Hegedűs, and Rudolf Ferenc: Runtime Exception Detection in Java Programs Using Symbolic Execution
  • Jari-Matti Mäkelä, Ville Leppänen, and Martti Forsell: Composable hierarchical synchronization support for REPLICA
  • Jyrki Nummenmaa, Maija Marttila-Kontio, and Timo Nummenmaa: Checking visual data flow programs with finite process models
15:45 - 16:00Coffee break
16:00 - 17:00Session 7 - Formal Verification
Chair: Antti Valmari
  • Dániel Darvas, András Vörös, and Tamás Bartha: Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
  • Ákos Hajdu, András Vörös, Tamás Bartha, and Zoltán Mártonka: Extensions to the CEGAR Approach on Petri Nets
17:00 - 17:15Closing session

Information for Presenters

Authors have 20 minutes for presenting their paper and 5 minutes for discussion.