Time: Tuesday 22.08.2017, 14.15–15.00

Room: C121

Speaker: Svetlana Jaksic

Title: Types for Access and Memory Control


Type systems are widely used static analysis technique for programming languages. They are used to avoid undesired behaviors (run-time type errors), which are specific for each language. In this talk, I will sketch how type systems can be used to avoid some of the errors in distributed and communication-centered computing. The talk is based on the results presented in my thesis.