2019W

• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A16
• Code Generators / VO / 185.416
• Compilerdesign seminar / SE / 185.A22
• Computer Engineering Practical / PR / 185.A18
• Computer Engineering Project / PR / 185.A96
• Object-oriented Programming Techniques / VU / 185.A01
• Orientation Informatics and Business Informatics / VU / 180.766
• Project in Computer Science 1 / PR / 185.A28
• Project in Computer Science 2 / PR / 185.A29
• Project in Medical Informatics / PR / 185.A30
• Scientific Project Computer Engineering / PR / 185.A97
• Seminar for PhD Students / SE / 185.A24

2020S

• Abstract Machines / UE / 185.A49
• Abstract Machines / VO / 185.966
• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A17
• Compilers / VU / 185.A48
• Computer Engineering Practical / PR / 185.A18
• Computer Engineering Project / PR / 185.A96
• Dynamic Compilation / VU / 185.A50
• Orientation Informatics and Business Informatics / VU / 180.766
• Project in Computer Science 1 / PR / 185.A28
• Project in Computer Science 2 / PR / 185.A29
• Project in Medical Informatics / PR / 185.A30
• Scientific Project Computer Engineering / PR / 185.A97
• Seminar for PhD Students / SE / 185.A24

• Correct compilers for correct application specific processors
  2010 – 2015 / Austrian Research Promotion Agency (FFG)
• Optimal Code Generation for Explicitly Parallel Processors
  2009 – 2013 / Austrian Science Fund (FWF)
• CD Labor - Compilation Techniques for Embedded Processors Modul Clustered Processors
  2005 – 2009 / Christian Doppler Research Association (CDG)
• CD Labor - Compilation Techniques for Embedded Processors
  2002 – 2009 / Christian Doppler Research Association (CDG)
• Cacao
  1996 – 2025 / Cacao Virtual Machine

2018

• 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

2016

• Vectorization in PyPy´s Tracing Just-In-Time Compiler / R. Plangger, A. Krall / Talk: SCOPES 2016 - 19th International Workshop on Software and Compilers for Embedded Systems, St. Goar; 2016-05-23 - 2016-05-25; in: "SCOPES 2016 - 19th International Workshop on Software and Compilers for Embedded Systems", (2016), ISBN: 978-1-4503-4320-6; 10 pages

2015

• PPPJ '15 Principles and Practices of Programming on The Java Platform / A. Krall, R. Stansifer / Acm Dl, 2015, ISBN: 978-1-4503-3712-0; 190 pages
• vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification / R Lezuo, I. Dragan, G. Barany, A. Krall / Talk: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), Timisoara; 2015-09-21 - 2015-09-24; in: "17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing", L. Kovacs, D. Zaharie (ed.); (2015), 167 - 174
• PyPy's Number Crunching Optimization / R. Plangger, A. Krall / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 448 - 462

2014

• Correct Compilers for Correct Processors / A. Krall / Keynote Lecture: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Wien (invited); 2014-01-20 - 2014-01-22
• CASM - Optimized Compilation of Abstract State Machines / R Lezuo, P. Paulweber, A. Krall / Talk: LCTES '14: 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, Edinburgh, UK; 2014-06-12 - 2014-06-13; in: "LCTES '14 Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems", (2014), ISBN: 978-1-4503-2877-7; 13 - 22
• Integrated Modulo Scheduling and Cluster Assignment for TI TMS320C64x+ Architecture / N. Kim, A. Krall / Talk: ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems, Orlando, USA; 2014-02-15; in: "ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems", (2014), 25 - 32

2013

• Software De-Pipelining for Nested Loops / N. Bermudo, A. Krall, B. Su, J. Wang / International Journal of Computer Science and Electronics Engineering, 1 (2013), 1; 6 pages
• Using the CASM Language for Simulator Synthesis and Model Verification / R Lezuo, A. Krall / Talk: RAPIDO'13, Berlin; 2013-01-21; in: "Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools", (2013), 6:1 - 6:8
• IR-Level Versus Machine-Level If-Conversion for Predicated Architectures / A. Jordan, N. Kim, A. Krall / Talk: 10th Workshop on Optimizations for DSP and Embedded Systems, Shenzen, China; 2013-02-24; in: "ODES '13 Proceedings of the 10th Workshop on Optimizations for DSP and Embedded Systems", ACM, New York, NY, USA (2013), ISBN: 978-1-4503-1905-8; 3 - 10
• Optimal and Heuristic Global Code Motion for Minimal Spilling / G. Barany, A. Krall / Talk: Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rom, Italien; 2013-03-16 - 2013-03-24; in: "Compiler Construction", Lecture Notes in Computer Science, 7791 (2013), ISBN: 978-3-642-37050-2; 21 - 40
• CASM: Implementing an Abstract State Machine based programming language / R Lezuo, G. Barany, A. Krall / Talk: 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen, Deutschland; 2013-02; in: "Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium)", GI-Edition - Lecture Notes in Informatics (LNI), P-215 (2013), ISBN: 978-3-88579-609-1; 75 - 90

