Search the dblp DataBase

Publications of Author

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