Paul Bone

About Me

I am a talented software engineer and computer scientist. My specialties include programming languages, declarative programming, programming language implementation, performance profiling, analysis and optimisation, parallelism and concurrency. I write about these topics on this blog.

I work for YesLogic where I contribute to the open-source Mercury programming language and work on our product, PrinceXML. In my spare time I work on the Plasma programming language.

Mugshot

Background

I started programming when I was 12 with QBasic, by the time I was 15 I was teaching myself C/C++. After high school I studied computer science at Universtiy then joined the work force full-time. Shortly afterwards I was introduced to functional programming; intoxicated by the safty of pure declarative languages and the challenge of multicore computing I decided to persue a Ph.D. on this topic.

After completing my Ph.D. on Automatic Parallelisation for Mercury I re-joined the work force supprting Mercury in production. I use the skills developed during my Ph.D. to analyse and improve the performance of Mercury programs.

In mid-2015 I started work on the Plasma programming language in my spare time. Plasma is a pure declrative language. Its goals are to find a comprimise between declrative and imperative programming and to provide state-of-the-art parallel and concurrent programming features.

When I'm programming or writing, reading or thinking about programmingi I like to spend time with my family, go alpine skiing and sometimes play the flute.

Recent blog posts

— More about Memory Fragmentation in BDW GC
This is a follow up article about memory fragmentation. I show how heap usage and utilisation changes over time for Prince and demonstrate the kind of information that can be extracted from BDW GC without too much effort.
— How to Allocate Memory — Code Generation
How do you generate code that allocates memory? This isn't about memory management algorithms, or language design concepts. But how to translate Plasma code that allocates memory (like use of a data constructor) into PZ abstract machine code.
— Explaining GADTs
In this article I work through a problem that can be solved elegantly with GADTs
— Memory Fragmentation in The Boehm-Demers-Weiser Garbage Collector
In this article I explore an interesting memory fragmentation situation in the BDW Garbage Collector. This covers a program that crashes due to fragmentation (despite 288MB free within the heap), BDWBC's heap organisation and why the 288MB cannot be used for this allocation and some potential solutions.
— Code Loading and Security
In this article I explain the interaction between execute protection and code loading.

See all blog posts.

Publications

Presentations and interviews

The publications of this section include conference presentations, talks and other interviews. They are not academic / peer-reviewed, however they're probably more accessible for most readers. They're probably a good place to start for an overview of my work or reporting on other people's work.

Journal articles and conference papers

The publications in this section are academic papers (conference papers, journal articles and dissertations. They are more academically rigorous than the presentations above and have a lot more detail. They're useful if you're looking for detailed information about my work.

Contact