ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands

FASE 2016 programme

All rooms are located in the Auditorium (building n.1). CZ 2 ("Collegezaal 2") and CZ 8 are on the ground floor, The Blauwe Zaal is on the first level.

Tuesday, April 5th
10h30 - 12h30 FASE / Room: CZ 2
Concurrent and Distributed Systems (Chair: Marieke Huisman)
  • Samik Basu and Tevfik Bultan. Automated Choreography Repair
  • Claudio Corrodi, Alexander Heußner and Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
  • Jia-Chun Lin, Ingrid Yu, Einar Broch Johnsen and Ming-Chang Lee. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
  • Ludovic Henrio, Oleksandra Kulankhina, Siqi Li and Eric Madelaine. Integrated environment for verifying and running distributed components
15h30 - 18h00 FASE / Room: CZ 8
Model-Driven Development (Chair: Perdita Stevens)
  • Oszkár Semeráth, András Vörös and Dániel Varró. Iterative and incremental model generation by logic solvers
  • Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua and Salvador Trujillo. Automated Model Merge by Design Space Exploration
  • Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer and Jennifer Plöger. RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (EASST award nominee)
  • Xabier De Carlos, Goiuria Sagardui and Salvador Trujillo. Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
  • Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen and Andy Schürr. Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models
Wednesday, April 6th
09h00 - 10h00

Room: Blauwe Zaal (Chair: Perdita Stevens)
FASE Invited Speaker
Oscar Nierstrasz (Universität Bern, Switzerland)

The Death of Object-Oriented Programming

10h30 - 12h30 FASE / Room: CZ 8
Analysis and Bug Triaging (Chair: TBA)
  • Jean-Christophe Léchenet, Nikolai Kosmatov and Pascale Le Gall. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
  • Lei Wang, Han Li and Xinchen Wang. The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
  • Pauline Bolignano, Thomas Jensen and Vincent Siles. Modeling and Abstraction of Memory Management in a Hypervisor
  • Ali Sajedi Badashian, Abram Hindle and Eleni Stroulia. Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment
14h00 - 16h00 FASE / Room: CZ 8
Probabilistic and Stochastic Systems (Chair: Gabriele Taentzer)
  • Marcus Gerhold and Marielle Stoelinga. Model-Based Testing of Probabilistic Systems (EASST award nominee)
  • Guoxin Su, Taolue Chen, Yuan Feng, David Rosenblum and P.S. Thiagarajan. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems
  • Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat (EAPLS award nominee)
  • Francisco Durán, Antonio Moreno-Delgado and José María Álvarez. Statistical model-checking of domain-specific modeling languages
Thursday, April 7th
10h30 - 12h30 FASE / Room: CZ 8
Proof and Theorem Proving (Chair: Andrzej Wąsowski)
  • David Aspinall, Cezary Kaliszyk. Proof Engineering Metrics
  • Philipp Hoffmann and Javier Esparza. Reduction Rules for Colored Workflow Nets
  • Claudia Elena Chiriță, José Luiz Fiadeiro and Fernando Orejas. Many-valued Institutions for Constraint Specification
  • Adrian Riesco, Kazuhiro Ogata and Kokichi Futatsugi. CafeInMaude: a CafeOBJ interpreter in Maude
14h00 - 16h00 FASE / Room: CZ 8
Verification (Chair: TBA)
  • Sander de Putter and Anton Wijs. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
  • Raymond Hu and Nobuko Yoshida. Hybrid Session Verification through Endpoint API Generation
  • Pavel Jancik, Leonardo Alt, Grigory Fedyukovich, Antti Hyvärinen, Jan Kofron and Natasha Sharygina. PVAIR: Partial Variable Assignment InterpolatoR