From 21f981d7fd09275282f5ccd59b66e2ce7b980d07 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 18 Apr 2018 16:08:16 +0100 Subject: [PATCH] Add new file --- _posts/2018-04-18-papers-accepted-april-18.md | 31 +++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 _posts/2018-04-18-papers-accepted-april-18.md diff --git a/_posts/2018-04-18-papers-accepted-april-18.md b/_posts/2018-04-18-papers-accepted-april-18.md new file mode 100644 index 0000000..6d82db1 --- /dev/null +++ b/_posts/2018-04-18-papers-accepted-april-18.md @@ -0,0 +1,31 @@ +--- +title: Paper accepted and paper published +--- + +A paper co authored by current and former researchers of the group has just been +publised and another has just been accepted to ECOOP + +A paper by [Thomas Dinsdale-Young](https://cs.au.dk/~tyoung/), [Pedro da Rocha Pinto](https://psvg.doc.ic.ac.uk/people/da-rocha-pinto.html) +and [Philippa Gardner](https://psvg.doc.ic.ac.uk/people/gardner.html), +[A perspective on specifying and verifying concurrent modules](https://www.sciencedirect.com/science/article/pii/S2352220817300871) +has just been published in the Journal of Logical and Algebraic Methods in Programming. + +The paper offers a survey of a range of techniques for specifying concurrent modules, +using the example of a counter module to illustrate the benefits and limitations of each. +In particular, they authors highlight four key concepts underpinning these techniques: auxiliary state, +interference abstraction, resource ownership and atomicity and demonstrate how +these concepts can be combined to achieve two powerful approaches for specifying +concurrent modules and verifying implementations and clients, which remove the +limitations highlighted by the counter example. + +The second paper, co-authored by [Gian Ntzik](https://psvg.doc.ic.ac.uk/people/ntzik.html), +[Pedro da Rocha Pinto](https://psvg.doc.ic.ac.uk/people/da-rocha-pinto.html), +[Julian Sutherland](https://psvg.doc.ic.ac.uk/people/sutherland.html) +and [Philippa Gardner](https://psvg.doc.ic.ac.uk/people/gardner.html) has just been accepted to the 32nd European Conference on Object-Oriented Programming +[(ECOOP 2018)](https://conf.researchr.org/home/ecoop-2018), which will be held in Amsterdam in July. + +In the paper, entitled A Concurrent Specification of POSIX File Systems, +the authors provide a formal concurrent specification of POSIX file systems +and demonstrate scalable reasoning for clients. + +Congratulations to all. \ No newline at end of file -- GitLab