Sciweavers

CC
2015
Springer
8 years 6 months ago
Verifying Fast and Sparse SSA-Based Optimizations in Coq
The Static Single Assignment (SSA) form is a predominant technology in modern compilers, enabling powerful and fast program optimizations. Despite its great success in the implemen...
Delphine Demange, David Pichardie, Léo Stef...
CC
2015
Springer
8 years 6 months ago
Protocols by Default - Safe MPI Code Generation Based on Session Types
This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of...
Nicholas Ng, José Gabriel de Figueiredo Cou...