Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Characterizing multipartite symmetric Dicke states under the effects of noise

We study genuine multipartite entanglement (GME) in a system of n qubits prepared in symmetric Dicke states and subjected to the influences of noise. We provide general, setup-independent expressions for experimentally favorable tools such as fidelity- and collective spin-based entanglement witnesses, as well as entangled-class discriminators and multi-point correlation functions. Besides highlighting the effects of the environment on large qubit registers, we also discuss strategies for the robust detection of GME. Our work provides techniques and results for the experimental communities interested in investigating and characterizing multipartite entangled states by introducing realistic milestones for setup design and associated predictions.