ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs. The general aim is to enforce program compliance with dependent-type based protocol specifications, enforcing properties such as protocol...
Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types. The specification formalizes (1) the available methods, (2) the tests clients must perform on the values...
MIL (Multithreaded Intermediate Language) is an assembly language targeted at an abstract multi-processor equipped with a shared main memory. Each processor consists of a series of registers and of a local memory for instructions and for local data. The main memory is...
Accenture Company recently signed an agreement that will bring new opportunities of collaboration with LaSIGE. As coordinator of the Master in Bioinformatics and Computational Biology (MBBC), Francisco M. Couto reached an agreement with Accenture for awarding a prize...
André leal, LaSIGE researcher and MSc student of Informatics Engineering from DI/FCUL, achieved 2nd position at Task 14 of SemEval-2015, an international competition connected to the automatic processing and clinical text semantic analysis. The work was developed...
