Oliver Rüthing

25 papers A* 4A 3B 7Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2018 — book
Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches.
Bernhard Steffen, Oliver Rüthing, Michael Huth
2011 B conf
Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk).
VMCAI
Bernhard Steffen, Oliver Rüthing
2006 — conf
ViDoC - Visual Design of Optimizing Compilers.
Program Analysis and Compilation
Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
2005 B conf
Checking Herbrand Equalities and Beyond.
VMCAI
Markus Müller-Olm, Oliver Rüthing, Helmut Seidl
2003 J jnl
Constant Propagation on Predicated Code.
J. Univers. Comput. Sci.
Jens Knoop, Oliver Rüthing
2001 J jnl
Code motion in the presence of critical edges without bidirectional data flow analysis.
Sci. Comput. Program.
Oliver Rüthing
2001 A conf
On the Complexity of Constant Propagation.
ESOP
Markus Müller-Olm, Oliver Rüthing
2000 B conf
Constant Propagation on the Value Graph: Simple Constants and Beyond.
CC
Jens Knoop, Oliver Rüthing
2000 A* conf
Sparse Code Motion.
POPL
Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999 B conf
Detecting Equalities of Variables: Combining Efficiency with Precision.
SAS
Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999 B conf
Expansion-Based Removal of Semantic Partial Redundancies.
CC
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1999 — conf
Optimization Under the Perspective of Soundness, Completeness, and Reusability.
Correct System Design
Jens Knoop, Oliver Rüthing
1998 B conf
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.
SAS
Oliver Rüthing
1998 A conf
Code Motion and Code Placement: Just Synonyms?
ESOP
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1998 — book
Interacting Code Motion Transformations: Their Impact and Their Complexity.
Oliver Rüthing
1998 — conf
Optimal Code Motion in the Presence of Large Expressions.
ICCL
Oliver Rüthing
1996 B conf
Non-monotone Fixpoint Iterations to Resolve Second Order Effects.
CC
Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
1996 J jnl
Towards a tool kit for the automatic generation of interprocedural data flow analyses.
J. Program. Lang.
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1995 A* conf
The Power of Assignment Motion.
PLDI
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994 J jnl
Optimal Code Motion: Theory and Practice.
ACM Trans. Program. Lang. Syst.
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994 A* conf
Partial Dead Code Elimination.
PLDI
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992 A* conf
Lazy Code Motion.
PLDI
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992 — conf
Lazy code motion (with retrospective)
Best of PLDI
Jens Knoop, Oliver Rüthing, Bernhard Steffen
1991 — conf
Efficient Code Motion and an Adaption to Strength Reduction.
TAPSOFT, Vol.2
Bernhard Steffen, Jens Knoop, Oliver Rüthing
1990 A conf
The Value Flow Graph: A Program Representation for Optimal Program Transformations.
ESOP
Bernhard Steffen, Jens Knoop, Oliver Rüthing