GeeCON 2023: Patrick Viry - A parallel programming language extension for Java

The notion of 'thread' is simply a hardware-level concept that made its way into high-level languages. This impedance mismatch is 1 of the reasons why parallel programming is so complex and so painful, but it doesn't request to be that way. I will present a language-integrated parallel programming model based on a fewer simple additions to the Java language utilizing compositional operators. This model is based on strong theoretical foundations, which makes it amenable to correctness proofs. I will claim, based on a number of examples, that it makes parallel programming simpler, more intuitive, more general and more efficient.