After 6 months of work, I& #39;m super excited to share my @Cambridge_CL dissertation project - Bolt, a language that prevents data races! I& #39;ll be posting a series on how I designed the compiler so stay tuned for that! https://github.com/mukul-rathi/bolt">https://github.com/mukul-rat...

examples/ has a side-by-side of Bolt vs Java programs - Bolt uses capabilities to ensure data-race freedom, building on @CartesianGlee& #39;s work. Here& #39;s the accompanying dissertation: https://github.com/mukul-rathi/bolt-dissertation">https://github.com/mukul-rat...

Thank you to my incredible project supervisor Alan Mycroft for all the guidance - I& #39;ve learnt a lot about type systems and PL along the way. I& #39;d also like to thank my Director of Studies @arberesford for his extensive feedback without which this wouldn& #39;t have been nearly as good!