2012

• Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial) / A. Krall, G. Barany / Concurrency and Computation: Practice and Experience, 24 (2012), 5; 443 - 444
• A Unified Processor Model for Compiler Verification and Simulation Using ASM / R Lezuo, A. Krall / Talk: ABZ'12, Pisa; 2012-06-19 - 2012-06-21; in: "Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z", (2012), 327 - 330
• Using Semantic Relatedness and Locality for Requirements Elicitation Guidance / S. Farfeleder, T Moser, A. Krall / Talk: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'2012), San Francisco Bay, USA; 2012-07-01 - 2012-07-03; in: "Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012", (2012), ISBN: 1-891706-31-4; 19 - 24

2011

• Parametrizing Motion Controllers of Humanoid Robots by Evolution / D. Schreiner, C. Punzengruber, A. Krall / Talk: INFORMATIK 2011, Berlin; 2011-10-04 - 2011-10-07
• Efficient Instruction Set Simulation with Abstract State Machines / A. Krall / Talk: DIKU Seminar, Kopenhagen, Denmark (invited); 2011-08-26
• Optimal Code Generation for Explicitly Parallel Processors / A. Krall / Talk: Informatics Seminar, Lugano, Schweiz (invited); 2011-07-22
• Optimal Code Generation for Explicitly Parallel Processors / A. Krall / Talk: ETH Informatics Seminar, Zuerich (invited); 2011-07-20
• Optimal Code Generation for Explicitly Parallel Processors / A. Krall / Talk: SasSeminar, Linkoping Schweden (invited); 2011-06-07
• Efficient Instruction Set Simulation with Abstract State Machines / A. Krall / Talk: Seminar, Lyon, Frankreich (invited); 2011-04-08
• Modeling Application-Specific Processors for the Use in Cyber-Physical Systems / F. Brandner, V. Pavlu, A. Krall / Talk: 41. Jahrestagung der Gesellschaft für Informatik, Berlin, Deutschland; 2011-10-04 - 2011-10-07; in: "Informatik 2011", Gesellschaft für Informatik e.V. (GI), 192 (2011), ISBN: 978-3-88579-286-4
• Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision / V. Pavlu, M Schordan, A. Krall / Talk: Eleventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), Williamsburg, Virginia, USA; 2011-09-25 - 2011-09-26; in: "Proceedings of the Eleventh IEEE International Workshop on Source Code Analysis and Manipulation", IEEE, (2011), ISBN: 978-1-4577-0932-6; 25 - 34
• Ontology-Driven Guidance for Requirements Elicitation / S. Farfeleder, T Moser, A. Krall, T. Stalhane, I. Omoronyia, H. Zojer / Talk: 8th Extended Semantic Web Conference (ESWC 2011), Heraklion, Greece; 2011-05-29 - 2011-06-02; in: "Proceedings of 8th Extended Semantic Web Conference (ESWC 2011)", (2011), 1 - 15
• DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded Systems Development / S. Farfeleder, T Moser, A. Krall, T. Stalhane, H. Zojer, Ch. Panis / Talk: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011), Cottbus, Germany; 2011-04-13 - 2011-04-15; in: "Proceedings of 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)", (2011), 1 - 4

2010

