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