Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, APLAS 2016.

The papers are: Verifying Concurrent Graph Algorithms (with Aquinas Hobor, Jules Villard and Philippa Gardner) and DOM: Specification and Client Reasoning (with José Fragoso Santos and Philippa Gardner) These and other group papers can be found on our publications page