Follow
Markus Schordan
Title
Cited by
Cited by
Year
A source-to-source architecture for user-defined optimizations
M Schordan, D Quinlan
Joint Modular Languages Conference, 214-223, 2003
1872003
DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools
C Liao, PH Lin, J Asplund, M Schordan, I Karlin
Proceedings of the International Conference for High Performance Computing …, 2017
842017
ADAPT: Algorithmic differentiation applied to floating-point precision tuning
H Menon, MO Lam, D Osei-Kuffuor, M Schordan, S Lloyd, K Mohror, ...
SC18: International Conference for High Performance Computing, Networking …, 2018
792018
TuBound-a conceptually new tool for worst-case execution time analysis
A Prantl, M Schordan, J Knoop
8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)(2008), 2008
672008
Reverse code generation for parallel discrete event simulation
M Schordan, D Jefferson, P Barnes, T Oppelstrup, D Quinlan
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
412015
WCET analysis: The annotation language challenge
R Kirner, J Knoop, A Prantl, M Schordan, I Wenzel
7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), 2007
412007
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
R Kirner, J Knoop, A Prantl, M Schordan, A Kadlec
Software & Systems Modeling 10 (3), 411-437, 2011
372011
Generation of reversible C++ code for optimistic parallel discrete event simulation
M Schordan, T Oppelstrup, D Jefferson, PD Barnes
New Generation Computing 36, 257-280, 2018
342018
Verification of polyhedral optimizations with constant loop bounds in finite state space computations
M Schordan, PH Lin, D Quinlan, LN Pouchet
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
342014
Constraint solving for high-level WCET analysis
A Prantl, J Knoop, M Schordan, M Triska
arXiv preprint arXiv:0903.2251, 2009
322009
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
312019
ROSE compiler infrastructure
D Quinlan, C Liao, J Too, RP Matzke, M Schordan, PH Lin
ed, 2012
302012
Semantic-driven parallelization of loops operating on user-defined containers
D Quinlan, M Schordan, Q Yi, BR de Supinski
Languages and Compilers for Parallel Computing: 16th International Workshop …, 2004
302004
Parallel object‐oriented framework optimization
DJ Quinlan, M Schordan, B Miller, M Kowarschik
Concurrency and Computation: Practice and Experience 16 (2‐3), 293-302, 2004
272004
Treating a user-defined parallel library as a domain-specific language
D Quinlan, B Miller, M Schordan, B Philip
Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2001
272001
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
242017
Automatic generation of reversible C++ code and its performance in a scalable kinetic Monte-Carlo application
M Schordan, T Oppelstrup, D Jefferson, PD Barnes Jr, D Quinlan
Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced …, 2016
242016
Classification and utilization of abstractions for optimization
D Quinlan, M Schordan, Q Yi, A Saebjornsen
Leveraging Applications of Formal Methods: First International Symposium …, 2006
242006
The specification of source-to-source transformations for the compile-time optimization of parallel object-oriented scientific applications
DJ Quinlan, M Schordan, B Philip, M Kowarschik
Languages and Compilers for Parallel Computing: 14th International Workshop …, 2003
242003
RERS 2016: parallel and sequential benchmarks with focus on LTL verification
M Geske, M Jasper, B Steffen, F Howar, M Schordan, J van de Pol
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
222016
The system can't perform the operation now. Try again later.
Articles 1–20