TU Wien Informatics

About

In research, teaching, innovation and technology transfer we deal with the theory and practice of the design and implementation of programming languages, principles of programming and their interactions with related fields such as software engineering and computer architectures.

The main focus is on the fundamentals, methods and tools for the design of compilers, interpreters, virtual machines and middle layer architectures, the analysis, verification and optimization of programs and program systems and applications in the field of embedded, cyber-physical and safety-critical real-time systems.

The research Unit Compilers and Languages is part of the Institute of Information Systems Engineering.

Manfred Brockhaus
Manfred Brockhaus M. Brockhaus

Emerit. Professor
Em.O.Univ.Prof. DI Dr.

M. Anton Ertl
M. Anton Ertl M. Ertl

Associate Professor
Ao.Univ.Prof. DI Dr.

Jens Knoop
Jens Knoop J. Knoop

Head of Research Unit
Univ.Prof. Dipl.-Inf. Dr.

Andreas Krall
Andreas Krall A. Krall

Associate Professor
Ao.Univ.Prof. DI Dr.

Eva Kühn
Eva Kühn E. Kühn

Associate Professor
Ao.Univ.Prof. DI Dr.

Franz Puntigam
Franz Puntigam F. Puntigam

Associate Professor
Ao.Univ.Prof. DI Dr.

Christoph Hochrainer
Christoph Hochrainer C. Hochrainer

PreDoc Researcher
DI / BSc

Benedikt Lukas Huber
Benedikt Lukas Huber B. Huber

PreDoc Researcher
DI

Gerson Joskowicz
Gerson Joskowicz G. Joskowicz

PostDoc Researcher
DI Dr.

Ulrich Neumerkel
Ulrich Neumerkel U. Neumerkel

PostDoc Researcher
Ass.Prof. DI Dr.

Philipp Paulweber
Philipp Paulweber P. Paulweber

PreDoc Researcher
DI / BSc

Rene Raab
Rene Raab R. Raab

Student Staff
BSc

Markus Raab
Markus Raab M. Raab

Lecturer
DI Dr. / BSc

  • Cacao
    1996 – 2025 / Cacao Virtual Machine

2021

2020

2019

2018

  • Software Vector Chaining / M.A. Ertl / Talk: 34th EuroForth Conference, Edinburgh; 2018-09-14 - 2018-09-17; in: "34th EuroForth Conference", (2018), 54 - 55
  • Closures - the Forth way / M.A. Ertl, B. Paysan / Talk: 34th EuroForth Conference, Edinburgh; 2018-09-14 - 2018-09-17; in: "34th EuroForth Conference", (2018), 17 - 30
  • Software Vector Chaining / M.A. Ertl / Talk: Manlang'18, Linz; 2018-09-12 - 2018-09-13; in: "Proceedings of the 15th International Conference on Managed Languages & Runtimes", ACM, (2018), ISBN: 978-1-4503-6424-9; Paper ID 18, 9 pages
  • Towards a Hybrid Verification Approach / N. Elaraby, E. Kühn, A. Messinger, S. Radschek / Talk: Federation of International Conferences on Software Technologies: Applications and Foundations (STAF 2018), Collocated Workshops: FOCLASA, Toulouse; 2018-06-25 - 2018-06-29; in: "Software Technologies: Applications and Foundations", Springer LNCS, 11176 (2018), ISBN: 978-3-030-04771-9; 367 - 386
  • Distributed Coordination Runtime Assertions for the Peer Model / E. Kühn, S. Radschek, N. Elaraby / Talk: 20th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2018), Madrid; 2018-06-18 - 2018-06-21; in: "Coordination Models and Languages", Springer LNCS, 10852 (2018), ISBN: 978-3-319-92408-3; 200 - 219
  • Coordination Pattern-Based Approach for Auto-Scaling in Multi-Clouds / E. Kühn, S. Craß / Talk: 32nd International Conference on Advanced Information Networking and Applications Workshops (IEEE WAINA 2018), CCPI, Krakau; 2018-05-16 - 2018-05-18; in: "2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)", IEEE, (2018), ISBN: 978-1-5386-5395-1; 368 - 373
  • Verallgemeinerung von locals / M.A. Ertl / Talk: Forth-Tagung 2018, Essen; 2018-04-06 - 2018-04-08; in: "Forth-Tagung 2018 im Linuxhotel Essen", https://wiki.forth-ev.de/doku.php/events:tagung-2018 (2018), 13 pages
  • Fast and Flexible Instruction Selection with Constraints / P. Thier, M.A. Ertl, A. Krall / Talk: Compiler Construction, Wien; 2018-02-24 - 2018-02-25; in: "Proceedings of the 27th International Conference on Compiler Construction", ACM, (2018), ISBN: 978-1-4503-5644-2; 93 - 103
  • International Symposium on Code Generation and Optimization (CGO 2018) / J. Knoop, M Schordan, T. Johnson, M.F.P. O´Boyle / in series "Proceedings of the 2018 International Symposium on Code Generation and Optimization", series editor: ACM; issued by: Association for Computing Machinery; ACM, New York, 2018, ISBN: 978-1-4503-5617-6, 377 pages
  • Forth-200X-Treffen auf der EuroForth 2017 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 34 (2018), 3; 5 - 6
  • Reshaping a multimode laser beam into a constructed Gaussian beam for generating a thin light sheet / S. Saghafi, N. Haghi-Danaloo, K. Becker, I. Sabdyusheva-Litschauer, M. Foroughipour, C. Hahn, M. Pende, M. Wanis, M. Bergmann, J. Stift, B. Hegedus, B. Dome, H. Dodt / Journal of Biophotonics, 11 (2018), 6

