Author image not provided
 Jan Christian Hückelheim

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article0.00
Citation Count0
Publication count3
Publication years2017-2017
Available for download3
Average downloads per article39.67
Downloads (cumulative)119
Downloads (12 Months)119
Downloads (6 Weeks)23
SEARCH
ROLE


AUTHOR'S COLLEAGUES
See all colleagues of this author




BOOKMARK & SHARE


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

1 published by ACM
November 2017 Correctness'17: Proceedings of the First International Workshop on Software Correctness for HPC Applications
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 8,   Downloads (12 Months): 18,   Downloads (Overall): 18

Full text available: PDFPDF
The semantics of floating-point computations are known to be difficult to verify. Software verification tools often provide little or no support for floating-point semantics, making it difficult to prove the correctness of an optimized variant of a program involving floating-point computations. In this paper we present an approach for verifying ...

2 published by ACM
November 2017 Correctness'17: Proceedings of the First International Workshop on Software Correctness for HPC Applications
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 8,   Downloads (12 Months): 20,   Downloads (Overall): 20

Full text available: PDFPDF
Code generation from domain-specific languages is becoming increasingly popular as a method to obtain optimised low-level code that performs well on a given platform and for a given problem instance. Ensuring the correctness of generated codes is crucial. At the same time, testing or manual inspection of the code is ...
Keywords: Formal methods, Verification, Equivalence checking, Code generation, Specification, Symbolic execution, HPC

3 published by ACM
January 2017 ACM Transactions on Mathematical Software (TOMS): Volume 43 Issue 4, March 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 7,   Downloads (12 Months): 81,   Downloads (Overall): 81

Full text available: PDFPDF
Algorithmic differentiation (AD) by source-transformation is an established method for computing derivatives of computational algorithms. Static dataflow analysis is commonly used by AD tools to determine the set of active variables, that is, variables that are influenced by the program input in a differentiable way and have a differentiable influence ...
Keywords: adjoint, Activity analysis, source transformation, static analysis, Algorithmic differentiation, automatic differentiation, reverse mode, tangent-linear



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us