bar­ru­cadu

I'm Mi­chael Walker. I also go by bar­ru­cadu.
It's like the fish, but with the vowels wrong.

What have I done in the past? See my CV.
What am I doing now? See my “now” page.
Some­times I write things! See my memos.

Work

Government Digital Service (GDS)

Gov­ern­ment Di­gital Ser­vice (GDS)

Soft­ware En­gineer

Apr 2018–­p­resent

Member of the Plat­form Health team: im­proving the health of gov.uk through a com­bin­a­tion of pro­active in­ter­ven­tions and re­active fixes on ap­plic­a­tions not under active de­vel­op­ment.

Overleaf

Over­leaf

Soft­ware En­gineer (Part Time)

Jan–Mar 2018

Main­tained legacy Rails and Java ap­plic­a­tions by fixing bugs and ap­plying up­dates.

University of York

Uni­ver­sity of York

Post­graduate Teaching As­sistant

2014–-2017

Marked home­works and helped stu­dents in the un­der­graduate com­pilers, dis­crete maths, and in­tro­ductory pro­gram­ming mod­ules, and the mas­ter­s-­level soft­ware testing mod­ule.

Overleaf

Over­leaf

Soft­ware En­gin­eering In­tern

Ju­l–Sep 2017

Fixed bugs, closed se­curity holes, ported Ruby, and worked on Share­LaTeX code and data ana­lysis after the two com­panies merged.

Pusher

Pusher

Soft­ware En­gin­eering In­tern

May–Aug 2016

Powering re­al­time with spit and glue! (or so says my mug). I worked on per­formant and re­li­able dis­trib­uted sys­tems for mes­sage de­liv­ery.

CoreFiling

Core­Filing

Soft­ware En­gin­eering In­tern

Ju­l–Sep 2014

Wrote a parser­/ren­derer for an in­-­house wiki pro­gram using ANTLR in Java, and in­teg­rated this with JIRA.

Re­search

Pa­pers

  1. Cheap Re­marks about Con­cur­rent Pro­grams
    Ac­cepted for pub­lic­a­tion in Func­tional and Logic Pro­gram­ming Sym­posium (FLOPS '18). [bib]
  2. Re­vealing Be­ha­viours of Con­cur­rent Func­tional Pro­grams by Sys­tem­atic Testing
    Uni­ver­sity of York. Ph.D thesis. 2018. [bib]
  3. Déjà Fu: A Con­cur­rency Testing Lib­rary for Haskell
    Uni­ver­sity of York Com­puter Sci­ence De­part­ment Tech­nical Re­port YC­S-2016-503. 2016. [bib]
  4. Déjà Fu: A Con­cur­rency Testing Lib­rary for Haskell
    In ACM SIG­PLAN Sym­posium on Haskell (Haskell '15). [bib] [doi]

Present­a­tions & Posters

  1. Cheap Re­marks about Con­cur­rent Pro­grams
    Presented at Trends in Func­tional Pro­gram­ming (TFP '17).
  2. Search Party: a Haskell lib­rary for spec­u­lative par­al­lelism in gen­er­ate-and-test searches
    Poster at ACM ICFP Stu­dent Re­search Com­pet­i­tion (ICFP SRC '15).

Pro­gram­ming

Déjà Fu

De­veloper

2015–now

It's a lib­rary for testing con­cur­rent Haskell pro­grams, which came out of my Ph.D re­search. Pretty much everything is sup­por­ted, plus a few ex­tras.

Comes with HUnit and Tasty bind­ings, so you can easily in­teg­rate it with your ex­isting test­suite.

Arch Hurd

Pro­ject Leader

2010–2015

I ac­ci­dent­ally started a GNU/Hurd dis­tri­bu­tion based on Arch Linux. This was com­pletely un­in­ten­tional.

Served my time as pro­ject leader from 2010 to 2015, man­aging a handful of de­velopers around the world porting over Linux soft­ware. I also pro­duced in­stall­a­tion media and main­tained the web­site and re­pos­it­or­ies.

Uzbl

De­veloper

2009

I was one of the first few de­velopers, and this is the pro­ject that taught me C and Git. It was fun, and I learned a lot. I still host the web­site and mailing list.

Do not ex­pect good code if you go and dig up my con­tri­bu­tions.