2017

  • The Intended Meaning of Undefined Behaviour in C Programs / M.A. Ertl / Talk: 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17), Weimar; 2017-09-25 - 2017-09-27; in: "19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17)", (2017), 20 - 28
  • SIMD and Vectors / M.A. Ertl / Talk: EuroForth, Bad Voeslau; 2017-09-08 - 2017-09-10; in: "33rd EuroForth Conference", (2017), 25 - 36
  • An initial user study comparing the readability of a graphical coordination model with Event-B notation / E. Kühn, S. Radschek / Talk: 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017), Trento, Italien; 2017-09-04 - 2017-09-05; in: "Software Engineering and Formal Methods", Springer, (2018), ISBN: 978-3-319-74781-1; 574 - 590
  • An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware / S. Craß, E. Kühn, V. Sesum-Cavic, H. Watzke / Talk: 43rd Euromicro Conference onSoftware Engineering and Advanced Applications (SEAA 2017), Wien; 2017-08-30 - 2017-09-01; in: "Proceedings 43rd Euromicro Conference on Software Engineering and Advanced Applications - SEAA 2017", IEEE, (2017), ISBN: 978-1-5386-2141-7; 189 - 193
  • No S without Q => No E without Q? / A. Messinger, E. Kühn / Talk: 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Deutschland; 2017-07-24 - 2017-07-26; in: "Proceedings 2017 IEEE 15th International Conference on Industrial Informatics (INDIN)", IEEE, (2017), ISBN: 978-1-5386-0837-1; 526 - 532
  • Introducing Context Awareness in Unmodified, Context-unaware Software / M. Raab, G. Barany / Talk: ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal; 2017-04-28 - 2017-04-29; in: "Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE", ScitePress, Setubal - Portugal (2017), ISBN: 978-989-758-250-9; 218 - 225
  • Flexible Transactional Coordination in the Peer Model / E. Kühn / Talk: International Conference on Fundamentals of Software Engineering (FSEN 2017), Teheran, Iran; 2017-04-26 - 2017-04-28; in: "Fundamentals of Software Engineering", Springer, LNCS 10522 (2017), ISBN: 978-3-319-68972-2; 116 - 131
  • Statische Typüberprüfung / M.A. Ertl / Talk: Forth-Tagung 2017, Kalkar, Deutschland; 2017-04-21 - 2017-04-23; in: "Forth-Tagung 2017 in Kalkar", https://wiki.forth-ev.de/doku.php/events:tagung-2017, (2017), 17 pages
  • Challenges in Validating FLOSS Configuration / M. Raab, G. Barany / Talk: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina; 2017-03-22 - 2017-03-23; in: "Open Source Systems: Towards Robust Practices: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings", Springer Verlag (ed.); Springer International Publishing, (2017), ISBN: 978-3-319-57735-7; 101 - 114
  • Architecture of Computing Systems (ARCS 2017) / J. Knoop, W. Karl, M. Schulz, K. Inoue, Th. Pionteck / in series "Lecture Notes in Computer Science 10172", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2017, ISBN: 978-3-319-54998-9, 267 pages
  • Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Journal of Symbolic Computation, 80 (2017), 101 - 124

2016

2015

2014

2013

2012

2011

2010

