Person: Oliver Rüthing

DBLP: R=uuml=thing:Oliver

Contributed to:

2011

2005

2001

2000

2000

1999

1999

1998

1998

1996

1995

1994

1992

1992

1990

1991

Wrote 16 papers:

VMCAI-2011-SteffenR #quality

Quality Engineering: Leveraging Heterogeneous Information — (BS, OR), pp. 23–37.

VMCAI-2005-Muller-OlmRS

Checking Herbrand Equalities and Beyond (MMO, OR, HS), pp. 79–96.

ESOP-2001-Muller-OlmR #complexity #constant #on the

On the Complexity of Constant Propagation (MMO, OR), pp. 190–205.

CC-2000-KnoopR #constant #graph

Constant Propagation on the Value Graph: Simple Constants and Beyond (JK, OR), pp. 94–109.

POPL-2000-RuthingKS

Sparse Code Motion (OR, JK, BS), pp. 170–183.

CC-1999-KnoopRS #semantics

Expansion-Based Removal of Semantic Partial Redundancies (JK, OR, BS), pp. 91–106.

SAS-1999-RuthingKS #detection #performance #precise

Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.

ESOP-1998-KnoopRS #question

Code Motion and Code Placement: Just Synonyms? (JK, OR, BS), pp. 154–169.

SAS-1998-Ruthing #analysis #bidirectional #data flow

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality (OR), pp. 1–16.

CC-1996-GeserKLRS #fixpoint #higher-order

Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.

PLDI-1995-KnoopRS #power of

The Power of Assignment Motion (JK, OR, BS), pp. 233–245.

PLDI-1994-KnoopRS

Partial Dead Code Elimination (JK, OR, BS), pp. 147–158.

Best-of-PLDI-1992-KnoopRS92a #lazy evaluation

Lazy code motion (with retrospective) (JK, OR, BS), pp. 460–472.

PLDI-1992-KnoopRS #lazy evaluation

Lazy Code Motion (JK, OR, BS), pp. 224–234.

ESOP-1990-SteffenKR #graph #program transformation #representation

The Value Flow Graph: A Program Representation for Optimal Program Transformations (BS, JK, OR), pp. 389–405.

CCPSD-1991-SteffenKR #adaptation #performance #reduction

Efficient Code Motion and an Adaption to Strength Reduction (BS, JK, OR), pp. 394–415.