Michael Walker

I am a Ph.D student at the University of York, interested in functional programming languages, concurrency, testing, and program correctness.

Email: msw504@york.ac.uk

See also my actual website.

Publications

Conference papers

  1. Déjà Fu: A Concurrency Testing Library for Haskell
    In ACM SIGPLAN Symposium on Haskell (Haskell '15) [bib] [doi]

Others

  1. Déjà Fu: A Concurrency Testing Library for Haskell
    University of York Computer Science Department Technical Report YCS-2016-503. [bib]
  2. Search Party: a Haskell library for speculative parallelism in generate-and-test searches
    In ACM ICFP Student Research Competition (ICFP SRC '15). Presented as a poster.