ACM Computing Surveys


Posted By on Jun 24, 2015 in Uncategorized

Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.

Published Papers:

J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim. Verifying opacity of a transactional mutex lock. In FM, LNCS. Springer, 2015.

B. Dongol, V. B. F. Gomes, and G. Struth. A program construction and verification tool for separation logic. In MPC, LNCS. Springer, 2015.

B. Dongol, J. Derrick, G. Smith, and L. Groves. Defining correctness conditions for concurrent objects in multicore architectures. In ECOOP, 2015.

Accepted Papers:

B. Dongol and J. Derrick. Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program., 2015.

AQUATIC Project EPSRC-funding


Posted By on May 26, 2015 in Uncategorized

26/05/2015: Dr Steve Counsell (PI), Professor Rob Hierons and Dr Steve Swift (both CIs) acquired EPSRC-funding for the AQUATIC Project which explores the quality of test code in comparison to production code.

Euromicro SEAA 2015 conference


Posted By on May 19, 2015 in Uncategorized

Naiya Pannu’s paper, entitled “The Relationship between Depth of Inheritance and Refactoring: An Empirical Study of Eclipse Releases” has been accepted by the Euromicro SEAA 2015 conference (19/05/2015).