Paper: Verification of Quantum Programs

I'm of the opinion that formal verification of programs has a limited set of applications, in large part due to the "good enough" software principle. Nonetheless, it is nice to see work in the quantum programming area. Here's a just posted paper on arXiv: Verification of Quantum Programs by Ying, Yu, Feng, and Duan.

A Flowchart Language for Quantum Programming

From IEEE: A Flowchart Language for Quantum Programming by Feng and Ming. Unfortunately you have to be a member to read it. Selinger did work on a quantum flow chart language back in 2004 [1], so I wonderful how unique this is? I always though visual examples of quantum programming languages portrayed quite a bit, so here's an example of Selinger's "Quantum Flow Charts" or QFC:



References
[1] P. Selinger, "Towards a Quantum Programming Language," Mathematical Structures in Computer Science vol. 14, pp. 527-586, Aug. 2004 2004.