Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Raphael Ernani Rodrigues"'
Autor:
Raphael Ernani Rodrigues
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFMGUniversidade Federal de Minas GeraisUFMG.
A Range Analysis (RA) is an algorithm that estimates the lowest and highest values that each variable in a computer program may assume during an execution of the program. This kind of analysis provides information that helps the compiler to better un
Externí odkaz:
http://hdl.handle.net/1843/ESBF-9JTHXV
Autor:
Dylan R. Ashley, Joao Henrique Stange Hoffmam, Erick Ochoa, José Nelson Amaral, Elliot Colp, Marcus Karpoff, Raphael Ernani Rodrigues, Caian Benedicto, Morgan Redshaw, Edson Borin
Publikováno v:
ISPASS
A proper evaluation of techniques that require multiple training and evaluation executions of a benchmark, such as Feedback-Directed Optimization (FDO), requires multiple workloads that can be used to characterize variations on the behaviour of a pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02a848c61ddde0f892edae1515ee283d
https://doi.org/10.1109/ispass.2018.00029
https://doi.org/10.1109/ispass.2018.00029
Autor:
Rafael Martins de Sousa, Péricles Alves, Raphael Ernani Rodrigues, Fernando Magno Quintão Pereira
Publikováno v:
Information Processing Letters. 115:146-150
A fast heuristic to predict the trip count of loops.The heuristic predicts correctly the majority of the loops in SPEC 2006.The heuristic is O ( 1 ) .The heuristic allows us to invoke the Firefox JIT compiler earlier.The heuristics speeds up some Jav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c959d4120c76281e84875d7796be74a7
https://doi.org/10.1016/j.ipl.2014.08.008
https://doi.org/10.1016/j.ipl.2014.08.008
Autor:
Vitor Mendes Paisante, Luiz Felipe Zafra Saggioro, Raphael Ernani Rodrigues, Leonardo Barbosa Oliveira, Fernando Magno Quintão Pereira
Publikováno v:
Anais do XIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2014).
A análise de largura de variáveis determina o maior e menor valores que cada variável inteira de um programa pode assumir durante a sua execução. Tal técnica é de suma importância para detectar vulnerabilidades em programas mas, até o moment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef3a58c095921d2f196612ad9240d901
https://doi.org/10.5753/sbseg.2014.20132
https://doi.org/10.5753/sbseg.2014.20132
Autor:
Raphael Ernani Rodrigues
Publikováno v:
Programming Languages ISBN: 9783319118628
SBLP
SBLP
The Trip Count of a loop determines how many iterations this loop performs. Several compiler optimizations yield greater benefits for large trip counts, and are either innocuous or detrimental for small ones. However, predicting exactly the trip coun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8096604591a4a75a62d813e50be3b110
https://doi.org/10.1007/978-3-319-11863-5_9
https://doi.org/10.1007/978-3-319-11863-5_9
Publikováno v:
Programming Languages ISBN: 9783319118628
SBLP
SBLP
The C programming language is not memory safe, that is to say that the semantics of out-of-bounds memory accesses are undefined. There are tools that make certain guarantees about memory safety for C programs. Amongst these are SAFECode and AddressSa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8deef526dedbfb7a095cec8e6f729e66
https://doi.org/10.1007/978-3-319-11863-5_4
https://doi.org/10.1007/978-3-319-11863-5_4
Publikováno v:
CGO
The integer primitive type has upper and lower bounds in many programming languages, including C, and Java. These limits might lead programs that manipulate large integer numbers to produce unexpected results due to overflows. There exists a plethora
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e5162f58c9a1ee6f6dbaead8f886be4
https://doi.org/10.1109/cgo.2013.6494996
https://doi.org/10.1109/cgo.2013.6494996
Autor:
Fernando Magno Quintão Pereira, Victor Hugo Sperle Campos, Igor Rafael de Assis Costa, Raphael Ernani Rodrigues
Publikováno v:
Programming Languages ISBN: 9783642331817
SBLP
SBLP
Range analysis is a compiler technique that determines statically the lower and upper values that each integer variable from a target program may assume during this program's execution. This type of inference is very important, because it enables sev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b5c3f72936452d3bc5f4099e0381e52
https://doi.org/10.1007/978-3-642-33182-4_5
https://doi.org/10.1007/978-3-642-33182-4_5