| A source-to-source architecture for user-defined optimizations M Schordan, D Quinlan Joint Modular Languages Conference, 214-223, 2003 | 187 | 2003 |
| 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 | 88 | 2017 |
| 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 | 82 | 2018 |
| 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 | 68 | 2008 |
| 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 | 41 | 2015 |
| 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 | 41 | 2007 |
| 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 | 37 | 2011 |
| 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 | 36 | 2018 |
| 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 | 34 | 2014 |
| 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 | 32 | 2019 |
| Constraint solving for high-level WCET analysis A Prantl, J Knoop, M Schordan, M Triska arXiv preprint arXiv:0903.2251, 2009 | 32 | 2009 |
| ROSE compiler infrastructure D Quinlan, C Liao, J Too, RP Matzke, M Schordan, PH Lin ed, 2012 | 30 | 2012 |
| 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 | 30 | 2004 |
| 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 | 27 | 2004 |
| 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 | 27 | 2001 |
| 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 | 25 | 2017 |
| 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 | 24 | 2016 |
| Classification and utilization of abstractions for optimization D Quinlan, M Schordan, Q Yi, A Saebjornsen Leveraging Applications of Formal Methods: First International Symposium …, 2006 | 24 | 2006 |
| 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 | 24 | 2003 |
| 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 | 23 | 2016 |
