Cheap Remarks about Concurrent Programs

Michael Walker; Colin Runciman

Cheap Remarks about Concurrent Programs

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We present CoCo, the Concurrency Commentator, a tool that recovers a declarative view of concurrent Haskell functions operating on some shared state. This declarative view is presented as a collection of automatically discovered properties. These properties are about refinement and equivalence of effects, rather than equality of final results. The tool is based on testing in a dynamically pruned search-space, rather than static analysis or theorem proving. Case studies about concurrent stacks and semaphores demonstrate how use of CoCo can inform understanding of program behaviour.

Original language	English
Title of host publication	Proceedings of 14th International Symposium on Functional and Logic Programming
Publisher	Springer
Number of pages	15
Publication status	Accepted/In press - 22 Jan 2018

Keywords

automated testing
refinement and equivalence
effects
declarative properties

Access to Document

coco-flops18Accepted author manuscript, 238 KB

Cite this

@inproceedings{db4f942141044bb9994db56ce31fffb2,

title = "Cheap Remarks about Concurrent Programs",

abstract = "We present CoCo, the Concurrency Commentator, a tool that recovers a declarative view of concurrent Haskell functions operating on some shared state. This declarative view is presented as a collection of automatically discovered properties. These properties are about refinement and equivalence of effects, rather than equality of final results. The tool is based on testing in a dynamically pruned search-space, rather than static analysis or theorem proving. Case studies about concurrent stacks and semaphores demonstrate how use of CoCo can inform understanding of program behaviour.",

keywords = "automated testing, refinement and equivalence, effects, declarative properties",

author = "Michael Walker and Colin Runciman",

year = "2018",

month = jan,

day = "22",

language = "English",

booktitle = "Proceedings of 14th International Symposium on Functional and Logic Programming",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Cheap Remarks about Concurrent Programs

AU - Walker, Michael

AU - Runciman, Colin

PY - 2018/1/22

Y1 - 2018/1/22

N2 - We present CoCo, the Concurrency Commentator, a tool that recovers a declarative view of concurrent Haskell functions operating on some shared state. This declarative view is presented as a collection of automatically discovered properties. These properties are about refinement and equivalence of effects, rather than equality of final results. The tool is based on testing in a dynamically pruned search-space, rather than static analysis or theorem proving. Case studies about concurrent stacks and semaphores demonstrate how use of CoCo can inform understanding of program behaviour.

AB - We present CoCo, the Concurrency Commentator, a tool that recovers a declarative view of concurrent Haskell functions operating on some shared state. This declarative view is presented as a collection of automatically discovered properties. These properties are about refinement and equivalence of effects, rather than equality of final results. The tool is based on testing in a dynamically pruned search-space, rather than static analysis or theorem proving. Case studies about concurrent stacks and semaphores demonstrate how use of CoCo can inform understanding of program behaviour.

KW - automated testing

KW - refinement and equivalence

KW - effects

KW - declarative properties

M3 - Conference contribution

BT - Proceedings of 14th International Symposium on Functional and Logic Programming

PB - Springer

ER -