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

  • 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

2012

2011

2010

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

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

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 .