dblp.uni-trier.dewww.uni-trier.de

Oliver Rüthing

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
23EETiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159
2005
22EEMarkus Müller-Olm, Oliver Rüthing, Helmut Seidl: Checking Herbrand Equalities and Beyond. VMCAI 2005: 79-96
2003
21EEJens Knoop, Oliver Rüthing: Constant Propagation on Predicated Code. J. UCS 9(8): 829-872 (2003)
2001
20EEMarkus Müller-Olm, Oliver Rüthing: On the Complexity of Constant Propagation. ESOP 2001: 190-205
19 Oliver Rüthing: Code motion in the presence of critical edges without bidirectional data flow analysis. Sci. Comput. Program. 39(1): 3-29 (2001)
2000
18EEJens Knoop, Oliver Rüthing: Constant Propagation on the Value Graph: Simple Constants and Beyond. CC 2000: 94-109
17EEOliver Rüthing, Jens Knoop, Bernhard Steffen: Sparse Code Motion. POPL 2000: 170-183
1999
16 Jens Knoop, Oliver Rüthing, Bernhard Steffen: Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106
15EEJens Knoop, Oliver Rüthing: Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design 1999: 288-315
14EEOliver Rüthing, Jens Knoop, Bernhard Steffen: Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247
1998
13 Oliver Rüthing: Interacting Code Motion Transformations: Their Impact and Their Complexity. Springer 1998
12EEJens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169
11EEOliver Rüthing: Optimal Code Motion in the Presence of Large Expressions. ICCL 1998: 216-
10EEOliver Rüthing: Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. SAS 1998: 1-16
1996
9 Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen: Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC 1996: 106-120
8EEJens Knoop, Oliver Rüthing, Bernhard Steffen: Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Prog. Lang. 4(4): 211-246 (1996)
1995
7 Jens Knoop, Oliver Rüthing, Bernhard Steffen: The Power of Assignment Motion. PLDI 1995: 233-245
1994
6 Jens Knoop, Oliver Rüthing, Bernhard Steffen: Partial Dead Code Elimination. PLDI 1994: 147-158
5EEJens Knoop, Oliver Rüthing, Bernhard Steffen: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994)
1992
4EEJens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy code motion (with retrospective) Best of PLDI 1992: 460-472
3 Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy Code Motion. PLDI 1992: 224-234
1991
2 Bernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415
1990
1 Bernhard Steffen, Jens Knoop, Oliver Rüthing: The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405

Coauthor Index

1Alfons Geser [9]
2Jens Knoop [1] [2] [3] [4] [5] [6] [7] [8] [9] [12] [14] [15] [16] [17] [18] [21]
3Gerald Lüttgen [9]
4Tiziana Margaria (Tiziana Margaria-Steffen) [23]
5Markus Müller-Olm [20] [22]
6Helmut Seidl [22]
7Bernhard Steffen [1] [2] [3] [4] [5] [6] [7] [8] [9] [12] [14] [16] [17] [23]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)