Daily Archives: July 9, 2013

Taming the concurrency beast via static analysis

Posted on July 9, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Jul-09, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Hugo Vieira Abstract: 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 … Continue reading →

Posted in Smalltalk | Comments Off