Pablo de Oliveira Castro

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 22

Top Topics

Numerical Optimization

Positive Effects

Top Venues

ACM Trans. Math. Softw.

Publications

Aurélien Delval, François Coppens, Eric Petit, Roman Iakymchuk, Pablo de Oliveira Castro
Verificarlo CI: continuous integration for numerical optimization and debugging. CoRR (2024)
Yanxiang Chen, Pablo de Oliveira Castro, Paolo Bientinesi, Roman Iakymchuk
Enabling mixed-precision with the help of tools: A Nekbone case study. CoRR (2024)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
Stochastic Rounding Variance and Probabilistic Bounds: A New Approach. SIAM J. Sci. Comput. 45 (5) (2023)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
Bounds on non-linear errors for variance computation with stochastic rounding. CoRR (2023)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
The Positive Effects of Stochastic Rounding in Numerical Algorithms. ARITH (2022)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
Stochastic rounding variance and probabilistic bounds: A new approach. CoRR (2022)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
The Positive Effects of Stochastic Rounding in Numerical Algorithms. CoRR (2022)
Devan Sohier, Pablo de Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, Olivier Jamond
Confidence Intervals for Stochastic Arithmetic. ACM Trans. Math. Softw. 47 (2) (2021)
Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. IEEE Trans. Emerg. Top. Comput. 9 (3) (2021)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Shadow computation with BFloat16 to estimate the numerical accuracy of summations. ARITH (2021)
Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. ARITH (2021)
Gregory Kiar, Pablo de Oliveira Castro, Pierre Rioux, Eric Petit, Shawn T. Brown, Alan C. Evans, Tristan Glatard
Comparing perturbation models for evaluating stability of neuroimaging pipelines. Int. J. High Perform. Comput. Appl. 34 (5) (2020)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. CoRR (2020)
David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. ARITH (2020)
Yohan Chatelain, Eric Petit, Pablo de Oliveira Castro, Ghislain Lartigue, David Defour
Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods. Euro-Par (2019)
Gregory Kiar, Pablo de Oliveira Castro, Pierre Rioux, Eric Petit, Shawn T. Brown, Alan C. Evans, Tristan Glatard
Comparing Perturbation Models for Evaluating Stability of Post-Processing Pipelines in Neuroimaging. CoRR (2019)
Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, Marc Torrent
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. ARITH (2018)
Devan Sohier, Pablo de Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, Olivier Jamond
Confidence Intervals for Stochastic Arithmetic. CoRR (2018)
Clement Fontenaille, Eric Petit, Pablo de Oliveira Castro, Seijilo Uemura, Devan Sohier, Piotr Lesnicki, Ghislain Lartigue, Vincent Moureau
Scalable Work-Stealing Load-Balancer for HPC Distributed Memory Systems. Euro-Par Workshops (2018)
Mihail Popov, Chadi Akel, Yohan Chatelain, William Jalby, Pablo de Oliveira Castro
Piecewise holistic autotuning of parallel programs with CERE. Concurr. Comput. Pract. Exp. 29 (15) (2017)
Mihail Popov, Chadi Akel, William Jalby, Pablo de Oliveira Castro
Piecewise Holistic Autotuning of Compiler and Runtime Parameters. Euro-Par (2016)
Christophe Denis, Pablo de Oliveira Castro, Eric Petit
Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic. ARITH (2016)
Pablo de Oliveira Castro, Chadi Akel, Eric Petit, Mihail Popov, William Jalby
CERE: LLVM-Based Codelet Extractor and REplayer for Piecewise Benchmarking and Optimization. ACM Trans. Archit. Code Optim. 12 (1) (2015)
Mihail Popov, Chadi Akel, Florent Conti, William Jalby, Pablo de Oliveira Castro
PCERE: Fine-Grained Parallel Benchmark Decomposition for Scalability Prediction. IPDPS (2015)
Christophe Denis, Pablo de Oliveira Castro, Eric Petit
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. CoRR (2015)
Pablo de Oliveira Castro, Yuriy Kashnikov, Chadi Akel, Mihail Popov, William Jalby
Fine-grained Benchmark Subsetting for System Selection. CGO (2014)
Chadi Akel, Yuriy Kashnikov, Pablo de Oliveira Castro, William Jalby
Is Source-Code Isolation Viable for Performance Characterization? ICPP (2013)
Yuriy Kashnikov, Pablo de Oliveira Castro, Emmanuel Oseret, William Jalby
Evaluating architecture and compiler design through static loop analysis. HPCS (2013)
Pablo de Oliveira Castro, Eric Petit, Asma Farjallah, William Jalby
Adaptive sampling for performance characterization of application kernels. Concurr. Comput. Pract. Exp. 25 (17) (2013)
Pablo de Oliveira Castro, Eric Petit, Jean Christophe Beyler, William Jalby
ASK: Adaptive Sampling Kit for Performance Characterization. Euro-Par (2012)
Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou
A Multidimensional Array Slicing DSL for Stream Programming. CISIS (2010)
Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou
Reducing memory requirements of stream programs by graph transformations. HPCS (2010)