Seminar logo

  • Photo of Philipp Haller
    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.
    Calendar icon Friday, May 24, 2024 @14h00 3195, Pav. André-Aisenstadt