Markus Schordan, TU Wien

Publications

Journal Publications

[P28] Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Albrecht Kadlec
Journal of Software and System Modelling, Springer online-edition, published on-line April 9, 2010, DOI: http://dx.doi.org/10.1007/s10270-010-0161-0, 27 pages.

[P27] The Language of the Visitor Design Pattern
Markus Schordan
Journal of Universal Computer Science (JUCS), Vol. 12, No. 7, pp. 849-867, August 2006.
Special Issue: Selected Papers from The 10th Brazilian Symposium on Programming Languages. Issue edited by Mariza Andrade Silva Bigonha and Alex de Vasconcellos Garcia
Download: [postscript][pdf][bibtex]
[P26] Parallel Object-Oriented Framework Optimization
Daniel Quinlan, Markus Schordan, Brian Miller, and Markus Kowarschik
Concurrency and Computation: Practice and Experience
Volume 16, Issue 2-3 , pp. 293-302
Special Issue: Compilers for Parallel Computers. Issue Edited by Michael O'Boyle.
Copyright © 2004 John Wiley & Sons, Ltd.
Download: [pdf]

Peer-Reviewed Conference and Workshop Publications

[P25]
From Trusted Annotations to Verified Knowledge
Adrian Prantl, Jens Knoop, Raimund Kirner, Markus Schordan, and Albrecht Kadlec
In Post-Workshop Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland, Austrian Computer Society, Volume 252, ISBN 978-3-85403-252-6, pp. 39 - 49, 2009.
[P24]
From Trusted Annotations to Verified Knowledge
Adrian Prantl, Jens Knoop, Raimund Kirner, Markus Schordan, and Albrecht Kadlec
In Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland, pp. 35 - 45, June 30, 2009.
[P23]
Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach
Dietmar Schreiner, Markus Schordan, and Jens Knoop
In Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), Tokyo, Japan, ISBN 978-0-7695-3573-9, pp. 288 - 292, March 17-20, 2009.
[P22]
Component Based Middleware-Synthesis for AUTOSAR Basic Software
Dietmar Schreiner, Markus Schordan, Karl M. Göschka
Proceedings of the '12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC09)', Tokyo, Japan, ISBN 978-0-7695-3573-9, March 17-20, 2009.
[P21]
Constraint Solving for High-Level WCET Analysis
Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
In Proceedings of the 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008), pp. 77-88, Udine, Italy, December 12, 2008.
[P20]
ALL-TIMES - a European Project on Integrating Timing Technology
Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Marek Jersak, Guillem Bernat
In Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), pp. 445-459, Springer, Porto Sani, Greece, Editors: Tiziana Margaria and Bernhard Steffen.
[P19]
Source Code based Component Recognition in Software Stacks for Embedded Systems
Dietmar Schreiner, Markus Schordan, Gergo Barany, Karl Göschka
In Proceedings of the 4th ASME/IEEE International Conference of Mechatronic and Embedded Systems and Applications (MESA 2008), pp. 463-468, ISBN: 978-1-4244-2368-2, Beijing, China, Oct 12-15, 2008.
[P18]
Towards a Common WCET Annotation Language: Essential Ingredients
Raimund Kirner, Albrecht Kadlec, Peter Puschner, Adrian Prantl, Markus Schordan, Jens Knoop
In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, pp. 53 - 65., Prague, Czech Republic, July 1, 2008.
[P17]
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis
Adrian Prantl, Markus Schordan, Jens Knoop
In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, pp. 141 - 148, Prague, Czech Republic, July 1, 2008.
[P16]
WCET Analysis: The Annotation Language Challenge
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
7th Workshop on WCET Analysis, Pisa, Italy, July 3, 2007.
In Post-Workshop Proceedings of the 7th   International Workshop on Worst-Case Execution Time   Analysis (WCET 2007), pp. 83-99, 2007.
[P15]
Classification and Utilization of Abstractions for Optimization
Daniel Quinlan, Markus Schordan, Qing Yi, and Andreas Saebjornsen
Leveraging Applications of Formal Methods, First International Symposium , ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers (ISoLA'04)
Lecture Notes in Computer Science, Volume 4313, pp. 57-73, Springer Verlag, ISSN 0302-9743, ISBN 978-3-540-48928-3, November 02, 2006.
Download: [postscript]
[P14]
The Language of the Visitor Design Pattern
Markus Schordan
10th Brazilian Symposium on Programming Languages (SBLP'06)
Itatiaia, Rio de Janeiro, Brazil, May 2006.
Proceedings of the 10th Brazilian Symposium on Programming Languages, pp. 235-248, ISBN 85-7669-071-3, ANAIS, May 2006.
Download: [postscript][pdf]
[P13]
Annotating User-Defined Abstractions for Optimization
Daniel Quinlan, Markus Schordan, Richard Vuduc, and Qing Yi
Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL'06) in conjunction with 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006)
Rhodes Island, Greece, April 2006.
Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006), Workshop on Performance Optimization for High-Level Languages and Libraries, CDROM, IEEE Computer Society, 2006.
Download: [postscript]
[P12]
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
Markus Schordan and Daniel Quinlan
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05)
Budapest, Hungary, September 2005.
Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation, pp. 97-106, IEEE, ISBN 0-7695-2292-0, 2005.
Download: [postscript][pdf][bibtex]
[P11]
Toward the Automated Generation of Components from Existing Source Code
Daniel Quinlan, Qing Yi, Gary Kumfert, Thomas Epperly, and Tamara Dahlgren, Markus Schordan, and Brian White
2nd Workshop on Productivity and Performance in High-End Computing (P-PHEC)
San Francisco, CA, U.S.A, February 2005.
Proceedings of the 2nd Workshop on Productivity and Performance in High-End Computing, pp. 12-19, 2005.
Download: [pdf]
[P10]
Classification and Utilization of Abstractions for Optimization
Daniel Quinlan, Markus Schordan, Qing Yi, and Andreas Saebjornsen
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)
Preliminary Proceedings, pp. 2-9, TR-2004-6, Department of Computer Science, University Cyprus, October 2004.
Download: [postscript]
[P09]
Semantic-Driven Parallelization of Loops Operating on User-Defined Containers
Daniel Quinlan, Markus Schordan, Qing Yi, and Bronis de Supinski
16th Annual Workshop on Languages and Compilers for Parallel Computing (LCPC'03), College Station, TX, USA, October 2-4, 2003. Revised Papers.
Lecture Notes in Computer Science, vol. 2958, pp. 524-538, Springer Verlag, May 2004
Download: [postscript]
[P08]
A Source-To-Source Architecture for User-Defined Optimizations
Markus Schordan and Daniel Quinlan
Joint Modular Languages Conference (JMLC'03)
Lecture Notes in Computer Science, vol. 2789, pp. 214-223, ISBN 978-3-540-40796-6, Springer Verlag, August 2003.
Download: [postscript]
[P07]
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives
Daniel Quinlan, Markus Schordan, Qing Yi, and Bronis de Supinski
Workshop on OpenMP Applications and Tools (WOMPAT'03)
Lecture Notes in Computer Science, vol. 2716, pp. 13-25, Springer Verlag, June 2003.
Download: [postscript]
[P06]
Treating a User-Defined Parallel Library as a Domain-Specific Language
Daniel Quinlan, Brian Miller, Bobby Philip, and Markus Schordan
7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'02)
In Proceedings of the 16th International Parallel and Distributed Processing Symposium
Ft. Lauderdale, USA, pp. 105-114, IEEE Press, April 2002.
Download: [postscript]
[P05]
The Specification of Source-To-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications
Dan Quinlan, Markus Schordan, Bobby Philip, and Markus Kowarschik
In Proceedings of the 14th International Workshop on Languages and Compilers for Parallel Computing (LCPC'01)
Lecture Notes in Computer Science, vol. 2624, pp. 570-578, Springer Verlag, August 2001.
Download: [postscript]
[P04]
Virtual Method Resolution with Typed Alias Graphs
Markus Schordan and Wolfram Amme
In Proceedings of the 8th International Workshop on Compilers for Parallel Computers (CPC'00)
Aussois, France, pp. 151-162, January 2000.
Download: [postscript]
[P03]
PAOLA-Program Analysis of Object-Oriented Languages
Wolfram Amme, Markus Schordan, Wilhelm Rossak, and Laszlo Boeszoermenyi
International Workshop on Aliasing in Object-Oriented Systems (IWAOOS'99)
In European Conference on Object-Oriented Programming (ECOOP'99) Workshop Reader, Lisbon, Portugal,
Lecture Notes in Computer Science, vol. 1743, pp. 143-146, Springer Verlag, June 1999.
Download: [postscript]
[P02]
JavaSet: extending Java by persistent sets
Markus Schordan, Harald Kosch, and Laszlo Boeszoermenyi
In Proceedings of the 3rd International Austrian-Israeli Technion Symposium, Software for Communication Technologies'99,
pp. 58-66, Hagenberg, Linz, Austria, April 1999.
Download: [postscript]
[P01]
JavaSet: Eine Erweiterung von Java um persistente Mengen
Markus Schordan and Harald Kosch
In Java-Informations-Tage (JIT'98), pp. 39-48, Springer Verlag,
Frankfurt/Main, Germany, November 1998.
Download: [postscript]

Workshops: Technical Reports as Proceedings

[T09]
Persistent Analysis Results (download)
Adrian Prantl, Jens Knoop, and Markus Schordan
26. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef; in No. 0915 in Technische Berichte des Instituts für Informatik ; Germany, May 4-6, 2009.
[T08]
WCET Tool Challenge 2008: Report
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 and Markus Schordan
8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, Czech Republic, July 2-4, 2008.
[T07]
Source-To-Source Analysis with SATIrE - an Example Revisited
Markus Schordan
In Proceedings of Dagstuhl Seminar 08161: Scalable Program Analysis, 17 pages.
Germany, Dagstuhl, April 2008.
[T06]
TuBound - A Tool for Worst-Case Execution Time Analysis
Adrian Prantl, Markus Schordan, Jens Knoop
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; In Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages, May 2008.
[T05]
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis
Adrian Prantl, Markus Schordan, Jens Knoop
In Dagstuhl Seminar Proceedings 08003, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2008, ISBN: 978-3-939897-10-1, 8 pages, 2008.
[T04]
WCET Annotation Languages Reconsidered: The Annotation Language Challenge
Albrect Kadlec, Raimund Kirner, Jens Knoop, Adran Prantl, Markus Schordan Ingomar Wenzel
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; In Proceedings of "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages, May 2008.
[T03]
An Example of Source-To-Source Analysis with SATIrE
Markus Schordan
In 25. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte, 9 pages.
Bad Honnef, Germany, May 2008.
[T02]
Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code
Markus Schordan
In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, pp. 194-199, Bericht A-07-07, Schriftenreihe A, der Institute für Informatik und Mathematik der Universität zu Lübeck,
Timmerdorfer Strand, Germany, October 2007.
[T01]
Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions
Markus Schordan
In 24. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte, 10 pages.
Bad Honnef, Germany, May 2007.

Dissertation

[DIS] Analysis of Object-Oriented Programs with Flow-Shape Graphs
Markus Schordan
PhD thesis, University of Klagenfurt, Austria, June 2001.
[postscript] [Austrian Research Centers Entry]

ACM, Springer-Verlag, and IEEE-mandated Copyright Notice

The documents listed above are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. ACM, Springer-Verlag, and IEEE published documents have other restrictions given here, here, and here.
Complang
Schordan
   Publications
   Talks
   Activities
   Projects
   Research
   SATIrE
   Lehre
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2007-02-26 (Schordan)