johnwickerson

Senior Lecturer, Department of Electrical and Electronic Engineering, Imperial College London

Imperial College LondonCambridge/London, UK

Pinned Repositories

alloystar
Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)
Language:Java3 3 03
dblp-playground
Asking questions about DBLP
Language:Makefile6 3 13
HSV
Language:Isabelle16 3 011
mailer
Language:OCaml0 3 00
mastering_digital_design
Course webpage for the MSc ADIC lab on "Mastering Digital Design"
Language:Verilog8 5 18
memalloy
Memory consistency modelling using Alloy
Language:OCaml28 7 186
netlistfuzz
Language:TeX3 4 01
papers
Research papers by John Wickerson and others
Language:TeX1 3 00

johnwickerson's Repositories

johnwickerson/memalloy
Memory consistency modelling using Alloy
Language:OCaml28 7 186
johnwickerson/HSV
Language:Isabelle16 3 011
johnwickerson/mastering_digital_design
Course webpage for the MSc ADIC lab on "Mastering Digital Design"
Language:Verilog8 5 18
johnwickerson/dblp-playground
Asking questions about DBLP
Language:Makefile6 3 13
johnwickerson/alloystar
Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)
Language:Java3 3 03
johnwickerson/netlistfuzz
Language:TeX3 4 01
johnwickerson/ee_modules
Language:HTML1 3 00
johnwickerson/grant
LaTeX class for writing grant proposals
Language:TeX1 3 00
johnwickerson/papers
Research papers by John Wickerson and others
Language:TeX1 3 00
johnwickerson/mailer
Language:OCaml0 3 00
johnwickerson/act
Automated compiler testing project
Language:OCaml3 0
johnwickerson/bibtex2html
Language:OCaml3 0
johnwickerson/csv_iterator
Language:OCaml
johnwickerson/dlmalloc
Language:TeX3 0
johnwickerson/dynquants
Language:TeX3 0
johnwickerson/iris_website
Language:HTML3 0
johnwickerson/litmustestgen
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
Language:Alloy
johnwickerson/mixed-size-diagrams
Language:TeX3 0
johnwickerson/partialtotal
Language:TeX3 0