Krall, Andreas

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Krall, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Plangger, Richard ; Krall, Andreas Vectorization in PyPy's Tracing Just-In-Time CompilerKonferenzbeitrag Inproceedings 2016
2Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas ; Kovacs, Laura ; Zaharie, Daniela vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
3Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013
4Farfeleder, Stefan ; Moser, Thomas ; Krall, Andreas Using Semantic Relatedness and Locality for Requirements Elicitation GuidanceKonferenzbeitrag Inproceedings2012
5Farfeleder, Stefan ; Krall, Andreas ; Horspool, Nigel Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined ArchitecturesKonferenzbeitrag Inproceedings 2005
6Molnar, Peter ; Krall, Andreas ; Brandner, Florian ; Stephenson, Ben ; Probst, Christian W. Stack allocation of objects in the CACAO virtual machineKonferenzbeitrag Inproceedings 2009
7Krall, Andreas ; Thalinger, Christian ; Ebner, Dietmar ; Brandner, Florian Short Presentation: Static Verification of Global Heap References in Java Native LibrariesKonferenzbeitrag Inproceedings 2006
8Plangger, Richard ; Krall, Andreas PyPy's Number Crunching OptimizationKonferenzbeitrag Inproceedings2015
9Ebner, Dietmar ; Scholz, Bernhard ; Krall, Andreas Progressive spill code placementKonferenzbeitrag Inproceedings 2009
10Schreiner, Dietmar ; Punzengruber, Clemens ; Krall, Andreas Parametrizing Motion Controllers of Humanoid Robots by EvolutionPräsentation Presentation2011
11Krall, Andreas ; Horspool, Nigel ; Srikant, Y.N. ; Shankar, Priti Optimizations for Object-Oriented LanguagesBuchbeitrag Book Contribution2008
12Barany, Gergö ; Krall, Andreas Optimistic Integrated Instruction Scheduling and Register AllocationKonferenzbeitrag Inproceedings2010
13Barany, Gergö ; Krall, Andreas Optimistic Integrated Instruction Scheduling and Register AllocationKonferenzbeitrag Inproceedings 2010
14Barany, Gergö ; Krall, Andreas Optimistic Integrated Instruction Scheduling and Register AllocationPräsentation Presentation2010
15Krall, Andreas Optimal Code Generation for Explicitly Parallel ProcessorsPräsentation Presentation2011
16Krall, Andreas Optimal Code Generation for Explicitly Parallel ProcessorsPräsentation Presentation2011
17Krall, Andreas Optimal Code Generation for Explicitly Parallel ProcessorsPräsentation Presentation2011
18Barany, Gergö ; Krall, Andreas Optimal and Heuristic Global Code Motion for Minimal SpillingKonferenzbeitrag Inproceedings 2013
19Barany, Gergö ; Jordan, Alexander ; Pavlu, Viktor ; Krall, Andreas Optimal and Heuristic Code Generation for Explicitly Parallel ProcessorsKonferenzbeitrag Inproceedings2010
20Farfeleder, Stefan ; Moser, Thomas ; Krall, Andreas ; Stalhane, T. ; Omoronyia, Inah ; Zojer, Herbert Ontology-Driven Guidance for Requirements ElicitationKonferenzbeitrag Inproceedings2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-15 of 15 (Search time: 0.014 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Maurer 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
2Plangger Richard - 2015 - PyPys number crunching optimization just-in-time...pdf.jpgPlangger, Richard PyPy's number crunching optimization : just-in-time superword parallelismThesis Hochschulschrift 2015
3Krall, 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
4Paulweber 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
5Eisl Josef - 2013 - Optimization framework for the CACAO VM.pdf.jpgEisl, Josef Optimization framework for the CACAO VMThesis Hochschulschrift 2013
6Wilhelm Jakob - 2015 - Migrating IBM HLASM to C.pdf.jpgWilhelm, Jakob Migrating IBM HLASM to CThesis Hochschulschrift 2015
7Gruber Fabian - 2014 - Invokedynamic for the CACAO JVM.pdf.jpgGruber, Fabian Invokedynamic for the CACAO JVMThesis Hochschulschrift 2014
8Kuehmayer Christian - 2015 - Instruction selection for the CACAO VM.pdf.jpgKühmayer, Christian Instruction selection for the CACAO VMThesis Hochschulschrift 2015
9Infuehr Dominik - 2019 - Generational and parallel garbage collection.pdf.jpgInführ, Dominik Generational and parallel garbage collectionThesis Hochschulschrift 2019
10Schwarzinger Tobias - 2023 - Flexible Generation of Low-Level Developer Tools...pdf.jpgSchwarzinger, Tobias Flexible Generation of Low-Level Developer Tools with VADLThesis Hochschulschrift 2023
11Sobernig, Stefan ; Zdun, Uwe ; Krall, Andreas ; Mössenböck, Hans-Peter Evaluating Java runtime reflection for implementing cross-language method invocationsKonferenzbeitrag Inproceedings 2010
12Beyer Stefan - 2020 - Efficient cycle detection on a partially reference counted...pdf.jpgBeyer, Stefan Efficient cycle detection on a partially reference counted heapThesis Hochschulschrift 2020
13Schuetzenhoefer Hermann - 2021 - Cycle-Accurate Simulator Generator for the VADL...pdf.jpgSchützenhöfer, Hermann Cycle-Accurate simulator generator for the VADL processor description languageThesis Hochschulschrift 2020
14Graf Alexander - 2021 - Compiler Backend Generation using the VADL Processor...pdf.jpgGraf, Alexander Compiler backend generation using the VADL processor description languageThesis Hochschulschrift 2021
15Altman, Erik ; Childers, Bruce R. ; Cohn, Robert ; Davidson, Jack ; Brosschere, Koen De ; Sutter, Bjorn De ; Ertl, Martin Anton ; Franz, Michael ; Gu, Yuan ; Hauswirth, Matthias ; Heinz, Thomas ; Hsu, Wei-Chung ; Knoop, Jens ; Krall, Andreas ; Kumar, Naveen ; Maebe, Jonas ; Muth, Robert ; Rival, Xavier ; Rohou, Erven ; Rosner, Roni ; Soffa, Mary Lou ; Troeger, Jens ; Vick, Christopher 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary TranslationBuch Book2009

Projects Projekte


Results 1-3 of 3 (Search time: 0.0 seconds).

TitleP-Investigator
CacaoKrall, Andreas
Correct compilers for correct application specific processorsKrall, Andreas
Optimal Code Generation for Explicitly Parallel ProcessorsKrall, Andreas