2021W

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

2022S

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

• 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

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

2014

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

2013

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

2012

• 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
• 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
• Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial) / A. Krall, G. Barany / Concurrency and Computation: Practice and Experience, 24 (2012), 5; 443 - 444

2011

• 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
• Parametrizing Motion Controllers of Humanoid Robots by Evolution / D. Schreiner, C. Punzengruber, A. Krall / Talk: INFORMATIK 2011, Berlin; 2011-10-04 - 2011-10-07
• 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
• 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
• 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
• Efficient Instruction Set Simulation with Abstract State Machines / A. Krall / Talk: Seminar, Lyon, Frankreich (invited); 2011-04-08

2010

• 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
• Effective Tool Generation by Architecture Description / A. Krall / Talk: ICSA Colloquium Talk, University of Edinburgh; 2010-09-30
• 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
• 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
• 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
• 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
• 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
• 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

2009

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

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

2007

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

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

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

• 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
• 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
• xDSPcore: A Compiler-Based Configurable Digital Signal Processor / A. Krall, I Pryanishnikov, U. Hirnschrott, Ch. Panis / IEEE Micro, 24 (2004), Issue 4; 67 - 78

2003

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

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

• Scalable Translation Validation Tools, Techniques and Framework / Doctoral 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 / Doctoral 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
  1987 / Austria / Website

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 .