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

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

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