Travelled to:1 × Canada
1 × France
1 × Spain
1 × United Kingdom
5 × USA
Collaborated with:∅ D.Weise T.B.Knoblock R.Conybeare S.Seligman
Talks about:special (3) use (3) dataflow (2) analysi (2) improv (2) analys (2) type (2) nondetermin (1) synchron (1) reconsid (1)
Person: Erik Ruf
DBLP: Ruf:Erik
Contributed to:
2002
2000
199719961995
1992
199119911989Wrote 9 papers:
- SAS-2002-Ruf #analysis #data flow #precise
- Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
- PLDI-2000-Ruf #effectiveness #java
- Effective synchronization removal for Java (ER), pp. 208–218.
- POPL-1997-Ruf #analysis #clustering #data flow #using
- Partitioning Dataflow Analyses Using Types (ER), pp. 15–26.
- PLDI-1996-KnoblockR
- Data Specialization (TBK, ER), pp. 215–225.
- PLDI-1995-Ruf #alias #analysis
- Context-Insensitive Alias Analysis Reconsidered (ER), pp. 13–22.
- PEPM-1992-RufW #analysis #control flow #higher-order #using
- Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis (ER, DW), pp. 67–74.
- FPCA-1991-WeiseCRS #automation #online #partial evaluation
- Automatic Online Partial Evaluation (DW, RC, ER, SS), pp. 165–191.
- PEPM-1991-RufW #using
- Using Types to Avoid Redundant Specialization (ER, DW), pp. 321–333.
- FPCA-1989-RufW #functional #logic #nondeterminism #programming #unification
- Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.