| 2021 | SC | HPAC: evaluating approximate computing techniques on HPC OpenMP applications. | Konstantinos Parasyris, Giorgis Georgakoudis, Harshitha Menon, James Diffenderfer, Ignacio Laguna, Daniel Osei-Kuffuor, Markus Schordan |
| 2020 | ISoLA | Software Verification Tools (Track Introduction). | Markus Schordan, Dirk Beyer, Irena Bojanova |
| 2019 | SC | Tool Integration for Source-Level Mixed Precision. | Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan |
| 2019 | SC | Exploring Regression of Data Race Detection Tools Using DataRaceBench. | Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | ISoLA | Runtime and Memory Evaluation of Data Race Detection Tools. | Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin |
| 2018 | ISoLA | Evaluating Tools for Software Verification (Track Introduction). | Markus Schordan, Dirk Beyer, Stephen F. Siegel |
| 2018 | SC | 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 |
| 2018 | SC | Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. | Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar |
| 2017 | PADS | Dealing with Reversibility of Shared Libraries in PDES. | Davide Cingolani, Alessandro Pellegrini, Markus Schordan, Francesco Quaglia, David R. Jefferson |
| 2017 | SC | DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. | Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, Ian Karlin |
| 2017 | SC | Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. | Markus Schordan, Jan Hckelheim, Pei-Hung Lin, Harshitha Menon |
| 2016 | ISoLA | RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. | Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol |
| 2016 | ISoLA | Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. | Marc Jasper, Markus Schordan |
| 2016 | ISoLA | Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). | Markus Schordan, Dirk Beyer, Jonas Lundberg |
| 2016 | PADS | Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application. | Markus Schordan, Tomas Oppelstrup, David R. Jefferson, Peter D. Barnes Jr., Daniel J. Quinlan |
| 2015 | RC | Reverse Code Generation for Parallel Discrete Event Simulation. | Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan |
| 2014 | ISoLA | Evaluation and Reproducibility of Program Analysis (Track Introduction). | Markus Schordan, Welf Lwe, Dirk Beyer |
| 2014 | ISoLA | Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. | Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Nol Pouchet |
| 2011 | SCAM | Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. | Viktor Pavlu, Markus Schordan, Andreas Krall |
| 2009 | ISORC | Component Based Middleware-Synthesis for AUTOSAR Basic Software. | Dietmar Schreiner, Markus Schordan, Karl M. Gschka |
| 2009 | ISORC | Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. | Dietmar Schreiner, Markus Schordan, Jens Knoop |
| 2008 | ISoLA | ALL-TIMES - A European Project on Integrating Timing Technology. | Jan Gustafsson, Bjrn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat |
| 2005 | SCAM | Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar. | Markus Schordan, Daniel J. Quinlan |
| 2004 | ISoLA | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 2004 | ISoLA | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 2003 | EuroPar | Topic Introduction. | Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan |