2006 |
23 | EE | Tiziana Margaria,
Oliver Rüthing,
Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers.
Program Analysis and Compilation 2006: 145-159 |
2005 |
22 | EE | Markus Müller-Olm,
Oliver Rüthing,
Helmut Seidl:
Checking Herbrand Equalities and Beyond.
VMCAI 2005: 79-96 |
2003 |
21 | EE | Jens Knoop,
Oliver Rüthing:
Constant Propagation on Predicated Code.
J. UCS 9(8): 829-872 (2003) |
2001 |
20 | EE | Markus Müller-Olm,
Oliver Rüthing:
On the Complexity of Constant Propagation.
ESOP 2001: 190-205 |
19 | | Oliver Rüthing:
Code motion in the presence of critical edges without bidirectional data flow analysis.
Sci. Comput. Program. 39(1): 3-29 (2001) |
2000 |
18 | EE | Jens Knoop,
Oliver Rüthing:
Constant Propagation on the Value Graph: Simple Constants and Beyond.
CC 2000: 94-109 |
17 | EE | Oliver Rüthing,
Jens Knoop,
Bernhard Steffen:
Sparse Code Motion.
POPL 2000: 170-183 |
1999 |
16 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Expansion-Based Removal of Semantic Partial Redundancies.
CC 1999: 91-106 |
15 | EE | Jens Knoop,
Oliver Rüthing:
Optimization Under the Perspective of Soundness, Completeness, and Reusability.
Correct System Design 1999: 288-315 |
14 | EE | Oliver Rüthing,
Jens Knoop,
Bernhard Steffen:
Detecting Equalities of Variables: Combining Efficiency with Precision.
SAS 1999: 232-247 |
1998 |
13 | | Oliver Rüthing:
Interacting Code Motion Transformations: Their Impact and Their Complexity.
Springer 1998 |
12 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Code Motion and Code Placement: Just Synonyms?
ESOP 1998: 154-169 |
11 | EE | Oliver Rüthing:
Optimal Code Motion in the Presence of Large Expressions.
ICCL 1998: 216- |
10 | EE | Oliver Rüthing:
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.
SAS 1998: 1-16 |
1996 |
9 | | Alfons Geser,
Jens Knoop,
Gerald Lüttgen,
Oliver Rüthing,
Bernhard Steffen:
Non-monotone Fixpoint Iterations to Resolve Second Order Effects.
CC 1996: 106-120 |
8 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Towards a tool kit for the automatic generation of interprocedural data flow analyses.
J. Prog. Lang. 4(4): 211-246 (1996) |
1995 |
7 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
The Power of Assignment Motion.
PLDI 1995: 233-245 |
1994 |
6 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Partial Dead Code Elimination.
PLDI 1994: 147-158 |
5 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Optimal Code Motion: Theory and Practice.
ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994) |
1992 |
4 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Lazy code motion (with retrospective)
Best of PLDI 1992: 460-472 |
3 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Lazy Code Motion.
PLDI 1992: 224-234 |
1991 |
2 | | Bernhard Steffen,
Jens Knoop,
Oliver Rüthing:
Efficient Code Motion and an Adaption to Strength Reduction.
TAPSOFT, Vol.2 1991: 394-415 |
1990 |
1 | | Bernhard Steffen,
Jens Knoop,
Oliver Rüthing:
The Value Flow Graph: A Program Representation for Optimal Program Transformations.
ESOP 1990: 389-405 |