-         
                 Extending Scala for Safe Concurrent Programming Extending Scala for Safe Concurrent Programming- Philipp Haller – Associate professor of computer science at KTH Royal Institute of Technology
 Concurrent programming is notorious for hazards such as data races and deadlocks. At the same time, program executions are difficult to reproduce due to various sources of nondeterminism, complicating the debugging of concurrent programs. These challenges have motivated work on ensuring safety statically using type systems. Type-based prevention of data races is a major challenge in the context of object-oriented programming languages due to pervasive mutation and aliasing. In addition, extending the type systems of existing languages is a challenge, preventing recent advances from practical use.Friday, May 24, 2024 @14h00 3195, Pav. André-Aisenstadt 

