Author of the publication

Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.

, , , and . CLUSTER, page 481-491. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Poster: High-level, one-sided programming models on MPI: a case study with global arrays and NWChem., , , , and . SC Companion, page 37-38. ACM, (2011)Global transformations for legacy parallel applications via structural analysis and rewriting., , , , and . Parallel Comput., (2015)Empirical performance model-driven data layout optimization and library call selection for tensor contraction expressions., , , , , and . J. Parallel Distributed Comput., 72 (3): 338-352 (2012)Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver., , , , , , and . J. Parallel Distributed Comput., 66 (5): 659-673 (2006)Compiler-assisted detection of transient memory errors., , and . PLDI, page 204-215. ACM, (2014)Lifeline-based global load balancing., , , , and . PPoPP, page 201-212. ACM, (2011)Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation., , , and . CLUSTER, page 481-491. IEEE, (2021)A domain-specific compiler for a parallel multiresolution adaptive numerical simulation environment., , , , , , and . SC, page 468-479. IEEE Computer Society, (2016)Data management and query - Hypergraph partitioning for automatic memory hierarchy management., , , , and . SC, page 98. ACM Press, (2006)Global trees: a framework for linked data structures on distributed memory parallel systems., , , , , and . SC, page 57. IEEE/ACM, (2008)