Date: 2013-11-13
Categories: news

New website design

I have spent a few hours redesigning my website. The aim is to make it look better (naturally) and also to make it easier to post short articles potentially across several categories. The design is called "CrystalX" and is open source, available from here. I used ocaml on the web to script site construction from OCaml.

2018-07-02 Funded PhD places
2017-09-06 ICFP most influential paper from 10 years ago
2017-03-16 tjr-btree: a CoW B-tree library in OCaml
2016-06-05 Do not buy TP-Link products
2016-05-27 Visit to Cambridge, for REMS workshop
2016-04-22 Visit to Denmark, to see Joergen Villadsen
2016-02-19 Tree-structured text
2016-02-09 Simple implementation of an Earley-like parsing algorithm
2016-01-27 Talk at York University
2016-01-06 Stephanie Heintz PhD viva
2015-10-05 SibylFS presentation at SOSP'15
2015-09-28 SibylFS SOSP poster
2015-09-21 SibylFS presentation to Industrial Advisory Board
2015-06-28 SOSP 2015 paper acceptance for SibylFS
2015-04-21 REMS Cambridge talk on SibylFS
2014-11-21 Talk on parsing at the University of Sussex
2014-09-26 P1 combinator parsing library for OCaml
2014-09-26 E3 earley parser library for OCaml
2014-09-18 SLE 2014 conference, and Parsing at SLE workshop, slides
2014-09-07 ICFP 2014, OCaml workshop, slides and video
2014-09-07 ICFP 2014, Lem talk
2014-07-11 P3 paper accepted for SLE 2014
2014-07-11 Lem paper accepted to ICFP 2014
2014-04-15 New release of P3 code on github
2014-03-02 New release of P3 code on github
2013-12-16 New release of P3 code on github
2013-12-03 Implementing algorithms efficiently
2013-11-24 Experience of using Lem
2013-11-13 PhD student course on logic, proof and mechanized theorem proving
2013-11-13 New website design
2013-11-13 Engineer position
2013-11-12 Netsem TCP/IP specification on github
2013-11-08 Talk on parsing and P3 given at Cambridge
2013-11-01 Funded PhD positions
2013-04-01 PhD position funded by Microsoft Research
2013-02-01 EPSRC grant funded