2009

  • From Trust to Proof - Beyond Verifying Functional Program Properties / J. Knoop / Talk: Informatik-Kolloquium, Technische Universität Darmstadt, Darmstadt, Deutschland (invited); 2009-11-30
  • Peer-to-Peer Overlay Network Based on Swarm Intelligence / V. Sesum-Cavic, E. Kühn / Talk: 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009), Utrecht; 2009-11-18 - 2009-11-20; in: "10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009)", Springer, (2009), 65 - 67
  • A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents / E. Kühn, V. Sesum-Cavic / Talk: 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009), Utrecht; 2009-11-18 - 2009-11-20; in: "10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009)", Springer, (2009), 17 - 32
  • Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber, S. Bessler, S. Tomic / Talk: 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA) 2009, Algarve, Portugal; 2009-11-01 - 2009-11-06; in: "Proceedings of the 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA) 2009", Springer, (2009), ISBN: 978-3-642-05147-0; 432 - 448
  • Semantic Event Correlation Using Ontologies / T Moser, H. Roth, S. Rozsnyai, R. Mordinyi, S. Biffl / Talk: 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2009, Algarve, Portugal; 2009-11-01 - 2009-11-06; in: "Proceedings of the 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2009", Springer, (2009), ISBN: 978-3-642-05150-0; 1087 - 1094
  • From Trust to Proof - Beyond Verifying Functional Program Properties / J. Knoop / Talk: Informatik-Kolloquium, Universität Siegen, Siegen, Deutschland (invited); 2009-10-26
  • Towards a Static Profiler / A. Prantl / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 1 pages
  • Utilizing Multiple Hardware Threads with Pipeline Parallelism / M.A. Ertl / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS '09)", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 69 - 75
  • Inline Caching meets Quickening / S. Brunthaler / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3 (2009), 8
  • Inline Caching meets Quickening / S. Brunthaler / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 67
  • Inline Caching meets Quickening / S. Brunthaler / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2 (2009), 7 - 21
  • How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / F. Puntigam / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 231 - 242
  • SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis / G. Barany / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "Programmiersprachen und Grundlagen der Programmierung", A. Prantl, J. Knoop (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 27 - 37
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 155 - 166
  • Progressive Spill Code Placement / D. Ebner, B. Scholz, A. Krall / Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Grenoble; 2009-10-11 - 2009-10-16; in: "International Conference on Compilers, Architecture, and Synthesis for Embedded Systems", (2009), 77 - 86
  • Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306
  • Towards Zero-delay Recovery of Agents in Production Automation Systems / E. Kühn, R. Mordinyi, M. Lang, A. Selimovic / Talk: 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Mailand, Italien; 2009-09-15 - 2009-09-18; in: "2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology", (2009), ISBN: 978-0-7695-3801-3; 307 - 310
  • Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber / Talk: 8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge, England; 2009-09-14 - 2009-09-17; in: "Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) 2009", IEEE Computer Society, (2009), ISBN: 978-1-4244-4984-2; 313 - 316
  • Stack Allocation of Objects in the CACAO Virtual Machine / P. Molnar, A. Krall, F. Brandner / Talk: 7th International Conference on Principles and Practice of Programming in Java, Calgary; 2009-08-27 - 2009-08-28; in: "PPPJ '09:Proceedings of the 7th International Conference on Principles and Practice of Programming in Java", B. Stephenson, C. Probst (ed.); (2009), ISBN: 978-1-60558-598-7; 153 - 161
  • Foundations for a Model-Driven Integration of Business Services in a Safety-critical Application Domain / R. Mordinyi, T Moser, E. Kühn, S. Biffl, A. Mikula / Talk: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), Patras, Greece; 2009-08-27 - 2009-08-29; in: "Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009)", IEEE Computer Society, (2009), ISBN: 978-0-7695-3784-9; 267 - 274
  • Interfaces of Active Objects with Internal Concurrency / F. Puntigam / Talk: Distributed Objects for the 21st Century (DO21, ECOOP'09 Workshop), Genova, Italy; 2009-07-07; in: "DO21 '09: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century", ACM, New York, NY, USA (2009), ISBN: 978-1-60558-545-1; Paper ID 1, 5 pages
  • Current Research at the CompLang Group: Robots and More! / J. Knoop / Talk: Austrian Robotics Summit, Graz (invited); 2009-07-03
  • Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraint / T Moser, R. Mordinyi, W. Sunindyo, S. Biffl / Talk: 21st International Conference on Software Engineering & Knowledege Engineering, Hyatt Harborside Hotel, Boston, Massachusetts, USA; 2009-07-01 - 2009-07-03; in: "Proceedings The 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009)", USA (2009), ISBN: 1-891706-24-1; 222 - 227
  • A P2P Network of Space Containers for Efficient Management of Spatial-Temporal Data in Intelligent Transportation Scenarios / E. Kühn, R. Mordinyi, H.D. Goiss, S. Bessler, S. Tomic / Talk: Eighth International Symposium on Parallel and Distributed Computing (ISPDC), Lissabon, Protugal; 2009-06-30 - 2009-07-04; in: "The Eighth International Symposium on Parallel and Distributed Computing", (2009), ISBN: 978-0-7695-3680-4; 218 - 225
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec / Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (ed.); (2009), 35 - 45
  • A heuristics framework for semantic subscription processing / M. Murth, E. Kühn / Talk: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 2009-05-31 - 2009-06-04; in: "6th European Semantic Web Conference (ESWC 2009)", Springer, 5554 (2009), 96 - 110
  • Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber / Talk: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Budapest, Ungarn; 2009-05-10 - 2009-05-15; in: "International Conference on Autonomous Agents and Multiagent Systems", International Foundation for Autonomous Agents and Multiagent Systems, (2009), ISBN: 978-0-9817381-6-1; 625 - 632
  • From Trusted Annotations to Verified Knowledge / J. Knoop / Talk: 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Port Townsend, WA, USA (invited); 2009-05-10 - 2009-05-15
  • Efficient System Integration Using Semantic Requirements and Capability Models - An Approach for Integrating Heterogeneous Business Services / T Moser, R. Mordinyi, S. Biffl, A. Mikula / Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 2009-05-06 - 2009-05-10; in: "Proceedings of the 11th International Conference on Enterprise Information Systems", J. Cordeiro, J. Filipe (ed.); Springer, LNBIP 24 (2009), ISBN: 978-989-8111-84-5; 56 - 63
  • Persistent Analysis Results / A. Prantl, J. Knoop, M Schordan / Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2009-05-04 - 2009-05-06; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2009), 12 pages
  • Optimizing High Abstraction-Level Interpreters / S. Brunthaler / Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2009-05-04 - 2009-05-06; in: "Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, B. Braßel (ed.); Christian-Albrechts-Universität zu Kiel, Deutschland, Bericht 0915 (2009), 100 - 110
  • Domination-Based Scoping and Static Single Assignment Languages / M.A. Ertl / Talk: Static Single-Assignment Form Seminar, Autrans, Frankreich; 2009-04-26 - 2009-04-30
  • Constant Propagation w/ SSA- and Predicated SSA Form / J. Knoop / Talk: Static Single-Assignment Form Seminar, Autrans, Frankreich (invited); 2009-04-26 - 2009-04-30
  • Virtual-Machine Abstraction and Optimization Techniques / S. Brunthaler / Talk: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK; 2009-03-29; in: "Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)", E Albert, S Genaim (ed.); Elsevier, Amsterdam (2009), ISSN: 1571-0661; 3 - 14
  • Virtual-Machine Abstraction and Optimization Techniques / S. Brunthaler / Talk: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK; 2009-03-29; in: "Preliminary Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)", E Albert, S Genaim (ed.); Univ. of York - Elsevier, Amsterdam (2009), 19 - 30
  • Neuigkeiten seit Gforth 0.7.0 / G. Wodni, M.A. Ertl / Talk: FORTH-Tagung, Rheine; 2009-03-27 - 2009-03-29
  • Neuigkeiten in Gforth 0.7.0 / M.A. Ertl / Talk: FORTH-Tagung, Rheine, Deutschland; 2009-03-27 - 2009-03-29
  • Timing Properties: Beyond Verifying Functional Program Properties / J. Knoop / Talk: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK (invited); 2009-03-22
  • Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach / D. Schreiner, M. Schordan, J. Knoop / Talk: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)", IEEE Computer Society, (2009), ISBN: 978-0-7695-3573-9; 288 - 292
  • Component Based Middleware-Synthesis for AUTOSAR Basic Software / D. Schreiner, M Schordan, K. Göschka / Talk: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "Proceedings of the 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009", IEEE Computer Society, (2009), ISBN: 978-0-7695-3573-9; 236 - 243
  • Embedded JIT Compilation with CACAO on YARI / F. Brandner, T. Thorn, M. Schoeberl / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 63 - 70
  • Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain / T Moser, R. Mordinyi, A. Mikula, S. Biffl / Talk: Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009)", (2009), ISBN: 978-0-7695-3575-3; 90 - 97
  • SAMOA - A Semi-automated Ontology Alignment Method for Systems Integration in Safety-critical Environments / T Moser, K. Schimper, R. Mordinyi, A. Anjomshoaa / Talk: 2nd IEEE Intl. Wsh. on Ontology, Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "2nd IEEE Intl. Wsh. on Ontology", (2009), ISBN: 978-0-7695-3575-3; 724 - 729
  • Integration of Shareable Containers with Distributed Hash Tables for Storage of Structured and Dynamic Data / E. Kühn, R. Mordinyi, H.D. Goiss, T Moser, S. Bessler, S. Tomic / Talk: Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "Adaptive Systems in Heterogeneous Environments", (2009), ISBN: 978-0-7695-3575-3; 866 - 871
  • Knowledge-based coordination with a reliable semantic subscription mechanism / M. Murth, E. Kühn / Talk: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii; 2009-03-09 - 2009-03-12; in: "Proceedings of the 24th Annual ACM Symposium on Applied Computing", ACM, (2009), ISBN: 978-1-60558-166-8; 1374 - 1380
  • Fast and Accurate Simulation Using the LLVM Compiler Framework / F. Brandner, A. Fellnhofer, A. Krall, D. Riegler / Talk: RAPIDO´09, Paphos; 2009-01-25; in: "1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools", S. Niar, R. Leupers, O. Temam (ed.); (2009), 6 pages
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1, Wien, Österreich, 2009, 301 pages
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3, Wien, Österreich, 2009, 35 pages
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2, Wien, Österreich, 2009, 56 pages
  • 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / E. Altman, B. Childers, R. Cohn, J. Davidson, K. Brosschere, B. Sutter, M.A. Ertl, M. Franz, Y. Gu, M. Hauswirth, T. Heinz, W. Hsu, J. Knoop, A. Krall, N. Kumar, J. Maebe, R. Muth, X. Rival, E. Rohou, R. Rosner, M. Soffa, J. Troeger, C. Vick / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405; 11 pages
  • Forth200x - Berichte von den Standardisierungstreffen / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 25 (2009), 3; 25
  • Gforth 0.7.0 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 25 (2009), 3; 13 - 14
  • Synchronization as a Special Case of Access Control / F. Puntigam / Electronic Notes in Theoretical Computer Science (ENTCS), 241 (2009), 113 - 133
  • A Look at Gforth Performance / M.A. Ertl / in: "EuroForth", M.A. Ertl (ed.); EuroForth, 2009, 23 - 31
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Oesterreichische Computer Gesellschaft / Austrian Computer Society; Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, 39 - 49
  • From Trusted Annotations to Verified Knowledge / J. Knoop / in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen", J. Knoop, A. Prantl (ed.); issued by: Institut für Computersprachen, TU Wien; Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3, Wien, Österreich, 2009, 13
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9, Paper ID 8, 11 pages
  • Austrian-Kangaroos 2009 Team Description Paper (TDP) / M. Bader, A. Hofmann, D. Schreiner / 2009; 6 pages