• Effective Tool Generation by Architecture Description / A. Krall / Talk: ICSA Colloquium Talk, University of Edinburgh; 2010-09-30
• Optimistic Integrated Instruction Scheduling and Register Allocation / G. Barany, A. Krall / Poster: ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2010), Stockholm, Schweden; 2010-04-13 - 2010-04-15
• DSP Instruction Set Simulation / F. Brandner, R.N. Horspool, A. Krall / in: "Handbook of Signal Processing Systems", B. Bhattacharyya, E. Deprettere, R. Leupers, J. Takala (ed.); Springer, 2010, ISBN: 978-1-4419-6344-4, 679 - 705
• PPPJ'10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java / A. Krall, H. Mössenböck / ACM, New York, 2010, ISBN: 978-1-4503-0269-2; 173 pages
• Fast JIT Code Generation for x86-64 with LLVM / V. Pavlu, A. Krall / Poster: ACACES 2011, Fiuggi, Italien; 2010-07-10 - 2010-07-16; in: "ACACES 2011 Poster Abstracts", HiPEAC, 7, Fiuggi, Italy (2010), ISBN: 9789038216317; 289 - 290
• Optimal and Heuristic Code Generation for Explicitly Parallel Processors / G. Barany, A. Jordan, V. Pavlu, A. Krall / Poster: ACACES 2010, Terrassa (Barcelona), Spanien; 2010-07-11 - 2010-07-17; in: "ACACES 2010 Poster Abstracts", HiPEAC, (2010), ISBN: 9789038216317; 87 - 88
• Optimistic Integrated Instruction Scheduling and Register Allocation / G. Barany, A. Krall / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", (2010), ISBN: 978-3-200-01797-9; 97 - 98
• Optimistic Integrated Instruction Scheduling and Register Allocation / G. Barany, A. Krall / Talk: 15th Workshop on Compilers for Parallel Computing (CPC 2010), Wien; 2010-07-07 - 2010-07-09; in: "15th Workshop on Compilers for Parallel Computing (CPC 2010)", (2010), 15 pages
• Execution models for processors and instructions / F. Brandner, V. Pavlu, A. Krall / Talk: Norchip 2010, Tampere, Finland; 2010-11-15 - 2010-11-16; in: "Proceedings of the 28th Norchip Conference", IEEE Proceedings, (2010), ISBN: 978-1-4244-8972-5

2009

• 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
• 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
• 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
• 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

2008

• 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
• 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
• 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

2007

• Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures / S. Farfeleder, A. Krall, N. Horspool / Journal of Systems Architecture, 53 (2007), 8; 501 - 510
• Adaptive Inlining and On-Stack Replacement in the CACAO Virtual Machine / E. Steiner, A. Krall, C. Thalinger / Talk: PPPJ - International Symposium on Principles and Practice of Programming in Java, Monte de Caparica, Lisbon, Portugal; 2007-09-05 - 2007-09-07; in: "Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java", L. Veiga (ed.); ACM International Conference Proceeding Series, Vol. 272 (2007), ISBN: 978-1-59593-672-1; 221 - 226
• Instruction Set Encoding Optimization for Code Size Reduction / M. Med, A. Krall / Talk: IC-SAMOS - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Samos, Griechenland; 2007-07-16 - 2007-07-19; in: "Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation", H. Blume, G. Gaydadjiev, J. Glossner, P. Knijnenburg (ed.); IEEE, (2007), ISBN: 1-4244-1058-4; 9 - 17
• Leveraging Predicated Execution for Multimedia Processing / D. Ebner, F. Brandner, A. Krall / Talk: Workshop on Embedded Systems for Real-Time Multimedia, Salzburg; 2007-10-04 - 2007-10-05; in: "2007 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia", S. Samarjit Chakraborty (ed.); IEEE, (2007), ISBN: 978-1-4244-1654-7; 85 - 90
• Compiler Generation from Structural Architecture Descriptions / F. Brandner, D. Ebner, A. Krall / Talk: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, Salzburg; 2007-09-30 - 2007-10-03; in: "Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems", A. Donlin (ed.); ACM, (2007), ISBN: 978-1-59593-826-8; 13 - 22

2006

• Effective Tool Generation by Architecture Description / A. Krall / Talk: Informatik Kolloquium, The University of Auckland, Auckland, New Zealand (invited); 2006-08-17
• Effective Tool Generation by Architecture Description / A. Krall / Talk: Informatik Kolloquium, University of New South Wales, Sydney, Australia (invited); 2006-08-04
• Effective Tool Generation by Architecture Description / A. Krall / Talk: Informatik Kolloquium, University of Sydney, Australia (invited); 2006-07-19
• Effective Compiler Generation by Architecture Description / A. Krall / Talk: Informatik Kolloquium, National University Singapore (invited); 2006-06-27
• Compiler Optimizations for Processors with SIMD Instructions / I Pryanishnikov, A. Krall, N. Horspool / Software: Practice and Experience, Volume 37 (2006), No 1; 93 - 113
• Superinstructions and Replication in the Cacao JVM interpreter / M.A. Ertl, C. Thalinger, A. Krall / Journal of .NET Technologies, Vol. 4 (2006), ISBN 80-86943-13-5; 25 - 32
• Effective Compiler Generation by Architecture Description / S. Farfeleder, A. Krall, E. Steiner / Talk: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Ottawa, Canada; 2006-06; in: "Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems", ACM, (2006), ISBN: 1-59593-362-x; 145 - 152
• Short Presentation: Static Verification of Global Heap References in Java Native Libraries / A. Krall, C. Thalinger, D. Ebner, F. Brandner / Talk: Third workshop on Semantics, Program Analysis, and computing Environments for memory management, Charleston, South Carolina, USA; 2006-01; in: "Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management", (2006), 98 - 100

