Travelled to:1 × Belgium
1 × Canada
1 × Finland
1 × Hungary
1 × Italy
1 × Japan
2 × Germany
2 × Sweden
2 × United Kingdom
7 × USA
Collaborated with:M.A.Ertl R.N.Horspool T.Berger ∅ J.Vitek S.Farfeleder G.Barany B.Scholz E.Eckstein U.Neumerkel F.Brandner R.Lezuo P.Paulweber T.Moser V.Pavlu M.Schordan N.Bermudo M.Lackner F.Puntigam M.Probst P.Thier E.Steiner D.Ebner P.Wiedermann A.Kadlec
Talks about:instruct (6) optim (5) prolog (4) compil (4) abstract (3) machin (3) graph (3) use (3) constraint (2) schedul (2)
Person: Andreas Krall
DBLP: Krall:Andreas
Contributed to:
2014
2013
2012
2011200820062005
2002
20021999
1997
19971996
19951994
19941992
19921991199019872018Wrote 22 papers:
- LCTES-2014-LezuoPK #compilation #named #state machine
- CASM: optimized compilation of abstract state machines (RL, PP, AK), pp. 13–22.
- CC-2013-BaranyK #heuristic
- Optimal and Heuristic Global Code Motion for Minimal Spilling (GB, AK), pp. 21–40.
- SEKE-2012-FarfelederMK #elicitation #locality #requirements #semantics #using
- Using Semantic Relatedness and Locality for Requirements Elicitation Guidance (SF, TM, AK), pp. 19–24.
- SCAM-2011-PavluSK #alias #analysis #comparison #graph #precise #set
- Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision (VP, MS, AK), pp. 25–34.
- LCTES-2008-EbnerBSKWK #using
- Generalized instruction selection using SSA-graphs (DE, FB, BS, AK, PW, AK), pp. 31–40.
- LCTES-2006-FarfelederKSB #architecture #compilation #effectiveness #generative
- Effective compiler generation by architecture description (SF, AK, ES, FB), pp. 145–152.
- SCAM-2005-BermudoKH #assembly #control flow #graph #re-engineering #source code
- Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions (NB, AK, RNH), pp. 107–118.
- TOOLS-USA-2002-LacknerKP #contract #design #java
- Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
- WCRE-2002-ProbstKS #analysis #liveness #optimisation
- Register Liveness Analysis for Optimizing Dynamic Binary Translation (MP, AK, BS), pp. 35–44.
- LCTES-1999-EcksteinK #low cost
- Minimizing Cost of Local Variables Access for DSP-Processors (EE, AK), pp. 20–27.
- ECOOP-1997-KrallVH #encoding
- Near Optimal Hierarchical Encoding of Types (AK, JV, RNH), pp. 128–145.
- OOPSLA-1997-VitekHK #performance #testing
- Efficient Type Inclusion Tests (JV, RNH, AK), pp. 142–157.
- CC-1996-ErtlK #anti #dependence
- Removing Anti Dependences by Repairing (MAE, AK), pp. 33–43.
- ICLP-1995-KrallB #automaton #compilation #incremental #prolog
- Incremental Global Compilation of Prolog with the Vienna Abstract Machine (AK, TB), pp. 333–347.
- CC-1994-ErtlK #exception #execution
- Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
- PLDI-1994-Krall #branch #predict #replication
- Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.
- CC-1992-ErtlK #pipes and filters #scheduling
- Instruction Scheduling for Complex Pipelines (MAE, AK), pp. 207–218.
- PLILP-1992-KrallB #compilation #performance #prolog
- Fast Prolog with VAM1p based Prolog Compiler (AK, TB), pp. 245–259.
- PLILP-1991-ErtlK #constraints #logic programming #scheduling #using
- Optimal Instruction Scheduling using Constraint Logic Programming (MAE, AK), pp. 75–86.
- PLILP-1990-KrallN #automaton
- The Vienna Abstract Machine (AK, UN), pp. 121–135.
- PLDI-1987-Krall #implementation #interpreter #performance #prolog
- Implementation of a high-speed Prolog interpreter (AK), pp. 125–131.
- CC-2018-ThierEK #constraints #flexibility #performance
- Fast and flexible instruction selection with constraints (PT, MAE, AK), pp. 93–103.