Travelled to:3 × USA
Collaborated with:∅ R.Vaidyanathan S.Moyer W.Stephens K.Parmeswaran A.Shareef
Talks about:lazi (2) determinist (1) middlewar (1) techniqu (1) configur (1) system (1) rewrit (1) optim (1) logic (1) evalu (1)
Person: Sanjai Narain
DBLP: Narain:Sanjai
Contributed to:
2001
1989
1985Wrote 3 papers:
- LCTES-OM-2001-NarainVMSPS #adaptation #middleware
- Middleware For Building Adaptive Systems Via Configuration (SN, RV, SM, WS, KP, ARS), pp. 188–195.
- RTA-1989-Narain #lazy evaluation #nondeterminism #optimisation
- Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.
- SLP-1985-Narain85 #evaluation #lazy evaluation #logic
- A Technique for Doing Lazy Evaluation in Logic (SN), pp. 261–269.