2008

  • Precise Garbage Collection in Prolog / J. Wielemaker, U. Neumerkel / Talk: Colloquium on Implementation of Constraint and LOgic Programming System, Udine, Italy; 2008-12-12 - 2008-12-13; in: "Proceedings of the 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems", (2008), Paper ID 9, 15 pages
  • Better Termination for Prolog with Constraints / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (ed.); (2008), 90 - 96
  • Constraint solving for high-level WCET analysis / A. Prantl, J. Knoop, M. Schordan, M. Triska / Talk: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), 77 - 89
  • SABRON: A Storage and Application Based Routing Overlay Network for Intelligent Transportation Systems / S. Bessler, S. Tomic, E. Kühn, R. Mordinyi, H.D. Goiss / Poster: 3rd International Workshop on Self-Organizing Systems, Wien; 2008-12-09 - 2008-12-11; in: "IWSOS 2008, 3rd International Workshop on Self-Organizing Systems", Springer, LNCS, 5343/2008 (2008), ISBN: 978-3-540-92156-1; 2 pages
  • Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms / V. Sesum-Cavic, E. Kühn / Talk: 3rd International Workshop on Self-Organizing Systems, Wien; 2008-12-09 - 2008-12-11; in: "IWSOS 2008, 3rd International Workshop on Self-Organizing Systems", LNCS, Springer, 5343/2008 (2008), ISSN: 0302-9743; 311 - 317
  • Current Research at the Complang Group: Timing Analyses and More / J. Knoop / Talk: Forschungskolloquium des Research Institute for Symbolic Computation RISC, Johannes-Kepler-Universität Linz, Hagenberg bei Linz (invited); 2008-12-01
  • Optimizing the Python interpreter: Identifying performance bottlenecks. / S. Brunthaler, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 41 - 42
  • An integrated source-to-source approach to WCET analysis / A. Prantl, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 45 - 46
  • Component Based Communication Middleware for AUTOSAR / D. Schreiner, K. Göschka, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 113 - 114
  • Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field / J. Knoop / Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-10-26 - 2008-10-31; in: "Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 08441 (2008), ISSN: 1862-4405; 6
  • Using C for the Back End / M.A. Ertl / Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-10-26 - 2008-10-31
  • Dynamic Binary Translation for Generation of Cycle Accurate Architecture Simulators / A. Fellnhofer, A. Krall, D. Riegler / Talk: Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl (invited); 2008-10-26 - 2008-10-31
  • An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems / E. Kühn, R. Mordinyi, C. Schreiber / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", T. Margaria, B. Steffen (ed.); Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; 634 - 648
  • ALL-TIMES - A European Project on Integrating Timing Technology / J. Gustafsson, B. Lisper, M. Schordan, C. Ferdinand, P. Gliwa, M. Jersak, G. Bernat / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Porto Sani, Greece; 2008-10-13 - 2008-10-15; in: "ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008", Springer, (2008), ISBN: 978-3-540-88478-1; 445 - 459
  • Source Code Based Component Recognition in Software Stacks for Embedded Systems / D. Schreiner, M. Schordan, G. Barany, K. Göschka / Talk: 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Beijing, China; 2008-10-12 - 2008-10-15; in: "Proceedings of the 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications", IEEE, (2008), ISBN: 978-1-4244-2368-2; 463 - 468
  • A Generalised Finite Domain Constraint Solver for SWI-Prolog / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 22nd Workshop on (Constraint) Logic Programming, Dresden; 2008-09-30 - 2008-10-01; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 pages
  • Cleaning up After Yourself / M.A. Ertl / Talk: 24th EuroForth Conference, Wien; 2008-09-26 - 2008-09-28; in: "24th EuroForth Conference", (2008), 35 - 38
  • Declarative language extensions for prolog courses / U. Neumerkel, M. Triska, J. Wielemaker / Talk: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 2008-09-21; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; 73 - 77
  • A Declarative Approach to finding Timing Constraints in High-level Program Representations / A. Prantl / Talk: Workshop on Resource Analysis, University of Hertfordshire, Hatfield, UK; 2008-09-09; in: "Workshop on Resource Analysis", (2008), 2 pages
  • Implementation of a Novel Semantic Web Middleware Approach Based on Triplespaces / K. Teymourian, L. Nixon, D Wutke, R. Krummenacher, H. Moritsch, E. Kühn, C. Schreiber / Talk: IEEE International Conference on Semantic Computing (ICSC'08), Santa Clara, California; 2008-08-04 - 2008-08-07; in: "Semantic Computing", (2008), ISBN: 978-0-7695-3279-0; 518 - 523
  • A Semantic Event Processing System for Knowledge-Driven Coordination / M. Murth, E. Kühn / Talk: First International Workshop on Emergent Semantics and Cooperation in Open Systems, In cooperation with the 2nd International Conference on Distributed Event-Based Systems (DEBS08), Rome, Italy; 2008-07-20; in: "ESTEEM'2008, First International Workshop on Emergent Semantics and Cooperation in Open Systems, In cooperation with the 2nd International Conference on Distributed Event-Based Systems (DEBS08)", CEUR Workshop proceedings series, (2008), ISSN: 1613-0073; 1 - 8
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 141 - 148
  • WCET Tool Challenge 2008: Report / N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 149 - 171
  • Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65
  • Generalized instruction selection using SSA-graphs / D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec / Talk: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Tucson, Arizona, USA; 2008-06-12 - 2008-06-13; in: "Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems", ACM - Association for Computing Machinery, (2008), ISBN: 978-1-60558-104-0; 31 - 40
  • Synchronization as a Special Case of Access Control / F. Puntigam / Talk: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08), Oslo, Norway; 2008-06-07; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", (2008), 52 - 57
  • Autonome Koordination verteilter Services - Ein neues Paradigma und seine Bedeutung für E-Government / E. Kühn / Talk: e-Government Konferenz 2008, Krems (invited); 2008-05-27 - 2008-05-29
  • Ontology-supported quality assurance for component-based systems configuration / S. Biffl, R. Mordinyi, T Moser, D. Wahyudin / Talk: 6th international Workshop on Software Quality, Leipzig, Germany; 2008-05-10 - 2008-05-18; in: "Proceedings of 6th international Workshop on Software Quality", B. Wong (ed.); ACM, New York (2008), ISBN: 978-1-60558-023-4; 59 - 64
  • TuBound - A Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
  • Applying the Component Paradigm to AUTOSAR Basic Software / D. Schreiner / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 6 pages
  • Towards a Common WCET Annotation Language: Essential Ingredients / A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 pages
  • WCET Annotation Languages Reconsidered: The Annotation Language Challenge / A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
  • Die Multicore-Herausforderung / M.A. Ertl / Talk: Forth-Tagung 2008, Kloster Roggenburg, Deutschland; 2008-04-24 - 2008-04-27
  • Value Flow Graph Analysis with SATIrE / G. Barany / Talk: Dagstuhl Seminar 08161 Scalable Program Analysis, Schloss Dagstuhl, Wadern, Deutschland (invited); 2008-04-13 - 2008-04-18; in: "Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis", Leibniz-Zentrum für Informatik, (2008), ISSN: 1862-4405; 6 pages
  • Towards Distributed Memory Parallel Program Analysis / Daniel Quinlan, G. Barany, T. Panas / Talk: Dagstuhl Seminar 08161 Scalable Program Analysis, Schloss Dagstuhl, Wadern, Deutschland (invited); 2008-04-13 - 2008-04-18; in: "Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis", Leibniz-Zentrum für Informatik, (2008), ISSN: 1862-4405; 9 pages
  • Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis / J. Knoop / Talk: Dagstuhl Seminar 08161 Scalable Program Analysis, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-04-13 - 2008-04-18; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis", F. Martin, H. Nielson, C. Riva, M. Schordan (ed.); Schloss Dagstuhl, Leibniz-Zentrum für Informatik, (2008), ISSN: 1862-4405; 1 - 14
  • Essential Ingredients for a WCET Annotation Language / J. Knoop / Talk: 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Bormio (invited); 2008-04-06 - 2008-04-11
  • Multiobjective Prototype Optimization with Evolved Improvement Steps / J. Kubalik, R. Mordinyi, S. Biffl / Talk: 8th European Conference, EvoCOP 2008, Naples, Italy; 2008-03-26 - 2008-03-28; in: "Evolutionary Computation in Combinatorial Optimization", LNCS/Springer Berlin, 4972/2008/ Heidelberg (2008), ISSN: 0302-9743; 218 - 229
  • Optimizations for Object-Oriented Languages / A. Krall, N. Horspool / in: "The COMPILER DESIGN Handbook: Optimizations and Machine Code Generation (second edition)", Y. Srikant, P. Shankar (ed.); CRC Press, Boca Raton, FL, USA, 2008, ISBN: 978-1-4200-4382-2, 13-1 - 13-29
  • Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) / R. Drechsler, S. Glesner, J. Knoop, W. Zimmermann / Budapest University of Technology and Economics, Budapest, 2008, 85 pages
  • Integration of XVSM Spaces with the Web to Meet the Challenging Interaction Demands in Pervasive Scenarios / E. Kühn, J Riemer, R. Mordinyi, L. Lechner / in series "UBICC Special Issue on Coordination in Pervasive Environments", series editor: M. Bortenschlager, G. Kotsis, M. Mamei; UBICC Publishers, 2008, ISSN: 1992-8424, 12 pages
  • Systematisches Testen eines Constraint-Systems / U. Neumerkel / ZIDline, 19 (2008), 19; 30 - 31
  • Virtual machine showdown: Stack versus registers / Y. Shi, K. Casey, D. Gregg, M.A. Ertl / ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, Volume 4 (2008), Nr. 4; 1 - 36
  • From Static to Dynamic Process Types / F. Puntigam / in: "Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers", Springer-Verlag, Berlin Heidelberg, 2008, ISBN: 3-540-70619-4, 61 - 73
  • WCET Tool Challenge 2008: Report / N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan / in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, ISBN: 978-3-939897-10-1, 23 pages
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / in: "Dagstuhl Seminar Proceedings 08003", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2008, ISBN: 978-3-939897-10-1, 8 pages

