Markus Schordan
Lawrence Livermore National Laboratory
67 Papers
439 Citations
Markus Schordan is an academic researcher from Lawrence Livermore National Laboratory. The author has contributed to research in topics: Computer science & Benchmark (computing). The author has an hindex of 16, co-authored 60 publications. Previous affiliations of Markus Schordan include Vienna University of Technology & University of Applied Sciences Technikum Wien.
Chat about Author
Papers
ADAPT: algorithmic differentiation applied to floating-point precision tuning
Harshitha Menon,Michael O. Lam,Daniel Osei-Kuffuor,Markus Schordan,Scott Lloyd,Kathryn Mohror,Jeffrey Hittinger +6 more
- 11 Nov 2018
TL;DR: ADAPT provides a floating-point precision sensitivity profile while incurring an overhead of only a constant multiple of the original computation irrespective of the number of variables analyzed, which can be used to make algorithmic choices and to develop mixed-precision configurations of a program.
76
WCET Analysis: The Annotation Language Challenge
Raimund Kirner,Jens Knoop,Adrian Prantl,Markus Schordan,Ingomar Wenzel +4 more
- 01 Jan 2007
TL;DR: This paper proposes to complement the WCET tool challenge by a second closely related challenge: theWCET annotation language challenge, which is essential for the next major step of advancing the field of WCET analysis.
31
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations
Markus Schordan,Pei-Hung Lin,Daniel J. Quinlan,Louis-Noël Pouchet +3 more
- 08 Oct 2014
TL;DR: As processors gain in complexity and heterogeneity, compilers are asked to perform program transformations of ever-increasing complexity to effectively map an input program to the target hardware.
27
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
TL;DR: This article surveys the annotation languages which are considered formative for WCET analysis by investigating and comparing their individual strengths and limitations with respect to a set of pivotal criteria, and provides a coherent overview of the state of the art.
•Journal Article
Semantic-driven parallelization of loops operating on user-defined containers
TL;DR: ROSE as mentioned in this paper is a C++ infrastructure for source-to-source translation that provides an interface for programmers to easily write their own translators for optimizing the use of high-level abstractions.
26