Author of the publication

Compiler-Assisted Type-Safe Checkpointing.

, , , and . ISC Workshops, volume 12321 of Lecture Notes in Computer Science, page 5-18. Springer, (2020)

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

Parallel Bandreduction and Tridiagonalization., , and . PPSC, page 383-390. SIAM, (1993)Parallel Studies of the Invariant Subspace Decomposition Approach for Banded Symmetric Matrices., , , , and . PPSC, page 516-521. SIAM, (1995)On the Design of a Tridiagonalization Routine for Banded Matrices., and . PPSC, page 522-527. SIAM, (1995)On the implementation of automatic differentiation tools., , and . High. Order Symb. Comput., 21 (3): 311-331 (2008)Numerical Optimization At the Center for Research On Parallel Computation., , , , , , , , , and 4 other author(s). Int. J. High Perform. Comput. Appl., 8 (2): 143-153 (1994)A new user interface for ADiMat: toward accurate and efficient derivatives of MATLAB programmes with ease of use., , and . Int. J. Comput. Sci. Eng., 9 (5/6): 408-415 (2014)A Cholesky Up- and Downdating Algorithm for Systolic and SIMD Architectures., , and . SIAM J. Sci. Comput., 14 (3): 670-676 (1993)Structure-Preserving and Rank-Revealing QR-Factorizations., and . SIAM J. Sci. Comput., 12 (6): 1332-1350 (1991)SimAnMo - A parallelized runtime model generator., , and . Concurr. Comput. Pract. Exp., (2022)Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes., , , and . Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 198-205. Springer, (2003)