Oliver Rüthing

According to our database, Oliver Rüthing authored at least 25 papers between 1990 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches.

Bernhard Steffen, Oliver Rüthing, Michael Huth

Springer, ISBN: 978-3-319-68396-6, 2018

2011

Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk).

Bernhard Steffen, Oliver Rüthing

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2006

ViDoC - Visual Design of Optimizing Compilers.

Tiziana Margaria, Oliver Rüthing, Bernhard Steffen

Proceedings of the Program Analysis and Compilation, 2006

2005

Checking Herbrand Equalities and Beyond.

Markus Müller-Olm, Oliver Rüthing, Helmut Seidl

Proceedings of the Verification, 2005

2003

Constant Propagation on Predicated Code.

Jens Knoop, Oliver Rüthing

J. Univers. Comput. Sci., 2003

2001

Code motion in the presence of critical edges without bidirectional data flow analysis.

Oliver Rüthing

Sci. Comput. Program., 2001

On the Complexity of Constant Propagation.

Markus Müller-Olm, Oliver Rüthing

Proceedings of the Programming Languages and Systems, 2001

2000

Sparse Code Motion.

Oliver Rüthing, Jens Knoop, Bernhard Steffen

Proceedings of the POPL 2000, 2000

Constant Propagation on the Value Graph: Simple Constants and Beyond.

Jens Knoop, Oliver Rüthing

Proceedings of the Compiler Construction, 9th International Conference, 2000

1999

Detecting Equalities of Variables: Combining Efficiency with Precision.

Oliver Rüthing, Jens Knoop, Bernhard Steffen

Proceedings of the Static Analysis, 6th International Symposium, 1999

Expansion-Based Removal of Semantic Partial Redundancies.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the Compiler Construction, 8th International Conference, 1999

Optimization Under the Perspective of Soundness, Completeness, and Reusability.

Jens Knoop, Oliver Rüthing

Proceedings of the Correct System Design, 1999

1998

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.

Oliver Rüthing

Proceedings of the Static Analysis, 5th International Symposium, 1998

Optimal Code Motion in the Presence of Large Expressions.

Oliver Rüthing

Proceedings of the 1998 International Conference on Computer Languages, 1998

Code Motion and Code Placement: Just Synonyms?

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

Interacting Code Motion Transformations: Their Impact and Their Complexity.

Oliver Rüthing

Lecture Notes in Computer Science 1539, Springer, ISBN: 3-540-65510-7, 1998

1996

Towards a tool kit for the automatic generation of interprocedural data flow analyses.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

J. Program. Lang., 1996

Non-monotone Fixpoint Iterations to Resolve Second Order Effects.

Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen

Proceedings of the Compiler Construction, 6th International Conference, 1996

1995

The Power of Assignment Motion.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

1994

Optimal Code Motion: Theory and Practice.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

ACM Trans. Program. Lang. Syst., 1994

Partial Dead Code Elimination.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

1992

Lazy code motion (with retrospective)

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992

Lazy Code Motion.

Jens Knoop, Oliver Rüthing, Bernhard Steffen

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Efficient Code Motion and an Adaption to Strength Reduction.

Bernhard Steffen, Jens Knoop, Oliver Rüthing

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

The Value Flow Graph: A Program Representation for Optimal Program Transformations.

Bernhard Steffen, Jens Knoop, Oliver Rüthing

Proceedings of the ESOP'90, 1990