jmtd → PhD
Since 2017 I am working towards a PhD in the School of Computing at Newcastle University.
My research question is currently
Does purely functional programming offer benefits for the design and implementation of distributed stream-processing systems?
See also publications.
StrIoT
StrIoT is a proof-of-concept implementation of a stream processing system in a purely-functional language (Haskell).
Blog posts:
- Code formatting in documents, posted on
- equivalence problems with StreamGraph, posted on
- rewrite rule representation, posted on
- Scalable Computing seminar, posted on
- Using an iPad for note-taking in talks, posted on
- Cost models for evaluating stream-processing programs, posted on
- GHC rewrite rules, posted on
- PhD year 4 progression, posted on
- LaTeX draft documents, posted on
- Queueing theory, posted on
- Answering my own Template Haskell question, posted on
- git rebasing and lab books, posted on
- PhD Year 3 progression, posted on
- Type design, posted on
- Generic Haskell, posted on
- Template Haskell and Stream-processing programs, posted on
- template haskell, posted on
- data-types for representing stream-processing programs, posted on
- PhD Poster, posted on
- PhD Stage 1 Progression Report, posted on
- PhD Proposal, posted on
- Fourth Annual UK System Research Challenges Workshop, posted on
- embedding Haskell in AsciiDoc, posted on
- My PhD topic, posted on
- PhD, posted on