2005

• Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures / S. Farfeleder, A. Krall, N. Horspool / Talk: SAMOS V: Embedded Computer Systems: Architectures, MOdeling, and Simulation, Samos, Greece; 2005-07-18 - 2005-07-20; in: "Lecture Notes in Computer Science", Springer Verlag, Volume 3553 (2005), ISSN: 0302-9743; 222 - 231
• Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions / N. Bermudo, A. Krall, N. Horspool / Talk: Fifth IEEE International Workshop on Source Code Analysis and Manipulation, Budapest, Hungary; 2005-09-30 - 2005-10-01; in: "Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation", IEEE Press, (2005), ISBN: 0-7695-2292-0; 107 - 116
• Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall / 2005

2004

• xDSPcore: A Compiler-Based Configurable Digital Signal Processor / A. Krall, I Pryanishnikov, U. Hirnschrott, Ch. Panis / IEEE Micro, 24 (2004), Issue 4; 67 - 78
• FSEL - Selective Predicated Execution for a Configurable DSP Core / Ch. Panis, U. Hirnschrott, A. Krall, G. Laure, W Lazian, J Nurmi / Talk: IEEE Computer Society Annual Symposium on VLSI, Lafayette, Louisiana; 2004-02-19 - 2004-02-20; in: "Proceedings of the IEEE Computer Society Annual Symposium on VLSI", IEEE, (2004), ISBN: 0-7695-2097-9; 317 - 320
• A Scalable DSP Core for SoC Applications / Ch. Panis, U. Hirnschrott, A. Krall, S. Farfeleder, G. Laure, W Lazian, J Nurmi / Talk: International Symposium on System-On-Chip (SOC'04), Tampere, Finnland; 2004-11-16 - 2004-11-18; in: "Proceedings of the International Symposium on System-On-Chip (SOC'04)", IEEE, (2004), ISBN: 0-7803-8558-6; 85 - 88

2003

• Software and Compilers for Embedded Systems / A. Krall / Springer, Vienna, 2003, ISBN: 3-540-20145-9
• Design Space Exploration for Configurabl / A. Krall, Ch. Panis, G. Laure, W Lazian, H Greunbacher, J Nurmi / in: "International Signal Processing Conference", A. Smailagic (ed.); GSPx, Dallas, 2003
• Graph -coloring vs.Optimal Register Allocation for Optimizing Compilers / U. Hirnschrott, A. Krall, B. Scholz / Talk: Proceedings of the Joint Modular Language Conference, Klagenfurt; 2003-08-31; in: "Proceedings of the Joint Modular Language Conference", L. Boszormenyj (ed.); (2003), ISBN: 3-540-40796-0; 202 - 213
• Pointner Aligment Analysis for Processors with (SIMD) Ins / I Pryanishnikov, A. Krall, N. Horspool / Talk: 5th Workshop on Media and Streaming Processors at Micro'0, San Diego; 2003-12-31; in: "5th Workshop on Media and Streaming Processors at Micro'0", V Chaudary, A. Dean, J. Fritts (ed.); (2003), 50 - 57

2002

• 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
• 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)
• 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
• 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

• Scalable Translation Validation Tools, Techniques and Framework / PhD Thesis by R Lezuo / Supervisor, Reviewer: A. Krall, W. Zimmermann; Inst. für Computersprachen, 2014; oral examination: 2014-06-04
• On Worst-Case Execution Time Analysis and Optimization / PhD Thesis by A. Jordan / Supervisor, Reviewer: A. Krall, M. Schöberl; Inst. für Computersprachen, 2014; oral examination: 2014-03-27
• Creating a GCC back end for a VLIW-architecture / Master Thesis by A. Prantl / Supervisor: A. Krall; Institut für Computersprachen, 2006; final examination: 2006-06-13
• A DSP C-Compiler / Master Thesis by Karl Vögler / Supervisor: A. Krall; Computersprachen, 2002
• DSP Compiler Optimization / Master Thesis by Ulrich Hirnschrott et al. / Supervisor: A. Krall, B. Scholz; Computersprachen, 2002

• Heinz Zemanek Preis / Austria / Website / 1987

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Andreas Krall’s research profile in TISS .