Name Card

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

Own Publications Eigene Publikationen

Results 1-20 of 57 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hochrainer-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
2Thier, Patrick ; Ertl, M. Anton ; Krall, Andreas Fast and flexible instruction selection with constraintsKonferenzbeitrag Inproceedings2018
3Plangger, Richard ; Krall, Andreas Vectorization in PyPy's Tracing Just-In-Time CompilerKonferenzbeitrag Inproceedings 2016
4Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
5Plangger, Richard ; Krall, Andreas PyPy's Number Crunching OptimizationKonferenzbeitrag Inproceedings2015
6Krall, Andreas Correct Compilers for Correct ProcessorsPräsentation Presentation2014
7Kim, Nikolai ; Krall, Andreas Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architectureKonferenzbeitrag Inproceedings 2014
8Lezuo, Roland ; Paulweber, Philipp ; Krall, Andreas CASMKonferenzbeitrag Inproceedings 2014
9Barany, Gergö ; Krall, Andreas Optimal and Heuristic Global Code Motion for Minimal SpillingKonferenzbeitrag Inproceedings 2013
10Lezuo, Roland ; Barany, Gergö ; Krall, Andreas CASM: Implementing an Abstract State Machine based programming languageKonferenzbeitrag Inproceedings 2013
11Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013
12Jordan, Alexander ; Kim, Nikolai ; Krall, Andreas IR-level versus machine-level if-conversion for predicated architecturesKonferenzbeitrag Inproceedings2013
13Bermudo, Nerina ; Krall, Andreas ; Su, Bogong ; Wang, Jian Software De-Pipelining for Nested LoopsArtikel Article2013
14Farfeleder, Stefan ; Moser, Thomas ; Krall, Andreas Using Semantic Relatedness and Locality for Requirements Elicitation GuidanceKonferenzbeitrag Inproceedings2012
15Lezuo, Roland ; Krall, Andreas A Unified Processor Model for Compiler Verification and Simulation Using ASMKonferenzbeitrag Inproceedings2012
16Krall, Andreas ; Barany, Gergö Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial)Artikel Article2012
17Pavlu, Viktor ; Schordan, Markus ; Krall, Andreas Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis PrecisionKonferenzbeitrag Inproceedings 2011
18Krall, Andreas Optimal Code Generation for Explicitly Parallel ProcessorsPräsentation Presentation2011
19Schreiner, Dietmar ; Punzengruber, Clemens ; Krall, Andreas Parametrizing Motion Controllers of Humanoid Robots by EvolutionPräsentation Presentation2011
20Krall, Andreas Efficient Instruction Set Simulation with Abstract State MachinesPräsentation Presentation2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 29 (Search time: 0.001 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