Skip to content
Walking the dog
Walking the dog


  • Arctic Code Vault Contributor
  • Pro


  1. Memory consistency modelling using Alloy

    OCaml 19 4

  2. Hardware & Software Verification

    Isabelle 8 2

  3. Research papers by John Wickerson and others

    TeX 1

  4. Asking questions about DBLP


29 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2021

Created 5 commits in 1 repository
Opened 1 pull request in 1 repository
1 merged

Seeing something unexpected? Take a look at the GitHub profile guide.