| 2011 | VMCAI | Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). | Bernhard Steffen, Oliver Rthing |
| 2005 | VMCAI | Checking Herbrand Equalities and Beyond. | Markus Mller-Olm, Oliver Rthing, Helmut Seidl |
| 2001 | ESOP | On the Complexity of Constant Propagation. | Markus Mller-Olm, Oliver Rthing |
| 2000 | CC | Constant Propagation on the Value Graph: Simple Constants and Beyond. | Jens Knoop, Oliver Rthing |
| 2000 | POPL | Sparse Code Motion. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1999 | CC | Expansion-Based Removal of Semantic Partial Redundancies. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1999 | SAS | Detecting Equalities of Variables: Combining Efficiency with Precision. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1998 | ESOP | Code Motion and Code Placement: Just Synonyms? | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1998 | SAS | Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. | Oliver Rthing |
| 1996 | CC | Non-monotone Fixpoint Iterations to Resolve Second Order Effects. | Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen |
| 1995 | PLDI | The Power of Assignment Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1994 | PLDI | Partial Dead Code Elimination. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1992 | PLDI | Lazy Code Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1992 | PLDI | Lazy code motion (with retrospective) | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1990 | ESOP | The Value Flow Graph: A Program Representation for Optimal Program Transformations. | Bernhard Steffen, Jens Knoop, Oliver Rthing |