barrucadu

Twitter tumblr GitHub

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 academic interests include functional programming, compilers, type systems, and program verification. My non-academic interests include small fuzzy animals, but sadly I can’t sit in an office and play with those all day. Yet.

See my CV.

Email
mike@barrucadu.co.uk
IRC
barrucadu on Freenode and Rizon
Jabber
mike@barrucadu.co.uk (otr: A22F6CC2 50A97464 4B9A8BC1 B2F87F78 364DD2BC)
GPG
3F0B 7E4E 590D 9749 CFE7 146E 37F4 AF9F 9F58 FC68
  1. “Pre-emption Bounding” —January 10, 2015
    Implementing pre-emption bounding in monad-conc.
  2. “Haskell Systematic Concurrency Testing” —December 26, 2014
    What systematic concurrency testing (SCT) is, and how we can apply it to Haskell.
  3. “Garbage Collection” —January 7, 2014
    An overview of the major different types of garbage collector.
  4. “A Gentle Introduction to Parsec” —May 27, 2013
    Introduction to Parsec by constructing a parser for CSV files.