Author of the publication

Towards Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications.

, , , , , , , and . FTXS@SC, page 47-52. IEEE, (2022)

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

Reliable Model Compression via Label-Preservation-Aware Loss Functions., , , , , , , and . CoRR, (2020)Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model., , , and . SPAA, page 231-239. ACM, (1998)VLSI asynchronous systems: specification and synthesis., and . Microprocess. Microsystems, 16 (10): 517-527 (1992)A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 292-309. Springer, (2002)Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)., , , , , and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 329-330. Springer, (2009)Portable inter-workgroup barrier synchronisation for GPUs., , , , and . OOPSLA, page 39-58. ACM, (2016)Rigorous floating-point mixed-precision tuning., , , , , and . POPL, page 300-315. ACM, (2017)FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC., , , and . IISWC, page 39-50. IEEE, (2022)Verifying Advanced Microarchitectures that Support Speculation and Exceptions., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 521-537. Springer, (2000)QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 401-413. Springer, (2004)