Programme

Social programme  

  • Reception hosted by the Mayor of Bergen at Schøtstuene, Bryggen, on October 31 at 7 pm.
  • Conference dinner at Fløyen folkerestaurant on November 1 at 7 pm (take the funicular up 1830 or 1845).
  • See Venue for more information on how to find the reception and dinner.

Workshop programme

WednesdayThursdayFriday. (Preliminary programme, subject to change.)

Talk slots are 30 minutes each, with 25 minutes for the talk and 5 minutes for questions and discussion.

Wednesday, Oct 31th

8.30–9.15:
Registration
9.15–9.30:
Opening and Welcome
9.30–10.30:
Invited Talk — Anders Møller (chair: Lars Michael Kristensen)
10.30–11.00:
Coffee break
11.00–12.30:
SESSION 1 — Program Analysis and Verification (chair: Uwe Wolter)
  • Holger Siegel and Axel Simon. FESA: Fold- and Expand-based Shape Analysis
  • Ka I Pun, Martin Steffen and Volker Stolz. Deadlock checking by race detection
  • Julian Samborski Forlese and Cesar Sanchez. Bounded Model Checking for Regular Linear Temporal Logic
12.30–13.30:
Lunch
13.30–15.00:
SESSION 2 — Timed Systems (chair: Lars Michael Kristensen)
  • Étienne André and Shweta Garg. Robustness Analysis of Time Petri Nets
  • Mingsong Lv, Nan Guan, Wang Yi and Ge Yu. Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
  • Mingsong Lv, Nan Guan, Wang Yi and Ge Yu. A Novel Cache PERSISTENCE Analysis for Worst-Case Execution Time Estimation
15.00–15.30:
Coffe Break
15.30–17.00:
SESSION 3 — Rewriting and Languages (chair: Anya Helene Bagge)
  • Maja Tønnesen and Robert Glück. Semi Inversion of Conditional Constructor Term Rewriting Systems
  • Denis Firsov and Tarmo Uustalu. Certified CYK parsing of context-free languages
  • Eero Lassila. Tetrasystems: A Framework for String Generation Devices
17.00–18.00:
PC meeting (by invitation)
19.00–20.00:
Reception

Thursday, Nov 1st

9.00–10.00:
Invited Talk — Juan de Lara (chair: Yngve Lamo)
10.00–10.30:
Hamid Ebaditavallaei. Record Based Differential Privacy Budget
10.30–11.00:
Coffee break
11.00-12.30:
SESSION 4 — Model-driven software engineering and synthesis (chair: )
  • Florian Mantz and Gabriele Taentzer. Meta-model Evolution with Model Migration based on Graph Transformation
  • Kent Inge Fagerland Simonsen, Lars Kristensen and Ekkart Kindler. Code Generation for Protocols from CPN models Annotated with Pragmatics
  • Alexandre David, Kim Guldstrand Larsen and Zhengkui Zhang. Distributed Algorithms for Controller Synthesis
12.30–13.30:
Lunch
13.30–14.30:
Invited Talk — Arne Styve (chair: Uwe Wolter)
14.30–15.00:
Adrian Rutle and Hans Georg Schaathun. Model-Driven Engineering of Maritime Systems
15.00–15.30:
Coffee break
15.30–17.00:
SESSION 5 — Semantics (chair: )
  • Marco Patrignani and Dave Clarke. Fully Abstract Trace Semantics of Low-level Protection Mechanisms
  • Cristian Prisacariu. Dynamic Structural Operational Semantics (preliminary report)
  • Wusheng Wang, Gian Perrone and Thomas Hildebrandt. Petri Nets in Bigraphs Revisited
18.15, 18.30, 18:45:
Funcicular to restaurant
19.00–:
Workshop dinner

Friday, Nov 2nd

9.00–10.30:
SESSION 6 — Reasoning and Analysis (chair: )
  • Crystal Chang Din and Olaf Owe. Soundness of a Reasoning System for Asynchronous Communication with Futures
  • Thi Mai Thuong Tran, Martin Steffen and Hoang Truong. Compositional Analysis of Resource Bounds for Software Transactions
  • Fabrizio Biondi, Axel Legay, Bo Friis Nielsen and Andrzej Wasowski. Maximizing Entropy over Markov Processes
10.30–11.00:
Coffee break
11.00–12.30:
SESSION 7 — Programming and Specification Languages (chair: )
  • Magne Haveraaen. Literals in programming languages
  • Elmo Todurov and Keiko Nakata. A finer module system for the ABS language
  • Petter Sandvik. SPECTA: A Formal Specification Language for Content Transfer Algorithms
12.30–13.00:
Lunch
13.00–14.00:
PC meeting (by invitation)
 

List of Accepted Papers

  • Ka I Pun, Martin Steffen and Volker Stolz. Deadlock checking by race detection
  • Denis Firsov and Tarmo Uustalu. Certified CYK parsing of context-free languages
  • Holger Siegel and Axel Simon. FESA: Fold- and Expand-based Shape Analysis
  • Étienne André and Shweta Garg. Robustness Analysis of Time Petri Nets
  • Marco Patrignani and Dave Clarke. Fully Abstract Trace Semantics of Low-level Protection Mechanisms
  • Crystal Chang Din and Olaf Owe. Soundness of a Reasoning System for Asynchronous Communication with Futures
  • Kent Inge Fagerland Simonsen, Lars Kristensen and Ekkart Kindler. Code Generation for Protocols from CPN models Annotated with Pragmatics
  • Maja Tønnesen and Robert Glück. Semi Inversion of Conditional Constructor Term Rewriting Systems
  • Wusheng Wang, Gian Perrone and Thomas Hildebrandt. Petri Nets in Bigraphs Revisited
  • Thi Mai Thuong Tran, Martin Steffen and Hoang Truong. Compositional Analysis of Resource Bounds for Software Transactions
  • Eero Lassila. Tetrasystems: A Framework for String Generation Devices
  • Mingsong Lv, Nan Guan, Wang Yi and Ge Yu. Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
  • Mingsong Lv, Nan Guan, Wang Yi and Ge Yu. A Novel Cache PERSISTENCE Analysis for Worst-Case Execution Time Estimation
  • Elmo Todurov and Keiko Nakata. A finer module system for the ABS language
  • Julian Samborski Forlese and Cesar Sanchez. Bounded Model Checking for Regular Linear Temporal Logic
  • Alexandre David, Kim Guldstrand Larsen and Zhengkui Zhang. Distributed Algorithms for Controller Synthesis
  • Petter Sandvik. SPECTA: A Formal Specification Language for Content Transfer Algorithms
  • Florian Mantz and Gabriele Taentzer. Meta-model Evolution with Model Migration based on Graph Transformation
  • Fabrizio Biondi, Axel Legay, Bo Friis Nielsen and Andrzej Wasowski. Maximizing Entropy over Markov Processes
  • Adrian Rutle and Hans Georg Schaathun. Model-Driven Engineering of Maritime Systems
  • Cristian Prisacariu. Dynamic Structural Operational Semantics (preliminary report)
  • Hamid Ebaditavallaei. Record Based Differential Privacy Budget
  • Magne Haveraaen. Literals in programming languages

Published on  October 31st, 2012