Oliver Rüthing

Bernhard Steffen, Oliver Rüthing: Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). VMCAI 2011: 23-37

Tiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159

Markus Müller-Olm, Oliver Rüthing, Helmut Seidl: Checking Herbrand Equalities and Beyond. VMCAI 2005: 79-96

Jens Knoop, Oliver Rüthing: Constant Propagation on Predicated Code. J. UCS 9(8): 829-872 (2003)

Oliver Rüthing: Code motion in the presence of critical edges without bidirectional data flow analysis. Sci. Comput. Program. 39(1): 3-29 (2001)

Markus Müller-Olm, Oliver Rüthing: On the Complexity of Constant Propagation. ESOP 2001: 190-205

Jens Knoop, Oliver Rüthing: Constant Propagation on the Value Graph: Simple Constants and Beyond. CC 2000: 94-109

Oliver Rüthing, Jens Knoop, Bernhard Steffen: Sparse Code Motion. POPL 2000: 170-183

Jens Knoop, Oliver Rüthing: Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design 1999: 288-315

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106

Oliver Rüthing, Jens Knoop, Bernhard Steffen: Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247

Oliver Rüthing: Interacting Code Motion Transformations: Their Impact and Their Complexity. Lecture Notes in Computer Science 1539, Springer 1998, isbn 3-540-65510-7

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169

Oliver Rüthing: Optimal Code Motion in the Presence of Large Expressions. ICCL 1998: 216-

Oliver Rüthing: Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. SAS 1998: 1-16

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)

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

Jens Knoop, Oliver Rüthing, Bernhard Steffen: The Power of Assignment Motion. PLDI 1995: 233-245

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994)

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Partial Dead Code Elimination. PLDI 1994: 147-158

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy Code Motion. PLDI 1992: 224-234

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy code motion (with retrospective). Best of PLDI 1992: 460-472

Bernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415

Bernhard Steffen, Jens Knoop, Oliver Rüthing: The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405