Andreas Krall

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 6

Top Topics

Description Languages

Highly Optimized

Automated Theorem Provers

Top Venues

Publications

Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall
The Vienna Architecture Description Language. CoRR (2024)
Christoph Hochrainer, Andreas Krall
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages. GPCE (2023)
Patrick Thier, M. Anton Ertl, Andreas Krall
Fast and flexible instruction selection with constraints. CC (2018)
Richard Plangger, Andreas Krall
Vectorization in PyPy's Tracing Just-In-Time Compiler. SCOPES (2016)
Andreas Krall, Ina Schaefer
ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering (2016)
Andreas Krall, Ina Schaefer
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) (2016)
Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. SYNASC (2015)
Roland Lezuo, Philipp Paulweber, Andreas Krall
CASM: optimized compilation of abstract state machines. LCTES (2014)
Viktor Pavlu, Markus Schordan, Andreas Krall
Computation of alias sets from shape graphs for comparison of shape analysis precision. IET Softw. 8 (3) (2014)
Nikolai Kim, Andreas Krall
Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture. ODES@CGO (2014)
Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson
Foreword. Sci. Comput. Program. 78 (5) (2013)
Roland Lezuo, Gergö Barany, Andreas Krall
CASM: Implementing an Abstract State Machine based Programming Language. Software Engineering (Workshops) (2013)
Roland Lezuo, Andreas Krall
Using the CASM language for simulator synthesis and model verification. RAPIDO (2013)
Gergö Barany, Andreas Krall
Optimal and Heuristic Global Code Motion for Minimal Spilling. CC (2013)
Florian Brandner, Viktor Pavlu, Andreas Krall
Automatic generation of compiler backends. Softw. Pract. Exp. 43 (2) (2013)
Andreas Krall, Gergö Barany
Special Issue: Compilers for Parallel Computing (CPC 2010). Concurr. Comput. Pract. Exp. 24 (5) (2012)
Roland Lezuo, Andreas Krall
A Unified Processor Model for Compiler Verification and Simulation Using ASM. ABZ (2012)
Stefan Farfeleder, Thomas Moser, Andreas Krall
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance. SEKE (2012)
Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Herbert Zojer, Christian Panis
DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development. DDECS (2011)
Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Inah Omoronyia, Herbert Zojer
Ontology-Driven Guidance for Requirements Elicitation. ESWC (2) (2011)
Viktor Pavlu, Markus Schordan, Andreas Krall
Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. SCAM (2011)
Florian Brandner, Viktor Pavlu, Andreas Krall
Modeling application-specific processors for embedded systems. GI-Jahrestagung (2011)
Peter Molnar, Andreas Krall, Florian Brandner
Stack allocation of objects in the CACAO virtual machine. PPPJ (2009)
Dietmar Ebner, Bernhard Scholz, Andreas Krall
Progressive spill code placement. CASES (2009)
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
-graphs. LCTES (2008)
Erik R. Altman, Bruce R. Childers, Robert S. Cohn, Jack W. Davidson, Koen De Bosschere, Bjorn De Sutter, M. Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Michael Med, Andreas Krall
Instruction Set Encoding Optimization for Code Size Reduction. ICSAMOS (2007)
Dietmar Ebner, Florian Brandner, Andreas Krall
Leveraging Predicated Execution for Multimedia Processing. ESTIMedia (2007)
Edwin Steiner, Andreas Krall, Christian Thalinger
Adaptive inlining and on-stack replacement in the CACAO virtual machine. PPPJ (2007)
Stefan Farfeleder, Andreas Krall, R. Nigel Horspool
Ultra fast cycle-accurate compiled emulation of inorder pipelined architectures. J. Syst. Archit. 53 (8) (2007)
Florian Brandner, Dietmar Ebner, Andreas Krall
Compiler generation from structural architecture descriptions. CASES (2007)
Ivan Pryanishnikov, Andreas Krall, R. Nigel Horspool
Compiler optimizations for processors with SIMD instructions. Softw. Pract. Exp. 37 (1) (2007)
Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner
Effective compiler generation by architecture description. LCTES (2006)
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. SCAM (2005)
Stefan Farfeleder, Andreas Krall, R. Nigel Horspool
Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures. SAMOS (2005)
Andreas Krall, Ivan Pryanishnikov, Ulrich Hirnschrott, Christian Panis
xDSPcore: A Compiler-Based Configurable Digital Signal Processor. IEEE Micro 24 (4) (2004)
Christian Panis, Ulrich Hirnschrott, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi
FSEL - Selective Predicated Execution for a Configurable DSP Core. ISVLSI (2004)
Christian Panis, Ulrich Hirnschrott, Stefan Farfeleder, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi
A scalable embedded DSP core for SoC applications. SoC (2004)
Ulrich Hirnschrott, Andreas Krall
VLIW operation refinement for reducing energy consumption. SoC (2003)
Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. JMLC (2003)
M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan
Vmgen - a generator of efficient virtual machine interpreters. Softw. Pract. Exp. 32 (3) (2002)
Mark Probst, Andreas Krall, Bernhard Scholz
Register Liveness Analysis for Optimizing Dynamic Binary Translation. WCRE (2002)
Martin Lackner, Andreas Krall, Franz Puntigam
Supporting Design by Contract in Java. J. Object Technol. 1 (3) (2002)
David Gregg, M. Anton Ertl, Andreas Krall
Implementing an Efficient Java Interpreter. HPCN Europe (2001)
Andreas Krall, Philipp Tomsich
Java for Large-Scale Scientific Computations? LSSC (2001)
Andreas Krall, Sylvain Lelait
Compilation Techniques for Multimedia Processors. Int. J. Parallel Program. 28 (4) (2000)
Erik Eckstein, Andreas Krall
Minimizing Cost of Local Variables Access for DSP-Processors. Workshop on Languages, Compilers, and Tools for Embedded Systems (1999)
Andreas Krall, Philipp Tomsich
Garbage Collection for Large Memory JAVA Applications. HPCN Europe (1999)
Andreas Krall, Mark Probst
Monitors and Exceptions: How to Implement Java Efficiently. Concurr. Pract. Exp. 10 (11-13) (1998)
Andreas Krall
Efficient JavaVM Just-in-Time Compilation. IEEE PACT (1998)
Andreas Krall, Jan Vitek, R. Nigel Horspool
Near Optimal Hierarchical Encoding of Types. ECOOP (1997)
Jan Vitek, R. Nigel Horspool, Andreas Krall
Efficient Type Inclusion Tests. OOPSLA (1997)
Andreas Krall, Reinhard Grafl
CACAO - A 64-bit JavaVM Just-in-Time Compiler. Concurr. Pract. Exp. 9 (11) (1997)
Andreas Krall, Jan Vitek
On Extending Java. JMLC (1997)
Andreas Krall
The Vienna Abstract Machine. J. Log. Program. 29 (1-3) (1996)
M. Anton Ertl, Andreas Krall
Removing Anti Dependences by Repairing. CC (1996)
M. Anton Ertl, Andreas Krall
High-Level Constraints over Finite Domains. Constraint Processing, Selected Papers (1995)
Jian Wang, Andreas Krall, M. Anton Ertl
Decomposed software pipelining with reduced register requirement. PACT (1995)
Andreas Krall, Thomas Berger
Incremental Global Compilation of Prolog with the Vienna Abstract Machine. ICLP (1995)
Jian Wang, Andreas Krall, M. Anton Ertl
Trace software pipelining. J. Comput. Sci. Technol. 10 (6) (1995)
Andreas Krall
Implementation techniques for Prolog. WLP (1994)
Andreas Krall
Improving Semi-static Branch Prediction by Code Replication. PLDI (1994)
Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis
Software pipelining with register allocation and spilling. MICRO (1994)
Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis
Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches. IFIP PACT (1994)
Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall
Dependence-Conscious Global Register Allocation. Programming Languages and System Architectures (1994)
Thomas Berger, Andreas Krall
A Progress Report on Incremental Global Compilation of Prolog. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
M. Anton Ertl, Andreas Krall
Delayed Exceptions - Speculative Execution of Trapping Instructions. CC (1994)
M. Anton Ertl, Andreas Krall
Benutzerdefinierte Constraints. WLP (1993)
M. Anton Ertl, Andreas Krall
Instruction Scheduling for Complex Pipelines. CC (1992)
Andreas Krall, Thomas Berger
Fast Prolog with VAM1p based Prolog Compiler. PLILP (1992)
M. Anton Ertl, Andreas Krall
Optimal Instruction Scheduling using Constraint Logic Programming. PLILP (1991)
Andreas Krall, Ulrich Neumerkel
The Vienna Abstract Machine. PLILP (1990)
Andreas Krall, eva Kühn
VIP: Eine integrierte Programmierumgebung für Prolog. ÖGAI (1987)
Andreas Krall
Implementation of a high-speed Prolog interpreter. PLDI (1987)
Andreas Krall
PEG - Ein Programmierumgebungsgenerator. GI Jahrestagung (1985)