Týr : a dependent type based code transformation for spatial memory safety in LLVM
A linguagem C não provê segurança espacial de memória: não garante que a memória acessada através de um ponteiro para um objeto, tal como um vetor, de fato pertence ao objeto em questão. Em vez disso, o programador é responsável por gerenciar informações de alocações e limites, e garantir que apenas...
Main Author: | Araújo, Vítor Bujés Ubatuba de |
---|---|
Other Authors: | Moreira, Alvaro Freitas |
Format: | Others |
Language: | English |
Published: |
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/10183/174477 |
Similar Items
-
Týr : a dependent type based code transformation for spatial memory safety in LLVM
by: Araújo, Vítor Bujés Ubatuba de
Published: (2018) -
Týr : a dependent type based code transformation for spatial memory safety in LLVM
by: Araújo, Vítor Bujés Ubatuba de
Published: (2018) -
Scheduling and serialization techniques for transactional memories
by: Pereira, Marcio Machado, 1959-
Published: (2015) -
Hardware Techniques for High-Performance Transactional Memory in Many-Core Chip Multiprocessors
by: Titos Gil, José Rubén
Published: (2011) -
Proving Opacity of Transactional Memory with Early Release
by: Siek Konrad, et al.
Published: (2015-12-01)