When: Tuesday, 2013-Jul-09, 11h30-12h00
Where: FCUL-DI, room C6.3.38
Presenter: Hugo Vieira
Concurrent systems are hard to get right. The number of possible behaviors easily leaves a dynamic analysis (e.g., simulation, model-checking) without answer, not to mention a team of programmers, so it is virtually impossible to certify a posteriori that systems will perform as they are supposed to. One way to get things right is to use static analysis techniques that single out systems that enjoy good properties (even at the cost of losing some false negatives along the way), avoiding the deployment of buggy programs and saving on maintenance costs. In this talk we will briefly discuss the main artifacts involved in working with static analysis techniques, namely type systems, that focus on concurrent communication-centred programs.