TU Wien Informatics

Andreas Krall

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

Research Focus

Research Areas

  • computer architecture, interpreter, programing languages, compiler
Andreas Krall

About

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

Roles

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

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

2012

2011

2010

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

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

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 .