author-photo

Markus Schordan

Lawrence Livermore National Laboratory
Vienna University of Technology

71

Papers

694

Citations

Citation Trend

Filter By

Papers (47) Sort By

Journal Conference Others

Reversible Computing in Debugging of Erlang Programs.

2022 IT Prof.
Show All
- Source
- Cite
- Save
Citations (0)
HPAC: evaluating approximate computing techniques on HPC OpenMP applications

2021 HiPC | IEEE International Conference on High Performance Computing, Data, and Analytics
Show All
- Source
- Cite
- Save
Citations (0)
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.

2020
Show All
- Source
- Cite
- Save
Citations (5)
Variable Precision Computing

2019
Show All
- Source
- Cite
- Save
Citations (1)
RERS 2019: Combining Synthesis with Real-World Models

2019 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (13)
Exploring Regression of Data Race Detection Tools Using DataRaceBench

2019
Show All
- Source
- Cite
- Save
Citations (6)
Evaluating Tools for Software Verification (Track Introduction)

2018 ISoLA | Leveraging Applications of Formal Methods
Show All
- Source
- Cite
- Save
Citations (1)
Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation

2018 New Generation Computing
Show All
- Source
- Cite
- Save
Citations (13)
Runtime and Memory Evaluation of Data Race Detection Tools

2018 ISoLA | Leveraging Applications of Formal Methods
Show All
- Source
- Cite
- Save
Citations (4)
ADAPT: algorithmic differentiation applied to floating-point precision tuning

2018 HiPC | IEEE International Conference on High Performance Computing, Data, and Analytics
Show All
- Source
- Cite
- Save
Citations (28)