25 citations · 63 across the 8 of their papers we have counts for
8 papers
Inferring Types for Parallel Programs
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behav…
Deductive Verification of Parallel Programs Using Why3
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos
The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what co…
Towards deductive verification of MPI programs against session types
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos +2
The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library…
Types for X10 Clocks
Francisco Martins, Vasco T. Vasconcelos, Tiago Cogumbreiro
X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchroni…
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro
We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs…
Towards the Safe Programming of Wireless Sensor Networks
Francisco Martins, Luís Lopes, João Barros
Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifi…