Raphael Ernani Rodrigues
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Testing and Debugging Techniques, Distributed and Parallel Computing Systems, Advanced Data Storage Technologies
Most-Cited Works
- → Compiler support for selective page migration in NUMA architectures(2014)34 cited
- → The Alberta Workloads for the SPEC CPU 2017 Benchmark Suite(2018)11 cited
- → Speed and Precision in Range Analysis(2012)6 cited
- Real-World Loops are Easy to Predict: A Case Study(2014)
- → A case for a fast trip count predictor(2014)4 cited
- → Real-World Loops Are Easy to Predict(2014)1 cited
- → Bounds Check Hoisting for AddressSanitizer(2014)
- Scalable and precise range analysis on the interval lattice(2014)
- → RESULTS OF ECLIPSE OBSERVATIONS BY THE HABANA RADIOASTRONOMY STATION. TO 50-JUBILY HRS FOUNDATION(2019)
- → Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos(2014)