Recently, Sam Lindley, Garrett Morris, Sara Decova and I had our paper, Exceptional Asynchronous Session Types: Session Types without Tiers accepted to POPL 2019. For the first time, I submitted an artifact to the Artifact Evaluation process. I was really impressed with the whole process, which I found to be a positive and valuable experience. If any of the POPL’19 AEC members are reading this – thank you!

I recently spent three months at OCaml Labs in Cambridge, where I designed and implemented an ahead-of-time compiler from WebAssembly to native code by targeting the Cmm intermediate representation of the OCaml compiler. It was a really enjoyable project!

UPDATE AS OF 6/12/2017: I have moved this list to the ABCD Website, where it will be maintained from now on. As ever, please get in touch with tool updates, and I will update it on that site.

I’m going to be giving the February EdLambda talk! I’ll be talking about functional web programming, and more in detail about some F# language features such as computation expressions, asynchronous workflows, and type providers, along with functional web abstractions both old and new.

I’ve promised this post to quite a few people now, so here it is!