default search action
Andreas Krall
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall:
The Vienna Architecture Description Language. CoRR abs/2402.09087 (2024) - 2023
- [c59]Christoph Hochrainer, Andreas Krall:
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages. GPCE 2023: 29-41 - 2022
- [p5]Dietmar Ebner, Andreas Krall, Bernhard Scholz:
Instruction Code Selection. SSA-based Compiler Design 2022: 257-268
2010 – 2019
- 2018
- [c58]Patrick Thier, M. Anton Ertl, Andreas Krall:
Fast and flexible instruction selection with constraints. CC 2018: 93-103 - [e6]Andreas Krall, Thomas R. Gross:
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018. ACM 2018, ISBN 978-1-4503-4982-6 [contents] - 2016
- [c57]Richard Plangger, Andreas Krall:
Vectorization in PyPy's Tracing Just-In-Time Compiler. SCOPES 2016: 67-76 - [c56]Andreas Krall, Ina Schaefer:
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) 2016: 1-2 - [c55]Andreas Krall, Ina Schaefer:
ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering 2016: 119-120 - [e5]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:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. CEUR Workshop Proceedings 1559, CEUR-WS.org 2016 [contents] - 2015
- [c54]Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall:
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. SYNASC 2015: 167-174 - [e4]Ryan Stansifer, Andreas Krall:
Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015. ACM 2015, ISBN 978-1-4503-3712-0 [contents] - 2014
- [j14]Viktor Pavlu, Markus Schordan, Andreas Krall:
Computation of alias sets from shape graphs for comparison of shape analysis precision. IET Softw. 8(3): 120-133 (2014) - [c53]Nikolai Kim, Andreas Krall:
Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture. ODES@CGO 2014: 25-32 - [c52]Roland Lezuo, Philipp Paulweber, Andreas Krall:
CASM: optimized compilation of abstract state machines. LCTES 2014: 13-22 - 2013
- [j13]Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson:
Foreword. Sci. Comput. Program. 78(5): 423-424 (2013) - [j12]Florian Brandner, Viktor Pavlu, Andreas Krall:
Automatic generation of compiler backends. Softw. Pract. Exp. 43(2): 207-240 (2013) - [c51]Gergö Barany, Andreas Krall:
Optimal and Heuristic Global Code Motion for Minimal Spilling. CC 2013: 21-40 - [c50]Roland Lezuo, Andreas Krall:
Using the CASM language for simulator synthesis and model verification. RAPIDO 2013: 6:1-6:8 - [c49]Roland Lezuo, Gergö Barany, Andreas Krall:
CASM: Implementing an Abstract State Machine based Programming Language. Software Engineering (Workshops) 2013: 75-90 - [p4]Florian Brandner, R. Nigel Horspool, Andreas Krall:
DSP Instruction Set Simulation. Handbook of Signal Processing Systems 2013: 945-974 - 2012
- [j11]Andreas Krall, Gergö Barany:
Special Issue: Compilers for Parallel Computing (CPC 2010). Concurr. Comput. Pract. Exp. 24(5): 443-444 (2012) - [c48]Roland Lezuo, Andreas Krall:
A Unified Processor Model for Compiler Verification and Simulation Using ASM. ABZ 2012: 327-330 - [c47]Stefan Farfeleder, Thomas Moser, Andreas Krall:
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance. SEKE 2012: 19-24 - 2011
- [c46]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: 271-274 - [c45]Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Inah Omoronyia, Herbert Zojer:
Ontology-Driven Guidance for Requirements Elicitation. ESWC (2) 2011: 212-226 - [c44]Florian Brandner, Viktor Pavlu, Andreas Krall:
Modeling application-specific processors for embedded systems. GI-Jahrestagung 2011: 327 - [c43]Viktor Pavlu, Markus Schordan, Andreas Krall:
Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. SCAM 2011: 25-34 - 2010
- [p3]Florian Brandner, R. Nigel Horspool, Andreas Krall:
DSP Instruction Set Simulation. Handbook of Signal Processing Systems 2010: 679-705 - [e3]Andreas Krall, Hanspeter Mössenböck:
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, September 15-17, 2010. ACM 2010, ISBN 978-1-4503-0269-2 [contents]
2000 – 2009
- 2009
- [c42]Dietmar Ebner, Bernhard Scholz, Andreas Krall:
Progressive spill code placement. CASES 2009: 77-86 - [c41]Peter Molnar, Andreas Krall, Florian Brandner:
Stack allocation of objects in the CACAO virtual machine. PPPJ 2009: 153-161 - 2008
- [c40]Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec:
Generalized instruction selection using SSA-graphs. LCTES 2008: 31-40 - [i1]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 - 2007
- [j10]Stefan Farfeleder, Andreas Krall, R. Nigel Horspool:
Ultra fast cycle-accurate compiled emulation of inorder pipelined architectures. J. Syst. Archit. 53(8): 501-510 (2007) - [j9]Ivan Pryanishnikov, Andreas Krall, R. Nigel Horspool:
Compiler optimizations for processors with SIMD instructions. Softw. Pract. Exp. 37(1): 93-113 (2007) - [c39]Florian Brandner, Dietmar Ebner, Andreas Krall:
Compiler generation from structural architecture descriptions. CASES 2007: 13-22 - [c38]Dietmar Ebner, Florian Brandner, Andreas Krall:
Leveraging Predicated Execution for Multimedia Processing. ESTIMedia 2007: 85-90 - [c37]Edwin Steiner, Andreas Krall, Christian Thalinger:
Adaptive inlining and on-stack replacement in the CACAO virtual machine. PPPJ 2007: 221-226 - [c36]Michael Med, Andreas Krall:
Instruction Set Encoding Optimization for Code Size Reduction. ICSAMOS 2007: 9-17 - [p2]Andreas Krall, R. Nigel Horspool:
Optimizations for Object-Oriented Languages. The Compiler Design Handbook, 2nd ed. 2007: 13 - 2006
- [c35]Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner:
Effective compiler generation by architecture description. LCTES 2006: 145-152 - 2005
- [c34]Stefan Farfeleder, Andreas Krall, R. Nigel Horspool:
Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures. SAMOS 2005: 222-231 - [c33]Nerina Bermudo, Andreas Krall, R. Nigel Horspool:
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. SCAM 2005: 107-118 - 2004
- [j8]Andreas Krall, Ivan Pryanishnikov, Ulrich Hirnschrott, Christian Panis:
xDSPcore: A Compiler-Based Configurable Digital Signal Processor. IEEE Micro 24(4): 67-78 (2004) - [c32]Christian Panis, Ulrich Hirnschrott, Stefan Farfeleder, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi:
A scalable embedded DSP core for SoC applications. SoC 2004: 85-88 - [c31]Christian Panis, Ulrich Hirnschrott, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi:
FSEL - Selective Predicated Execution for a Configurable DSP Core. ISVLSI 2004: 317-320 - 2003
- [c30]Ulrich Hirnschrott, Andreas Krall:
VLIW operation refinement for reducing energy consumption. SoC 2003: 131-134 - [c29]Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz:
Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers. JMLC 2003: 202-213 - [e2]Andreas Krall:
Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings. Lecture Notes in Computer Science 2826, Springer 2003, ISBN 3-540-20145-9 [contents] - 2002
- [j7]Martin Lackner, Andreas Krall, Franz Puntigam:
Supporting Design by Contract in Java. J. Object Technol. 1(3): 57-76 (2002) - [j6]M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan:
Vmgen - a generator of efficient virtual machine interpreters. Softw. Pract. Exp. 32(3): 265-294 (2002) - [c28]Mark Probst, Andreas Krall, Bernhard Scholz:
Register Liveness Analysis for Optimizing Dynamic Binary Translation. WCRE 2002: 35-44 - [p1]Andreas Krall, R. Nigel Horspool:
Optimizations for Object-Oriented Languages. The Compiler Design Handbook 2002: 219-246 - 2001
- [c27]David Gregg, M. Anton Ertl, Andreas Krall:
Implementing an Efficient Java Interpreter. HPCN Europe 2001: 613-620 - [c26]Andreas Krall, Philipp Tomsich:
Java for Large-Scale Scientific Computations? LSSC 2001: 228-235 - 2000
- [j5]Andreas Krall, Sylvain Lelait:
Compilation Techniques for Multimedia Processors. Int. J. Parallel Program. 28(4): 347-361 (2000)
1990 – 1999
- 1999
- [c25]Andreas Krall, Philipp Tomsich:
Garbage Collection for Large Memory JAVA Applications. HPCN Europe 1999: 895-905 - [c24]Erik Eckstein, Andreas Krall:
Minimizing Cost of Local Variables Access for DSP-Processors. Workshop on Languages, Compilers, and Tools for Embedded Systems 1999: 20-27 - 1998
- [j4]Andreas Krall, Mark Probst:
Monitors and Exceptions: How to Implement Java Efficiently. Concurr. Pract. Exp. 10(11-13): 837-850 (1998) - [c23]Andreas Krall:
Efficient JavaVM Just-in-Time Compilation. IEEE PACT 1998: 205- - 1997
- [j3]Andreas Krall, Reinhard Grafl:
CACAO - A 64-bit JavaVM Just-in-Time Compiler. Concurr. Pract. Exp. 9(11): 1017-1030 (1997) - [c22]Andreas Krall, Jan Vitek, R. Nigel Horspool:
Near Optimal Hierarchical Encoding of Types. ECOOP 1997: 128-145 - [c21]Andreas Krall, Jan Vitek:
On Extending Java. JMLC 1997: 321-335 - [c20]Jan Vitek, R. Nigel Horspool, Andreas Krall:
Efficient Type Inclusion Tests. OOPSLA 1997: 142-157 - 1996
- [j2]Andreas Krall:
The Vienna Abstract Machine. J. Log. Program. 29(1-3): 85-106 (1996) - [c19]M. Anton Ertl, Andreas Krall:
Removing Anti Dependences by Repairing. CC 1996: 33-43 - 1995
- [j1]Jian Wang, Andreas Krall, M. Anton Ertl:
Trace software pipelining. J. Comput. Sci. Technol. 10(6): 481-490 (1995) - [c18]Jian Wang, Andreas Krall, M. Anton Ertl:
Decomposed software pipelining with reduced register requirement. PACT 1995: 277-280 - [c17]M. Anton Ertl, Andreas Krall:
High-Level Constraints over Finite Domains. Constraint Processing, Selected Papers 1995: 51-66 - [c16]Andreas Krall, Thomas Berger:
Incremental Global Compilation of Prolog with the Vienna Abstract Machine. ICLP 1995: 333-347 - [e1]Andreas Krall, Ulrich Geske:
11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270. 1995 [contents] - 1994
- [c15]M. Anton Ertl, Andreas Krall:
Delayed Exceptions - Speculative Execution of Trapping Instructions. CC 1994: 158-171 - [c14]Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis:
Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches. IFIP PACT 1994: 359-362 - [c13]Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis:
Software pipelining with register allocation and spilling. MICRO 1994: 95-99 - [c12]Andreas Krall:
Improving Semi-static Branch Prediction by Code Replication. PLDI 1994: 97-106 - [c11]Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall:
Dependence-Conscious Global Register Allocation. Programming Languages and System Architectures 1994: 125-136 - [c10]Thomas Berger, Andreas Krall:
A Progress Report on Incremental Global Compilation of Prolog. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994 - [c9]Andreas Krall:
Implementation techniques for Prolog. WLP 1994: 1-15 - 1993
- [c8]M. Anton Ertl, Andreas Krall:
Benutzerdefinierte Constraints. WLP 1993: 18-22 - 1992
- [c7]M. Anton Ertl, Andreas Krall:
Instruction Scheduling for Complex Pipelines. CC 1992: 207-218 - [c6]Andreas Krall, Thomas Berger:
Fast Prolog with VAM1p based Prolog Compiler. PLILP 1992: 245-259 - 1991
- [c5]M. Anton Ertl, Andreas Krall:
Optimal Instruction Scheduling using Constraint Logic Programming. PLILP 1991: 75-86 - 1990
- [c4]Andreas Krall, Ulrich Neumerkel:
The Vienna Abstract Machine. PLILP 1990: 121-135
1980 – 1989
- 1987
- [c3]Andreas Krall, Eva Kühn:
VIP: Eine integrierte Programmierumgebung für Prolog. ÖGAI 1987: 125-132 - [c2]Andreas Krall:
Implementation of a high-speed Prolog interpreter. PLDI 1987: 125-131 - 1985
- [c1]Andreas Krall:
PEG - Ein Programmierumgebungsgenerator. GI Jahrestagung 1985: 488-499
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint