14th Symposium on Programming Languages and Software Tools
 Tampere, Finland
October 9-10, 2015

Program

Thursday, October 8
19:00 - 20:00Get together, SIS lounge, Pinni B1029-30. Pizza slices, snacks and some refreshments available.
Friday, October 9
9:00 - 9:45Registration and coffee, Pinni B, main entrance, 1st floor, Pinni B1097
9:45 - 10:00Welcome
10:00 - 11:00Keynote
Aarne Ranta: Grammars for the Working Programmer: GF and BNFC
11:00 - 11:10Break
11:10 - 12:10Keynote
Dr. Veli-Pekka Eloranta / Vincit: From trenches: Software development for medical devices
12:10 - 13:00Lunch / Minerva restaurant
13:00 - 14:15Session 1 - Metrics
Place: Pinni B0016
Chair: Ville Leppänen
  • Anna Sandberg, Miroslaw Staron and Vard Antinyan. Towards Proactive Management of Technical Debt by Software Metrics
  • Timo Lehtonen, Sampo Suonsyrjä, Terhi Kilamo and Tommi Mikkonen. Defining Metrics for Continuous Delivery and Deployment Pipeline
  • Samuel Lehtonen and Timo Poranen. Metrics for Gerrit Code Review
14:15 - 14:30Break
14:30 - 15:20Session 2 - Metrics and testing
Place: Pinni B0016
Chair: Kai Koskimies
  • Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid Tengeri, Tamás Gergely and Tibor Gyimóthy. Test Suite Evaluation using Code Coverage Based Metrics
  • Jurka Rahikkala, Sami Hyrynsalmi and Ville Leppänen. Accounting Testing in Software Cost Estimation: A Case Study of the Current Practice and Impacts
15:20 - 15:40Coffee break, B1029-30
15:40 - 16:55Session 3 - Tools
Place: Pinni B0016
Chair: Jaan Penjam
  • Farshad Ahmadighohandizi and Kari Systä. ICDO: Integrated Cloud-based Development Tool for DevOps
  • Antti Valmari. A State Space Tool for Concurrent System Models Expressed In C++
  • Mikko Teuho, Esko Pekkarinen and Timo Hämäläinen. Enabling High-Level Configuration in Kactus2
19:00 - 22:00Conference Dinner, Bravo Plaza, address: Itäinenkatu 5-7.
Saturday, October 10
9:15 - 11:00Session 4 - Products, models, and requirements (incl. a 5-minute break)
Place: Pinni B0016
Chair: Jyrki Nummenmaa
  • Maria Ripatti, Terhi Kilamo, Karri-Tuomas Salli and Tommi Mikkonen. Internal Marketplace as a Mechanism for Promoting Software Reuse
  • Henri Terho, Sampo Suonsyrjä, Ari Jaaksi, Tommi Mikkonen, Rick Kazman and Hong-Mei Chen. Lean Startup Meets Software Product Lines: Survival of the Fittest or Letting Products Bloom?
  • Enn Tyugu and Jaan Penjam. Model-Based Technology of Software Development in Large
  • Risto Salo, Timo Poranen and Zheying Zhang. Requirements Management in GitHub With Lean Approach
11:00 - 11:15Coffee break, Pinni B0016
11:15 - 12:05Session 5 - Data types and structures
Place: Pinni B0016
Chair: Kari Systä
  • Matti Rintala and Antti Valmari. Priority Queue Classes with Priority Update
  • Niccoló Veltri. Two Set-Based Implementations of Quotients in Type Theory
12:05 - 13:00Lunch
13:00 - 14:15Session 6 - Security
Place: Pinni B0016
Chair: Antti Valmari
  • Joni Uitto, Sampsa Rauti, Jari-Matti Mäkelä and Ville Leppänen. Preventing Malicious Attacks by Diversifying Linux Shell Commands
  • Linfeng Li, Timo Nummenmaa, Eleni Berki and Marko Helenius. Phishing Knowledge based User Modelling in Software Design
  • Kalle Rindell, Sami Hyrynsalmi and Ville Leppänen. Securing Scrum for VAHTI
14:15 - 14:35Coffee break, Pinni B0016
14:35 - 16:20Session 7 - Data collection and analysis
Place: Pinni B0016
Chair: Jari Peltonen
  • Otto Hylli, Anna-Liisa Mattila and Kari Systä. Collecting Issue Management Data for Analysis with a Unified Model and API Descriptions
  • Esa Heikkinen and Timo D. Hämäläinen. LOGDIG Log File Analyzer for Mining Expected Behavior from Log Files
  • Tomi 'Bgt' Suovuo, Johannes Holvitie, Jouni Smed and Ville Leppänen. Mining Knowledge on Technical Debt Propagation
  • Francois Christophe, Tommi Mikkonen, Vafa Andalibi, Kai Koskimies and Teemu Laukkarinen. Pattern Recognition with Spiking Neural Networks: a Simple Training Method
16:20 - 16:30Closing of the conference

Contact persons during the conference

Timo Nummenmaa (timo.nummenmaa@staff.uta.fi, +358 50 420 1506
Timo Poranen (timo.t.poranen@uta.fi, +358 40 190 1719)