Markus Schordan

59 papers A 6C 7Journal 10Unranked 33

Year	Rank	Type	Title / Venue / Authors
2022	—	`ch.`	Introduction. SSA-based Compiler Design Markus Schordan, Fabrice Rastello
2021	A	`conf`	HPAC: evaluating approximate computing techniques on HPC OpenMP applications. SC Konstantinos Parasyris, Giorgis Georgakoudis, Harshitha Menon, James Diffenderfer, Ignacio Laguna, Daniel Osei-Kuffuor, Markus Schordan
2020	—	`conf`	HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis. IISWC Konstantinos Parasyris, Ignacio Laguna, Harshitha Menon, Markus Schordan, Daniel Osei-Kuffuor, Giorgis Georgakoudis, Michael O. Lam, Tristan Vanderbruggen
2020	J	`jnl`	Introduction of the Software Technology Department. IT Prof. Markus Schordan
2020	—	`ch.`	Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. Selected Results of the COST Action IC1405 Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
2020	—	`conf`	Software Verification Tools (Track Introduction). ISoLA (4) Markus Schordan, Dirk Beyer, Irena Bojanova
2019	—	`conf`	Exploring Regression of Data Race Detection Tools Using DataRaceBench. CORRECTNESS@SC Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 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
2019	—	`conf`	Tool Integration for Source-Level Mixed Precision. CORRECTNESS@SC Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan
2018	—	`conf`	A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage. IWOMP Chunhua Liao, Pei-Hung Lin, Markus Schordan, Ian Karlin
2018	A	`conf`	ADAPT: algorithmic differentiation applied to floating-point precision tuning. SC Harshitha Menon, Michael O. Lam, Daniel Osei-Kuffuor, Markus Schordan, Scott Lloyd, Kathryn M. Mohror, Jeffrey Hittinger
2018	—	`conf`	Evaluating Tools for Software Verification (Track Introduction). ISoLA (2) Markus Schordan, Dirk Beyer, Stephen F. Siegel
2018	J	`jnl`	Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation. New Gener. Comput. Markus Schordan, Tomas Oppelstrup, David R. Jefferson, Peter D. Barnes Jr.
2018	A	`ed.`	Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018 CGO Jens Knoop, Markus Schordan, Teresa Johnson, Michael F. P. O'Boyle
2018	—	`conf`	Runtime and Memory Evaluation of Data Race Detection Tools. ISoLA (2) Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin
2018	—	`conf`	Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. CORRECTNESS@SC Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar
2017	A	`conf`	DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. SC Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, Ian Karlin
2017	—	`conf`	Dealing with Reversibility of Shared Libraries in PDES. SIGSIM-PADS Davide Cingolani, Alessandro Pellegrini, Markus Schordan, Francesco Quaglia, David R. Jefferson
2017	—	`conf`	The RERS 2017 challenge and workshop (invited paper). SPIN Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
2017	—	`conf`	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. CORRECTNESS@SC Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon
2016	—	`conf`	Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application. SIGSIM-PADS Markus Schordan, Tomas Oppelstrup, David R. Jefferson, Peter D. Barnes Jr., Daniel J. Quinlan
2016	—	`conf`	Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). ISoLA (1) Markus Schordan, Dirk Beyer, Jonas Lundberg
2016	—	`conf`	Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. ISoLA (1) Marc Jasper, Markus Schordan
2016	—	`conf`	RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2015	C	`conf`	Reverse Code Generation for Parallel Discrete Event Simulation. RC Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan
2014	J	`jnl`	Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges. Int. J. Softw. Tools Technol. Transf. Markus Schordan, Adrian Prantl
2014	J	`jnl`	Computation of alias sets from shape graphs for comparison of shape analysis precision. IET Softw. Viktor Pavlu, Markus Schordan, Andreas Krall
2014	—	`conf`	Evaluation and Reproducibility of Program Analysis (Track Introduction). ISoLA (2) Markus Schordan, Welf Löwe, Dirk Beyer
2014	—	`conf`	Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. ISoLA (2) Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Noël Pouchet
2013	J	`jnl`	Comparison of type-based and alias-based component recognition for embedded systems software. Int. J. Softw. Tools Technol. Transf. Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop
2012	J	`jnl`	Graphical processing units and scientific applications. Int. J. High Perform. Comput. Appl. Beniamino Di Martino, Eduard Mehofer, Daniel J. Quinlan, Markus Schordan
2011	J	`jnl`	Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
2011	C	`conf`	Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. SCAM Viktor Pavlu, Markus Schordan, Andreas Krall
2009	C	`conf`	Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. ISORC Dietmar Schreiner, Markus Schordan, Jens Knoop
2009	C	`conf`	Component Based Middleware-Synthesis for AUTOSAR Basic Software. ISORC Dietmar Schreiner, Markus Schordan, Karl M. Göschka
2009	J	`jnl`	Constraint solving for high-level WCET analysis CoRR Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
2009	—	`conf`	From Trusted Annotations to Verified Knowledge. WCET Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
2008	—	`conf`	08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2008	C	`conf`	ALL-TIMES - A European Project on Integrating Timing Technology. ISoLA Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat
2008	—	`ed.`	Scalable Program Analysis, 13.04. - 18.04.2008 Scalable Program Analysis Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2008	—	`conf`	Source-To-Source Analysis with SATIrE - an Example Revisited. Scalable Program Analysis Markus Schordan
2008	—	`conf`	Towards a Common WCET Annotation Language: Essential Ingredients. WCET Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
2008	—	`conf`	TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET Adrian Prantl, Markus Schordan, Jens Knoop
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 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
2007	—	`conf`	WCET Analysis: The Annotation Language Challenge. WCET Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
2006	A	`conf`	Annotating user-defined abstractions for optimization. IPDPS Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi
2006	J	`jnl`	The Language of the Visitor Design Pattern. J. Univers. Comput. Sci. Markus Schordan
2005	C	`conf`	Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar. SCAM Markus Schordan, Daniel J. Quinlan
2004	C	`conf`	Classification and Utilization of Abstractions for Optimization. ISoLA Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen
2004	—	`conf`	Classification and Utilization of Abstractions for Optimization. ISoLA (Preliminary proceedings) Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen
2004	J	`jnl`	Parallel object-oriented framework optimization. Concurr. Comput. Pract. Exp. Daniel J. Quinlan, Markus Schordan, Brian Miller, Markus Kowarschik
2003	—	`conf`	A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives. WOMPAT Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski
2003	—	`conf`	A Source-to-Source Architecture for User-Defined Optimizations. JMLC Markus Schordan, Daniel J. Quinlan
2003	—	`conf`	Semantic-Driven Parallelization of Loops Operating on User-Defined Containers. LCPC Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski
2003	—	`conf`	Topic Introduction. Euro-Par Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan
2002	A	`conf`	Treating a User-Defined Parallel Library as a Domain-Specific Language. IPDPS Daniel J. Quinlan, Brian Miller, Bobby Philip, Markus Schordan
2001	—	`conf`	The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications. LCPC Daniel J. Quinlan, Markus Schordan, Bobby Philip, Markus Kowarschik
1999	—	`conf`	PAOLA - Program Analysis of Object-Oriented Languages. ECOOP Workshops Wolfram Amme, Markus Schordan, László Böszörményi, Wilhelm R. Rossak
1998	—	`conf`	JavaSet - eine Spracherweiterung von Java um persistente Mengen. Java-Informations-Tage Markus Schordan, Harald Kosch