| 2023 | GPCE | A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages. | Christoph Hochrainer, Andreas Krall |
| 2018 | CC | Fast and flexible instruction selection with constraints. | Patrick Thier, M. Anton Ertl, Andreas Krall |
| 2016 | SCOPES | Vectorization in PyPy's Tracing Just-In-Time Compiler. | Richard Plangger, Andreas Krall |
| 2015 | SYNASC | vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. | Roland Lezuo, Ioan Dragan, Gerg Barany, Andreas Krall |
| 2014 | CGO | Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture. | Nikolai Kim, Andreas Krall |
| 2013 | CC | Optimal and Heuristic Global Code Motion for Minimal Spilling. | Gerg Barany, Andreas Krall |
| 2012 | SEKE | Using Semantic Relatedness and Locality for Requirements Elicitation Guidance. | Stefan Farfeleder, Thomas Moser, Andreas Krall |
| 2011 | DDECS | DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development. | Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stlhane, Herbert Zojer, Christian Panis |
| 2011 | GI | Modeling application-specific processors for embedded systems. | Florian Brandner, Viktor Pavlu, Andreas Krall |
| 2011 | SCAM | Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. | Viktor Pavlu, Markus Schordan, Andreas Krall |
| 2009 | CASES | Progressive spill code placement. | Dietmar Ebner, Bernhard Scholz, Andreas Krall |
| 2007 | CASES | Compiler generation from structural architecture descriptions. | Florian Brandner, Dietmar Ebner, Andreas Krall |
| 2005 | SCAM | Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. | Nerina Bermudo, Andreas Krall, R. Nigel Horspool |
| 1997 | ECOOP | Near Optimal Hierarchical Encoding of Types. | Andreas Krall, Jan Vitek, R. Nigel Horspool |
| 1997 | OOPSLA | Efficient Type Inclusion Tests. | Jan Vitek, R. Nigel Horspool, Andreas Krall |
| 1996 | CC | Removing Anti Dependences by Repairing. | M. Anton Ertl, Andreas Krall |
| 1995 | CP | High-Level Constraints over Finite Domains. | M. Anton Ertl, Andreas Krall |
| 1995 | ICLP | Incremental Global Compilation of Prolog with the Vienna Abstract Machine. | Andreas Krall, Thomas Berger |
| 1994 | CC | Delayed Exceptions - Speculative Execution of Trapping Instructions. | M. Anton Ertl, Andreas Krall |
| 1994 | MICRO | Software pipelining with register allocation and spilling. | Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis |
| 1994 | PLDI | Improving Semi-static Branch Prediction by Code Replication. | Andreas Krall |
| 1992 | CC | Instruction Scheduling for Complex Pipelines. | M. Anton Ertl, Andreas Krall |
| 1987 | PLDI | Implementation of a high-speed Prolog interpreter. | Andreas Krall |
| 1985 | GI | PEG - Ein Programmierumgebungsgenerator. | Andreas Krall |