Andreas Krall

88 papers A* 3A 2B 12C 11Misc 3Journal 15Unranked 34
YearRankTypeTitle / Venue / Authors
2025 — conf
OpenVADL: An Open Source Implementation of the Vienna Architecture Description Language.
ARCS
Florian Freitag, Linus Halder, Benedikt Huber, Benjamin Kasper, Michael Nestler, Kevin Per, Matthias Raschhofer, Alexander Ripar, Johannes Zottele, Andreas Krall
2025 — conf
Pattern Matching, Transformation and Code Replacement on a Polyhedral Representation of Nested Loops.
CF
Benedikt Huber, Andreas Krall
2024 J jnl
The Vienna Architecture Description Language.
CoRR
Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall
2023 B conf
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages.
GPCE
Christoph Hochrainer, Andreas Krall
2022 — ch.
Instruction Code Selection.
SSA-based Compiler Design
Dietmar Ebner, Andreas Krall, Bernhard Scholz
2018 B conf
Fast and flexible instruction selection with constraints.
CC
Patrick Thier, M. Anton Ertl, Andreas Krall
2018 B ed.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018
PPoPP
Andreas Krall, Thomas R. Gross
2016 C conf
ATPS 2016: 9. Arbeitstagung Programmiersprachen.
Software Engineering
Andreas Krall, Ina Schaefer
2016 C ed.
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016.
Software Engineering (Workshops)
Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach
2016 C conf
Vectorization in PyPy's Tracing Just-In-Time Compiler.
SCOPES
Richard Plangger, Andreas Krall
2016 C conf
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016).
Software Engineering (Workshops)
Andreas Krall, Ina Schaefer
2015 — ed.
Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015
PPPJ
Ryan Stansifer, Andreas Krall
2015 Misc conf
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.
SYNASC
Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall
2014 B conf
CASM: optimized compilation of abstract state machines.
LCTES
Roland Lezuo, Philipp Paulweber, Andreas Krall
2014 J jnl
Computation of alias sets from shape graphs for comparison of shape analysis precision.
IET Softw.
Viktor Pavlu, Markus Schordan, Andreas Krall
2014 — conf
Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture.
ODES@CGO
Nikolai Kim, Andreas Krall
2013 J jnl
Automatic generation of compiler backends.
Softw. Pract. Exp.
Florian Brandner, Viktor Pavlu, Andreas Krall
2013 C conf
CASM: Implementing an Abstract State Machine based Programming Language.
Software Engineering (Workshops)
Roland Lezuo, Gergö Barany, Andreas Krall
2013 — ch.
DSP Instruction Set Simulation.
Handbook of Signal Processing Systems
Florian Brandner, R. Nigel Horspool, Andreas Krall
2013 J jnl
Foreword.
Sci. Comput. Program.
Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson
2013 B conf
Optimal and Heuristic Global Code Motion for Minimal Spilling.
CC
Gergö Barany, Andreas Krall
2013 — conf
Using the CASM language for simulator synthesis and model verification.
RAPIDO
Roland Lezuo, Andreas Krall
2012 C conf
A Unified Processor Model for Compiler Verification and Simulation Using ASM.
ABZ
Roland Lezuo, Andreas Krall
2012 J jnl
Special Issue: Compilers for Parallel Computing (CPC 2010).
Concurr. Comput. Pract. Exp.
Andreas Krall, Gergö Barany
2012 C conf
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance.
SEKE
Stefan Farfeleder, Thomas Moser, Andreas Krall
2011 C conf
Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision.
SCAM
Viktor Pavlu, Markus Schordan, Andreas Krall
2011 C conf
DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development.
DDECS
Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Herbert Zojer, Christian Panis
2011 — conf
Modeling application-specific processors for embedded systems.
GI-Jahrestagung
Florian Brandner, Viktor Pavlu, Andreas Krall
2011 — conf
Ontology-Driven Guidance for Requirements Elicitation.
ESWC (2)
Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Inah Omoronyia, Herbert Zojer
2010 — ch.
DSP Instruction Set Simulation.
Handbook of Signal Processing Systems
Florian Brandner, R. Nigel Horspool, Andreas Krall
2010 — ed.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, September 15-17, 2010
PPPJ
Andreas Krall, Hanspeter Mössenböck
2009 Misc conf
Progressive spill code placement.
CASES
Dietmar Ebner, Bernhard Scholz, Andreas Krall
2009 — conf
Stack allocation of objects in the CACAO virtual machine.
PPPJ
Peter Molnar, Andreas Krall, Florian Brandner
2008 — conf
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Emerging Uses and Paradigms for Dynamic Binary Translation
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
2008 B conf
Generalized instruction selection using
LCTES
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
2007 — conf
Adaptive inlining and on-stack replacement in the CACAO virtual machine.
PPPJ
Edwin Steiner, Andreas Krall, Christian Thalinger
2007 Misc conf
Compiler generation from structural architecture descriptions.
CASES
Florian Brandner, Dietmar Ebner, Andreas Krall
2007 J jnl
Compiler optimizations for processors with SIMD instructions.
Softw. Pract. Exp.
Ivan Pryanishnikov, Andreas Krall, R. Nigel Horspool
2007 — conf
Instruction Set Encoding Optimization for Code Size Reduction.
ICSAMOS
Michael Med, Andreas Krall
2007 — conf
Leveraging Predicated Execution for Multimedia Processing.
ESTIMedia
Dietmar Ebner, Florian Brandner, Andreas Krall
2007 — ch.
Optimizations for Object-Oriented Languages.
The Compiler Design Handbook, 2nd ed.
Andreas Krall, R. Nigel Horspool
2007 J jnl
Ultra fast cycle-accurate compiled emulation of inorder pipelined architectures.
J. Syst. Archit.
Stefan Farfeleder, Andreas Krall, R. Nigel Horspool
2006 B conf
Effective compiler generation by architecture description.
LCTES
Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner
2005 C conf
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions.
SCAM
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
2005 — conf
Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures.
SAMOS
Stefan Farfeleder, Andreas Krall, R. Nigel Horspool
2004 — conf
A scalable embedded DSP core for SoC applications.
SoC
Christian Panis, Ulrich Hirnschrott, Stefan Farfeleder, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi
2004 — conf
FSEL - Selective Predicated Execution for a Configurable DSP Core.
ISVLSI
Christian Panis, Ulrich Hirnschrott, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi
2004 J jnl
xDSPcore: A Compiler-Based Configurable Digital Signal Processor.
IEEE Micro
Andreas Krall, Ivan Pryanishnikov, Ulrich Hirnschrott, Christian Panis
2003 — conf
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.
JMLC
Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz
2003 C ed.
Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
SCOPES
Andreas Krall
2003 — conf
VLIW operation refinement for reducing energy consumption.
SoC
Ulrich Hirnschrott, Andreas Krall
2002 — ch.
Optimizations for Object-Oriented Languages.
The Compiler Design Handbook
Andreas Krall, R. Nigel Horspool
2002 — conf
Register Liveness Analysis for Optimizing Dynamic Binary Translation.
WCRE
Mark Probst, Andreas Krall, Bernhard Scholz
2002 J jnl
Supporting Design by Contract in Java.
J. Object Technol.
Martin Lackner, Andreas Krall, Franz Puntigam
2002 J jnl
Vmgen - a generator of efficient virtual machine interpreters.
Softw. Pract. Exp.
M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan
2001 — conf
Implementing an Efficient Java Interpreter.
HPCN Europe
David Gregg, M. Anton Ertl, Andreas Krall
2001 — conf
Java for Large-Scale Scientific Computations?
LSSC
Andreas Krall, Philipp Tomsich
2000 J jnl
Compilation Techniques for Multimedia Processors.
Int. J. Parallel Program.
Andreas Krall, Sylvain Lelait
1999 — conf
Garbage Collection for Large Memory JAVA Applications.
HPCN Europe
Andreas Krall, Philipp Tomsich
1999 — conf
Minimizing Cost of Local Variables Access for DSP-Processors.
Workshop on Languages, Compilers, and Tools for Embedded Systems
Erik Eckstein, Andreas Krall
1998 — conf
Efficient JavaVM Just-in-Time Compilation.
IEEE PACT
Andreas Krall
1998 J jnl
Monitors and Exceptions: How to Implement Java Efficiently.
Concurr. Pract. Exp.
Andreas Krall, Mark Probst
1997 J jnl
CACAO - A 64-bit JavaVM Just-in-Time Compiler.
Concurr. Pract. Exp.
Andreas Krall, Reinhard Grafl
1997 A conf
Efficient Type Inclusion Tests.
OOPSLA
Jan Vitek, R. Nigel Horspool, Andreas Krall
1997 A conf
Near Optimal Hierarchical Encoding of Types.
ECOOP
Andreas Krall, Jan Vitek, R. Nigel Horspool
1997 — conf
On Extending Java.
JMLC
Andreas Krall, Jan Vitek
1996 B conf
Removing Anti Dependences by Repairing.
CC
M. Anton Ertl, Andreas Krall
1996 J jnl
The Vienna Abstract Machine.
J. Log. Program.
Andreas Krall
1995 — ed.
11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270.
WLP
Andreas Krall, Ulrich Geske
1995 B conf
Decomposed software pipelining with reduced register requirement.
PACT
Jian Wang, Andreas Krall, M. Anton Ertl
1995 — conf
High-Level Constraints over Finite Domains.
Constraint Processing, Selected Papers
M. Anton Ertl, Andreas Krall
1995 B conf
Incremental Global Compilation of Prolog with the Vienna Abstract Machine.
ICLP
Andreas Krall, Thomas Berger
1995 J jnl
Trace software pipelining.
J. Comput. Sci. Technol.
Jian Wang, Andreas Krall, M. Anton Ertl
1994 — conf
A Progress Report on Incremental Global Compilation of Prolog.
ILPS Workshop: Implementation Techniques for Logic Programming Languages
Thomas Berger, Andreas Krall
1994 B conf
Delayed Exceptions - Speculative Execution of Trapping Instructions.
CC
M. Anton Ertl, Andreas Krall
1994 — conf
Dependence-Conscious Global Register Allocation.
Programming Languages and System Architectures
Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall
1994 — conf
Implementation techniques for Prolog.
WLP
Andreas Krall
1994 A* conf
Improving Semi-static Branch Prediction by Code Replication.
PLDI
Andreas Krall
1994 A* conf
Software pipelining with register allocation and spilling.
MICRO
Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis
1994 — conf
Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches.
IFIP PACT
Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis
1993 — conf
Benutzerdefinierte Constraints.
WLP
M. Anton Ertl, Andreas Krall
1992 — conf
Fast Prolog with VAM1p based Prolog Compiler.
PLILP
Andreas Krall, Thomas Berger
1992 B conf
Instruction Scheduling for Complex Pipelines.
CC
M. Anton Ertl, Andreas Krall
1991 — conf
Optimal Instruction Scheduling using Constraint Logic Programming.
PLILP
M. Anton Ertl, Andreas Krall
1990 — conf
The Vienna Abstract Machine.
PLILP
Andreas Krall, Ulrich Neumerkel
1987 A* conf
Implementation of a high-speed Prolog interpreter.
PLDI
Andreas Krall
1987 — conf
VIP: Eine integrierte Programmierumgebung für Prolog.
ÖGAI
Andreas Krall, Eva Kühn
1985 — conf
PEG - Ein Programmierumgebungsgenerator.
GI Jahrestagung
Andreas Krall