Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand (Inria Rennes, France), Mirco Tribastone (IMT -, Institute for Advanced Studies Lucca, Italy)
TL;DR
The proceedings of QAPL 2015 present recent research on quantitative analysis of programming languages and systems, including privacy, information flow, and Markov decision processes, contributing to the understanding of computational properties.
Contribution
This volume compiles selected papers from QAPL 2015, highlighting advances in quantitative methods for analyzing programming languages and systems.
Findings
Insights into privacy and information flow quantification
Optimal strategies in continuous time Markov decision processes
Enhanced understanding of quantitative properties in software systems
Abstract
This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) focussing on quantitative aspects of computation. The Program Committee of QAPL 2015 selected 8 regular papers and 2 presentation-only papers. The workshop programme included two QAPL keynote presentations by Catuscia Palamidessi (Inria/LIX, France) on "Quantitative Aspects of Privacy and Information Flow," and Holger Hermanns (Saarland University, Germany) on "Optimal Continuous Time Markov Decisions."
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.