Markus Schordan

According to our database, Markus Schordan authored at least 55 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Introduction.

Markus Schordan, Fabrice Rastello

Proceedings of the SSA-based Compiler Design, 2022

2021

HPAC: evaluating approximate computing techniques on HPC OpenMP applications.

Konstantinos Parasyris, Giorgis Georgakoudis, Harshitha Menon, James Diffenderfer, Ignacio Laguna, Daniel Osei-Kuffuor, Markus Schordan

Proceedings of the International Conference for High Performance Computing, 2021

2020

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.

Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Introduction of the Software Technology Department.

Markus Schordan

IT Prof., 2020

Software Verification Tools (Track Introduction).

Markus Schordan, Dirk Beyer, Irena Bojanova

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis.

Konstantinos Parasyris, Ignacio Laguna, Harshitha Menon, Markus Schordan, Daniel Osei-Kuffuor, Giorgis Georgakoudis, Michael O. Lam, Tristan Vanderbruggen

Proceedings of the IEEE International Symposium on Workload Characterization, 2020

2019

RERS 2019: Combining Synthesis with Real-World Models.

Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Exploring Regression of Data Race Detection Tools Using DataRaceBench.

Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

Tool Integration for Source-Level Mixed Precision.

Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation.

Markus Schordan, Tomas Oppelstrup, David R. Jefferson, Peter D. Barnes Jr.

New Gener. Comput., 2018

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.

Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

ADAPT: algorithmic differentiation applied to floating-point precision tuning.

Harshitha Menon, Michael O. Lam, Daniel Osei-Kuffuor, Markus Schordan, Scott Lloyd, Kathryn M. Mohror, Jeffrey Hittinger

Proceedings of the International Conference for High Performance Computing, 2018

A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage.

Chunhua Liao, Pei-Hung Lin, Markus Schordan, Ian Karlin

Proceedings of the Evolving OpenMP for Evolving Architectures, 2018

Evaluating Tools for Software Verification (Track Introduction).

Markus Schordan, Dirk Beyer, Stephen F. Siegel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Runtime and Memory Evaluation of Data Race Detection Tools.

Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

The RERS 2017 challenge and workshop (invited paper).

Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.

Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools.

Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, Ian Karlin

Proceedings of the International Conference for High Performance Computing, 2017

Dealing with Reversibility of Shared Libraries in PDES.

Davide Cingolani, Alessandro Pellegrini, Markus Schordan, Francesco Quaglia, David R. Jefferson

Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

2016

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

Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).

Markus Schordan, Dirk Beyer, Jonas Lundberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.

Marc Jasper, Markus Schordan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Reverse Code Generation for Parallel Discrete Event Simulation.

Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Markus Schordan, Adrian Prantl

Int. J. Softw. Tools Technol. Transf., 2014

Computation of alias sets from shape graphs for comparison of shape analysis precision.

Viktor Pavlu, Markus Schordan, Andreas Krall

IET Softw., 2014

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.

Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Noël Pouchet

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Evaluation and Reproducibility of Program Analysis (Track Introduction).

Markus Schordan, Welf Löwe, Dirk Beyer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Comparison of type-based and alias-based component recognition for embedded systems software.

Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop

Int. J. Softw. Tools Technol. Transf., 2013

2012

Graphical processing units and scientific applications.

Beniamino Di Martino, Eduard Mehofer, Daniel J. Quinlan, Markus Schordan

Int. J. High Perform. Comput. Appl., 2012

2011

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec

Softw. Syst. Model., 2011

2009

Constraint solving for high-level WCET analysis

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska

CoRR, 2009

From Trusted Annotations to Verified Knowledge.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach.

Dietmar Schreiner, Markus Schordan, Jens Knoop

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Component Based Middleware-Synthesis for AUTOSAR Basic Software.

Dietmar Schreiner, Markus Schordan, Karl M. Göschka

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.

Adrian Prantl, Markus Schordan, Jens Knoop

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Towards a Common WCET Annotation Language: Essential Ingredients.

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.

Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat

Proceedings of the Leveraging Applications of Formal Methods, 2008

Source-To-Source Analysis with SATIrE - an Example Revisited.

Markus Schordan

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

08161 Abstracts Collection - Scalable Program Analysis.

Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007

WCET Analysis: The Annotation Language Challenge.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

The Language of the Visitor Design Pattern.

Markus Schordan

J. Univers. Comput. Sci., 2006

Annotating user-defined abstractions for optimization.

Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar.

Markus Schordan, Daniel J. Quinlan

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

2004

Parallel object-oriented framework optimization.

Daniel J. Quinlan, Markus Schordan, Brian Miller, Markus Kowarschik

Concurr. Comput. Pract. Exp., 2004

Classification and Utilization of Abstractions for Optimization.

Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen

Proceedings of the Leveraging Applications of Formal Methods, 2004

2003

A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives.

Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski

Proceedings of the OpenMP Shared Memory Parallel Programming, 2003

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers.

Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski

Proceedings of the Languages and Compilers for Parallel Computing, 2003

A Source-to-Source Architecture for User-Defined Optimizations.

Markus Schordan, Daniel J. Quinlan

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Topic Introduction.

Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Treating a User-Defined Parallel Library as a Domain-Specific Language.

Daniel J. Quinlan, Brian Miller, Bobby Philip, Markus Schordan

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications.

Daniel J. Quinlan, Markus Schordan, Bobby Philip, Markus Kowarschik

Proceedings of the Languages and Compilers for Parallel Computing, 2001

1999

PAOLA - Program Analysis of Object-Oriented Languages.

Wolfram Amme, Markus Schordan, László Böszörményi, Wilhelm R. Rossak

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

JavaSet - eine Spracherweiterung von Java um persistente Mengen.

Markus Schordan, Harald Kosch

Proceedings of the JIT '98, 1998