2002 |
14 | EE | Erik Ruf:
Improving the Precision of Equality-Based Dataflow Analyses.
SAS 2002: 247-262 |
2000 |
13 | EE | Erik Ruf:
Effective synchronization removal for Java.
PLDI 2000: 208-218 |
12 | | Robert P. Fitzgerald,
Todd B. Knoblock,
Erik Ruf,
Bjarne Steensgaard,
David Tarditi:
Marmot: an optimizing compiler for Java.
Softw., Pract. Exper. 30(3): 199-232 (2000) |
1997 |
11 | EE | Erik Ruf:
Partitioning Dataflow Analyses Using Types.
POPL 1997: 15-26 |
1996 |
10 | | Todd B. Knoblock,
Erik Ruf:
Data Specialization.
PLDI 1996: 215-225 |
1995 |
9 | | Erik Ruf:
Optimizing Sparse Representations for Dataflow Analysis.
Intermediate Representations Workshop 1995: 50-61 |
8 | | Erik Ruf:
Context-Insensitive Alias Analysis Reconsidered.
PLDI 1995: 13-22 |
7 | EE | Brian K. Guenter,
Todd B. Knoblock,
Erik Ruf:
Specializing shaders.
SIGGRAPH 1995: 343-350 |
1993 |
6 | | Erik Ruf,
Daniel Weise:
On the Specialization of Online Program Specializers.
J. Funct. Program. 3(3): 251-281 (1993) |
1992 |
5 | | Erik Ruf,
Daniel Weise:
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis.
PEPM 1992: 67-74 |
1991 |
4 | | Daniel Weise,
Roland Conybeare,
Erik Ruf,
Scott Seligman:
Automatic Online Partial Evaluation.
FPCA 1991: 165-191 |
3 | | Erik Ruf,
Daniel Weise:
Using Types to Avoid Redundant Specialization.
PEPM 1991: 321-333 |
1990 |
2 | | Erik Ruf,
Daniel Weise:
LogScheme: Integrating Logic Programming into Scheme.
Lisp and Symbolic Computation 3(3): 245-288 (1990) |
1989 |
1 | EE | Erik Ruf,
Daniel Weise:
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.
FPCA 1989: 327-339 |