Name Card

Full name Familienname, Vorname
Krall, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 59 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Himmelbauer-2024-The Vienna Architecture Description Language-smur.pdf.jpgHimmelbauer, Simon ; Hochrainer, Christoph ; Huber, Benedikt Lukas ; Mischkulnig, Niklas ; Paulweber, Philipp ; Schwarzinger, Tobias ; Krall, Andreas The Vienna Architecture Description LanguagePreprint Preprint 14-Feb-2024
2Hochrainer-2023-A pred-LL parsable typed higher-order macro system for ar...-vor.pdf.jpgHochrainer, Christoph ; Krall, Andreas A pred-LL(*) parsable typed higher-order macro system for architecture description languagesInproceedings Konferenzbeitrag Oct-2023
3Ebner, Dietmar ; Krall, Andreas ; Scholz, Bernhard Instruction Code SelectionBook Contribution Buchbeitrag2022
4Thier, Patrick ; Ertl, M. Anton ; Krall, Andreas Fast and flexible instruction selection with constraintsKonferenzbeitrag Inproceedings2018
5Plangger, Richard ; Krall, Andreas Vectorization in PyPy's Tracing Just-In-Time CompilerKonferenzbeitrag Inproceedings 2016
6Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
7Plangger, Richard ; Krall, Andreas PyPy's Number Crunching OptimizationKonferenzbeitrag Inproceedings2015
8Krall, Andreas Correct Compilers for Correct ProcessorsPräsentation Presentation2014
9Kim, Nikolai ; Krall, Andreas Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architectureKonferenzbeitrag Inproceedings 2014
10Lezuo, Roland ; Paulweber, Philipp ; Krall, Andreas CASMKonferenzbeitrag Inproceedings 2014
11Barany, Gergö ; Krall, Andreas Optimal and Heuristic Global Code Motion for Minimal SpillingKonferenzbeitrag Inproceedings 2013
12Lezuo, Roland ; Barany, Gergö ; Krall, Andreas CASM: Implementing an Abstract State Machine based programming languageKonferenzbeitrag Inproceedings 2013
13Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013
14Jordan, Alexander ; Kim, Nikolai ; Krall, Andreas IR-level versus machine-level if-conversion for predicated architecturesKonferenzbeitrag Inproceedings2013
15Bermudo, Nerina ; Krall, Andreas ; Su, Bogong ; Wang, Jian Software De-Pipelining for Nested LoopsArtikel Article2013
16Lezuo, Roland ; Krall, Andreas A Unified Processor Model for Compiler Verification and Simulation Using ASMKonferenzbeitrag Inproceedings2012
17Krall, Andreas ; Barany, Gergö Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial)Artikel Article2012
18Farfeleder, Stefan ; Moser, Thomas ; Krall, Andreas Using Semantic Relatedness and Locality for Requirements Elicitation GuidanceKonferenzbeitrag Inproceedings2012
19Pavlu, Viktor ; Schordan, Markus ; Krall, Andreas Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis PrecisionKonferenzbeitrag Inproceedings 2011
20Krall, Andreas Optimal Code Generation for Explicitly Parallel ProcessorsPräsentation Presentation2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 29 (Search time: 0.011 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Mihaylov Hristo - 2023 - Optimised Processor Simulation with VADL.pdf.jpgMihaylov, Hristo Optimised processor simulation with VADLThesis Hochschulschrift 2023
2Maurer Benjamin - 2022 - An SSA-based register allocator for the Glasgow Haskell...pdf.jpgMaurer, Benjamin An SSA-based register allocator for the Glasgow Haskell compilerThesis Hochschulschrift 2022
3Schwarzinger Tobias - 2022 - Flexible generation of low-level developer tools...pdf.jpgSchwarzinger, Tobias Flexible generation of low-level developer tools with VADLThesis Hochschulschrift 2022
4Graf Alexander - 2021 - Compiler backend generation using the VADL processor...pdf.jpgGraf, Alexander Compiler backend generation using the VADL processor description languageThesis Hochschulschrift 2021
5Schuetzenhoefer Hermann - 2020 - Cycle-Accurate simulator generator for the VADL...pdf.jpgSchützenhöfer, Hermann Cycle-Accurate simulator generator for the VADL processor description languageThesis Hochschulschrift 2020
6Beyer Stefan - 2020 - Efficient cycle detection on a partially reference counted...pdf.jpgBeyer, Stefan Efficient cycle detection on a partially reference counted heapThesis Hochschulschrift 2020
7Infuehr Dominik - 2019 - Generational and parallel garbage collection.pdf.jpgInführ, Dominik Generational and parallel garbage collectionThesis Hochschulschrift 2019
8Kuehmayer Christian - 2015 - Instruction selection for the CACAO VM.pdf.jpgKühmayer, Christian Instruction selection for the CACAO VMThesis Hochschulschrift 2015
9Plangger Richard - 2015 - PyPys number crunching optimization just-in-time...pdf.jpgPlangger, Richard PyPy's number crunching optimization : just-in-time superword parallelismThesis Hochschulschrift 2015
10Wilhelm Jakob - 2015 - Migrating IBM HLASM to C.pdf.jpgWilhelm, Jakob Migrating IBM HLASM to CThesis Hochschulschrift 2015
11Gruber Fabian - 2014 - Invokedynamic for the CACAO JVM.pdf.jpgGruber, Fabian Invokedynamic for the CACAO JVMThesis Hochschulschrift 2014
12Paulweber Philipp - 2014 - An optimizing compiler for the abstract state machine...pdf.jpgPaulweber, Philipp An optimizing compiler for the abstract state machine language CASMThesis Hochschulschrift 2014
13Eisl Josef - 2013 - Optimization framework for the CACAO VM.pdf.jpgEisl, Josef Optimization framework for the CACAO VMThesis Hochschulschrift 2013
14Sobernig, Stefan ; Zdun, Uwe Evaluating Java runtime reflection for implementing cross-language method invocationsKonferenzbeitrag Inproceedings 2010
15Krall, Andreas ; Mössenböck, Hans-Peter PPPJ'10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in JavaKonferenzband Proceedings 2010
16Wiedermann, Peter A generalized PBQP instruction selector for the LLVM compiler frameworkThesis Hochschulschrift2008
17Kim, NikolaiProfile guided code positioning optimizations in a C-compilerThesis Hochschulschrift2008
18Pryanishnikov, Ivan Static program analyses and code transformations for DSP softwareThesis Hochschulschrift2007
19Jordan, Alexander Porting the CACAO virtual machine to SPARCThesis Hochschulschrift2007
20Med, MichaelInstruction set encoding optimization for code size reductionThesis Hochschulschrift2006