default search action
Pablo de Oliveira Castro
Person information
- affiliation: University of Versailles, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
Bounds on Nonlinear Errors for Variance Computation with Stochastic Rounding. SIAM J. Sci. Comput. 46(5): 579- (2024) - [i9]Yanxiang Chen, Pablo de Oliveira Castro, Paolo Bientinesi, Roman Iakymchuk:
Enabling mixed-precision with the help of tools: A Nekbone case study. CoRR abs/2405.11065 (2024) - [i8]Aurélien Delval, François Coppens, Eric Petit, Roman Iakymchuk, Pablo de Oliveira Castro:
Verificarlo CI: continuous integration for numerical optimization and debugging. CoRR abs/2407.08262 (2024) - 2023
- [j7]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): 255- (2023) - [i7]El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
Bounds on non-linear errors for variance computation with stochastic rounding. CoRR abs/2304.05177 (2023) - 2022
- [b1]Pablo de Oliveira Castro:
High Performance Computing code optimizations: Tuning performance and accuracy. University of Paris-Saclay, France, 2022 - [c16]El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
The Positive Effects of Stochastic Rounding in Numerical Algorithms. ARITH 2022: 58-65 - [i6]El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
The Positive Effects of Stochastic Rounding in Numerical Algorithms. CoRR abs/2207.03837 (2022) - [i5]El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
Stochastic rounding variance and probabilistic bounds: A new approach. CoRR abs/2207.10321 (2022) - 2021
- [j6]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): 1467-1478 (2021) - [j5]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): 10:1-10:33 (2021) - [c15]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Shadow computation with BFloat16 to estimate the numerical accuracy of summations. ARITH 2021: 33-36 - [c14]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: 62 - 2020
- [j4]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) - [c13]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. ARITH 2020: 121-124 - [i4]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. CoRR abs/2005.02732 (2020)
2010 – 2019
- 2019
- [c12]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: 481-494 - [i3]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 abs/1908.10922 (2019) - 2018
- [c11]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: 61-68 - [c10]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: 146-158 - [i2]Devan Sohier, Pablo de Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, Olivier Jamond:
Confidence Intervals for Stochastic Arithmetic. CoRR abs/1807.09655 (2018) - 2017
- [j3]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) - [e1]Ali Jannesari, Pablo de Oliveira Castro, Yukinori Sato, Tim Mattson:
Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2017, Vancouver, BC, Canada, October 23, 2017. ACM 2017, ISBN 978-1-4503-5517-9 [contents] - 2016
- [c9]Christophe Denis, Pablo de Oliveira Castro, Eric Petit:
Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic. ARITH 2016: 55-62 - [c8]Mihail Popov, Chadi Akel, William Jalby, Pablo de Oliveira Castro:
Piecewise Holistic Autotuning of Compiler and Runtime Parameters. Euro-Par 2016: 238-250 - 2015
- [j2]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): 6:1-6:24 (2015) - [c7]Mihail Popov, Chadi Akel, Florent Conti, William Jalby, Pablo de Oliveira Castro:
PCERE: Fine-Grained Parallel Benchmark Decomposition for Scalability Prediction. IPDPS 2015: 1151-1160 - [i1]Christophe Denis, Pablo de Oliveira Castro, Eric Petit:
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. CoRR abs/1509.01347 (2015) - 2014
- [c6]Pablo de Oliveira Castro, Yuriy Kashnikov, Chadi Akel, Mihail Popov, William Jalby:
Fine-grained Benchmark Subsetting for System Selection. CGO 2014: 132 - 2013
- [j1]Pablo de Oliveira Castro, Eric Petit, Asma Farjallah, William Jalby:
Adaptive sampling for performance characterization of application kernels. Concurr. Comput. Pract. Exp. 25(17): 2345-2362 (2013) - [c5]Chadi Akel, Yuriy Kashnikov, Pablo de Oliveira Castro, William Jalby:
Is Source-Code Isolation Viable for Performance Characterization? ICPP 2013: 977-984 - [c4]Yuriy Kashnikov, Pablo de Oliveira Castro, Emmanuel Oseret, William Jalby:
Evaluating architecture and compiler design through static loop analysis. HPCS 2013: 535-544 - 2012
- [c3]Pablo de Oliveira Castro, Eric Petit, Jean Christophe Beyler, William Jalby:
ASK: Adaptive Sampling Kit for Performance Characterization. Euro-Par 2012: 89-101 - 2010
- [c2]Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou:
A Multidimensional Array Slicing DSL for Stream Programming. CISIS 2010: 913-918 - [c1]Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou:
Reducing memory requirements of stream programs by graph transformations. HPCS 2010: 171-180
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint