Andreas Krall

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Computer Engineering: 40%
Information Systems Engineering: 30%
Logic and Computation: 30%

Research Areas

computer architecture, interpreter, programing languages, compiler

About

1) Compiler 2) Compiler verification 3) Virtual machines 4) Computer architecture

Roles

Associate Professor
Compilers and Languages, E194-05
Curriculum Coordinator
Bachelor Informatics
Curriculum Coordinator
Bachelor Software and Information Engineering
Faculty Council
Substitute Member
Curriculum Commission for Informatics
Chair

Contact

Courses

2022W

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

2023S

Abstract Machines / 185.A49 / UE
Abstract Machines / 185.966 / VO
Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
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

Projects

processor description language and compiler optimizations - 2
2022 – 2024 / HUAWEI Technologies CO, Ltd.
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

Publications

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

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)

Supervisions