Published: 25th October 2016
DOI: 10.4204/EPTCS.227
ISSN: 2075-2180

EPTCS 227

Proceedings 14th International Workshop
Quantitative Aspects of Programming Languages and Systems
Eindhoven, The Netherlands, April 2-3, 2016

Edited by: Mirco Tribastone and Herbert Wiklicky

Preface
Mirco Tribastone and Herbert Wiklicky
Limit Your Consumption! Finding Bounds in Average-energy Games
Kim G. Larsen, Simon Laursen and Martin Zimmermann
1
Sound Probabilistic #SAT with Projection
Vladimir Klebanov, Alexander Weigl and Jörg Weisbarth
15
Location Aggregation of Spatial Population CTMC Models
Luca Bortolussi and Cheng Feng
30
Logical Characterization of Bisimulation Metrics
Valentina Castiglioni, Daniel Gebler and Simone Tini
44
Parameterized Dataflow (Extended Abstract)
Dominic Duggan and Jianhua Yao
63
MELA: Modelling in Ecology with Location Attributes
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion and Matthew J. Smith
82
Evaluating load balancing policies for performance and energy-efficiency
Freek van den Berg, Björn F. Postema and Boudewijn R. Haverkort
98

Preface

This volume contains the post-proceedings of QAPL'16, an ETAPS satellite workshop devoted to Quantitative Aspects of Programming Languages and systems. The programme consisted of six regular papers and five short papers/presentation reports that covered a wide spectrum of QAPL's main topics, including language design, analysis, verification, case studies, and tool support. We were also happy to host three invited talks by Antonio Filieri, Boudewijn Haverkort, and Chung-Chieh Shan. We are grateful to the authors for contributing to the programme, and the invited speakers for kindly accepting our invitation.

The programme committee consisted of:

They worked hard for submitting their careful reports on time.

Finally, we thank the organisers of ETAPS for providing an excellent environment for the event, and the editors of EPTCS for the publication of these post-proceedings.

Mirco Tribastone (IMT School for Advanced Studies Lucca)
Herbert Wiklicky (Imperial College London)