John Wickerson

johnwickerson

Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London

Imperial College London

Cambridge/London, UK

https://johnwickerson.github.io

Organizations

Languages

TeX37%OCaml26%HTML11%Makefile5%Isabelle5%Verilog5%Alloy5%Java5%

Repos

Stars

104

Forks

Top Language

TeX

Loading contributions...

Top Repositories

HSV

40Isabelle

memalloy

Memory consistency modelling using Alloy

31OCaml

dblp-playground

Asking questions about DBLP

10Makefile

mastering_digital_design

Course webpage for the MSc ADIC lab on "Mastering Digital Design"

Repositories

johnwickerson/aotwFork

AOTW Crossword Archive

00Updated 1 week ago

johnwickerson/dblp-playground

Asking questions about DBLP

Makefile103Updated 1 month ago

johnwickerson/ee_modules

No description provided.

HTML63Updated 2 weeks ago

johnwickerson/HSV

No description provided.

Isabelle4026Updated 3 months ago

johnwickerson/mastering_digital_design

Course webpage for the MSc ADIC lab on "Mastering Digital Design"

Verilog88Updated 2 years ago

johnwickerson/papers

Research papers by John Wickerson and others

TeX20Updated 9 years ago

johnwickerson/memalloy

Memory consistency modelling using Alloy

OCaml316Updated 5 years ago

armv7c11compiler-designconstraint-solvermemory-modelmodel-checkingnvidia-gpusopenclpowerpcx86

johnwickerson/litmustestgenFork

Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)

Alloy00Updated 2 years ago

johnwickerson/netlistfuzz

No description provided.

TeX31Updated 6 years ago

johnwickerson/alloystar

Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)

Java33Updated 7 years ago

johnwickerson/grant

LaTeX class for writing grant proposals

TeX10Updated 4 years ago

johnwickerson/csv_iterator

No description provided.

OCaml00Updated 3 years ago

johnwickerson/mailer

No description provided.

OCaml00Updated 2 years ago

johnwickerson/bibtex2htmlFork

No description provided.

OCaml00Updated 4 years ago

johnwickerson/actFork

Automated compiler testing project

OCaml00Updated 7 years ago

johnwickerson/iris_website

No description provided.

HTML00Updated 7 years ago

johnwickerson/dynquants

No description provided.

TeX00Updated 7 years ago

johnwickerson/dlmalloc

No description provided.

TeX00Updated 7 years ago

johnwickerson/partialtotal

No description provided.

TeX00Updated 7 years ago

johnwickerson/mixed-size-diagrams

No description provided.

TeX00Updated 8 years ago

John Wickerson

Organizations

Languages

Loading contributions...

Top Repositories

Repositories

Gists

Recent Activity