Markus Schordan
Lawrence Livermore National Laboratory(US)University of Limerick(IE)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Formal Methods in Verification, Distributed and Parallel Computing Systems, Software Testing and Debugging Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → A Source-To-Source Architecture for User-Defined Optimizations(2003)117 cited
- → ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning(2018)71 cited
- → DataRaceBench(2017)66 cited
- → Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation(2018)39 cited
- → TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis(2008)33 cited
- → Reverse Code Generation for Parallel Discrete Event Simulation(2015)30 cited
- → Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free(2018)23 cited