BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Germany
1 × Portugal
1 × Sweden
1 × The Netherlands
3 × Italy
5 × USA
Collaborated with:
B.Steffen J.Knoop M.Müller-Olm H.Seidl A.Geser G.Lüttgen
Talks about:
code (8) motion (7) constant (3) program (2) partial (2) propag (2) effici (2) beyond (2) graph (2) equal (2)

Person: Oliver Rüthing

DBLP DBLP: R=uuml=thing:Oliver

Contributed to:

VMCAI 20112011
VMCAI 20052005
ESOP 20012001
CC 20002000
POPL 20002000
CC 19991999
SAS 19991999
ESOP 19981998
SAS 19981998
CC 19961996
PLDI 19951995
PLDI 19941994
Best of PLDI 20041992
PLDI 19921992
ESOP 19901990
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 16 papers:

VMCAI-2011-SteffenR #quality
Quality Engineering: Leveraging Heterogeneous Information — (BS, OR), pp. 23–37.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.