Michael Walker

Orcid: 0000-0003-3013-2082

Affiliations:

According to our database¹, Michael Walker authored at least 3 papers between 2015 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Revealing behaviours of concurrent functional programs by systematic testing.

[BibT_eX]

[DOI]

PhD thesis, 2018

Cheap Remarks About Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2015

Déjà Fu: a concurrency testing library for Haskell.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015