2007

2006

2005

2004

2003

2002

  • Register Liveness Analysis for Optimizing Dynamic Binary Translation / M. Probst, A. Krall, B. Scholz / Talk: IEEE Working Conference on Reverse Engineering (WCRE), Richmond, Virginia; 2002-10-29 - 2002-11-01; in: "Ninth Working Conference on Reverse Engineering", IEEE, Richmond (2002), 35 - 44
  • Speculative Partial Redundancy Elimimnation / B. Scholz / Talk: Workshop on Compiler-Driven Performance, Toronto; 2002-10-01 - 2002-10-02
  • Dataflow Frequency Analysis based on Whole Program Paths / B. Scholz, E. Mehofer / Talk: 2002 International Conference on Parallel Architectures and Compilation Techniques, PACT 2002, Charlottesville, Virginia, USA; 2002-09-22 - 2002-09-25; in: "Proceedings 2002 International Conference on Parallel Architecutres and Compilation Techniques", IEEE, Los Alamitos (2002), ISBN: 0-7695-1620-X; 95 - 103
  • Detecting Optimal Termination Conditions of Logic Programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: 9th International Symposium on Static Analysis, SAS 2002, Madrid; 2002-09-17 - 2002-09-20; in: "Static Analysis ", G. Goos, J. Hartmanis, J. van Leeuwen (ed.); Lecture Notes in Computer Science/Springer, 2477/Berlin (2002), ISBN: 3-540-44235-9; 509 - 525
  • The Evolution of Vmgen / M.A. Ertl / Talk: 18th EuroForth Conference, Wien; 2002-09-06 - 2002-09-08; in: "18th EuroForth Conference", (2002), 33 - 37
  • Superinstructions in Gforth / M.A. Ertl / Talk: 18th EuroForth Conference, Wien; 2002-09-06 - 2002-09-08
  • Declarative program development in Prolog with GUPU / U. Neumerkel / Talk: 12th International Workshop on Logic Programming Environments, Copenhagen; 2002-07-29 - 2002-08-01; in: "WLPE 2002: Logic Programming Environments", (2002), 77 - 86
  • Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Talk: TOOLS USA 2002, Santa Barbara, California; 2002-07-28 - 2002-07-31; in: "Trusted Components, Formal Specifications, Eiffel & .NET", (2002), 1 - 20
  • Register Allocation for Irregular Architectures / B. Scholz, E. Eckstein / Talk: Joint Conference on Languages, Compilers and Tools for Embedded Systems and Software and Compilers for Embedded Systems, Berlin; 2002-06-19 - 2002-06-21; in: "Joint Conference on Languages, Compilers and Tools for Embedded Systems and Software and Compilers for Embedded Systems", ACM SIGPLAN Notices/ACM, volume 37, number 7 / New York (2002), ISBN: 1-58113-527-0; 139 - 148
  • Non-termination inference for optimal termination conditions of logic programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: Onzèmes Journèes Francophones de Programmation Logique, Paris; 2002-05-27 - 2002-05-29; in: " Onzèmes Journèes Francophones de Programmation Logique et Programmation par Constraints (JFPLC`02)", Hermes Science Publications, Paris (2002), ISBN: 2-7462-0477-0; 87 - 104
  • Threaded Code Variations and Optimizations (Extended Version) / M.A. Ertl / Talk: FORTH-Tagung 2002, Garmisch-Partenkirchen; 2002-04-18 - 2002-04-21; in: "FORTH-Tagung 2002", (2002), 1 - 7
  • Building an Interpreter with Vmgen / M.A. Ertl, D. Gregg / Talk: 11th International Conference on Compiler Construction, CC2002, Grenoble; 2002-04-08 - 2002-04-12; in: "Compiler Construction ", R.N. Horspool (ed.); Lecture Notes in Computer Science/Springer, 2304/Berlin (2002), ISBN: 3-540-43369-4; 5 - 8
  • Probabilistic Data Flow Analysis and its Applications / B. Scholz / Talk: French National Institute for Research in Computer Science and Control (INRIA), Paris; 2002-02-01 - 2002-02-02
  • Optimizations for Object-Oriented Languages / A. Krall, N. Horspool / in: "The Compiler Design Handbook", CRC Press, Boca Raton, 2002, ISBN: 08493-1240-x, 219 - 246
  • Vmgen - a generator of efficient virtual machine interpreters / M.A. Ertl, D. Gregg, A. Krall, B. Paysan / Software: Practice and Experience, 32 (2002), 3; 265 - 294
  • Dynamic Binary Translation / M. Probst / in: "UKUUG Linux Developer`s Conference 2002", Organisationskomitee UKUUG Linux Developer`s Conference 2002, 2002, 1 - 5
  • Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Journal of Object Technology, http://www.jot.fm/issues/issue_2002_08/article4 (2002)
  • Dynamic Binary Translation / M. Probst / Talk: UKUUG Linux Developer`s Conference 2002, United Kingdom; 2002

2001

2000

1999

  • Ada Binding to a Shared Object Layer / J. Blieberger, J. Klasek, E. Kühn / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 263 - 274
  • Interprocedural Symbolic Evaluation of Ada Programs with Aliases / J. Blieberger, B. Burgstaller, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 136 - 145

1998

1997

 

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1996

 

  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
    2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
    2016 / Austria / Website
  • Jens Knoop: Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und Bernhard Steffen)
    2003 / USA
  • Eva Kühn: MERKUR Innovationspreis der Wirtschaftskammer
    2002 / Wirtschaftskammern / Austria
  • Eva Kühn: Heinz-Zemanek Forschungspreis für die Dissertation über "Implementation of Multi Database Systems in Prolog"
    1990 / Austria
  • Andreas Krall: Heinz Zemanek Preis
    1987 / Austria / Website

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Compilers and Languages’ research profile in TISS .