Michael Walker

I am Michael Walker, otherwise known online as barrucadu. I am currently a Ph.D student in the Department of Computer Science at the University of York.

My research relates to nondeterministic concurrency in pure functional programming languages, such as Haskell. Increasingly, turning to concurrency for performance gains is a no-brainer, but it can be hard to get it right. Concurrency is hard in a number of areas:

My recent work has been on systematic testing in the presence of relaxed memory, where caching can delay the visibility of writes. The sequentially-consistent portion of this work is documented in one of my papers, and I am in the process of writing a technical report on the further developments. I have also started investigating the verification of my testing framework, in the Isabelle/HOL proof assistant.

See my publications and CV. If you’re looking for something to work on, see my project ideas.

barrucadu on Freenode and Rizon
3F0B 7E4E 590D 9749 CFE7 146E 37F4 AF9F 9F58 FC68

Recent Posts (All Posts)