CORE: Publications and Research Papers

E. Maclean and A. Ireland Mutation in Linked Data Structures. To appear in the Proceedings of the 13th International Conference on Formal Engineering Methods (CFEM-11), 2011.

E. Maclean, A. Ireland, G. Grov. The CORE System: Animation and Functional Correctness of Pointer Programs. To appear as a Tool Demo Paper in the Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE-11), 2011.

E. Maclean, A. Ireland, G, Grov. Synthesising Functional Invariants in Separation Logic. In proceedings of the 3rd International Workshop on Invariant Generation (WING'10), 2010. To appear as an EasyChair Collection volume, 2011.

E. Maclean, A. Ireland, G, Grov. Functional Correctness of Pointer Programs. In proceedings of the Verified Software Tools & Experiments Workshop, a satellite workshop of the 3rd International Conference on Verified Software: Theories, Tool and Experiments (VSTTE-10), Edinburgh, UK, 2010.

G. Grov and A. Ireland. Towards Automated Property Discovery within Hume. In proceedings of the 2nd International Workshop on Invariant Generation (WING'09), pages 45--59, 2009. To appear as an EasyChair Collection volume, 2011.

E. Maclean, A. Ireland, R. Atkey, L. Dixon Refinement and Term Synthesis in Loop Invariant Generation. In proceedings of the 2nd International Workshop on Invariant Generation (WING'09), pages 72--86, 2009. In 2nd International Workshop on Invariant Generation (WING'09), a satellite workshop of ETAPS-09, York, UK, 2009. To appear as an EasyChair Collection volume, 2011.

A. Ireland "Cooperative Reasoning for Automatic Software Verification", In Proceedings of the 2nd International Workshop on Automated Formal Methods (AFM), a satellite workshop of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE-07), Atlanta. Note: Available as a SRI International Report.

A. Ireland "A Cooperative Approach to Loop Invariant Discovery for Pointer Programs". In Proceedings of 1st International Workshop on Invariant Generation (WING), a satellite workshop of Calculemus 2007, held at RISC, Hagenberg, Austria. Note: Appears as RISC Technical Report No. 07-07.

A. Ireland "Towards Automatic Assertion Refinement for Separation Logic". In Proceedings of the 21st IEEE International Conference on Automated Software Engineering, IEEE Computer Society, 2006. Note: A longer version is available from the School of Mathematical and Computer Sciences, Heriot-Watt University, as Technical Report HW-MACS-TR-0039.