| 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 |
