Projects •
MULTICORE
Full Title
MULTICORE - Advanced Type Systems for Multicore ProgrammingDescription
This project concentrates on the development of new concurrency abstractions, together with the associated static analysis methods. We build on our past experience on the development of type systems for concurrency, including singleton, session, and assertion type systems, and we aim at advanced type systems able to combine three properties: expressivity, ease of use, and decidability (in particular good integration with property verification systems, Satisfiability Modulo Theories provers). The expected results include the proposal of concurrency abstractions, formal proofs of their properties, implementation (in compilers) of the associated static analysis tools, the assessment via benchmarking of the theories and tools developed.