Working in the OCaml compilers backend

Community
1

Hello! long time lurker, first time caller here.

I’ve been working in the OCaml backend mainly in native emission and asmcomp swapping out calls to C for instructions for each architecture the compiler supports. Some of the work was sponsored by OCSF but I have also been trying to make myself useful in other projects too.

I have done a full write up on my website.

Because my work has also involved adding native atomics, I’ve been doing litmus testing on OCaml’s memory model. If you are interested in seeing the results, I’ve also added a page here. This is something I plan on updating from time to time alongside some other tests I have planned. I have access to a whole pile of machines so I might as well use them!

I come mainly from a hobbyist and historical computing background and have used OCaml extensively to help me in those endeavours. I plan on continuing my work on the compiler so you may see me around reviewing pull requests or sending my own in. If you have any questions, please feel free to ask!

Thanks,

Zane

21 Likes
2

Great write up! Thanks for sharing.

Cheers,
Nicolas

3 Likes
3

A huge thank you for all the reviews on my compiler work over the past few months. It’s nice to have a couple more contributors to the less popular CPU architectures.

Loved the post and I learnt about Coral-66 language which I’d never heard of before.

3 Likes