Collaborated with:J.Vitek Olivier Flückiger G.Scherer Ming-Ho Yee A.Ahmed
Talks about:implement (1) deoptim (1) correct (1) specul (1) design (1) optim (1) dynam (1) lazi (1) use (1)
Person: Aviral Goel
DBLP: Goel:Aviral
Contributed to:
2019
2018Wrote 2 papers:
- OOPSLA-2019-GoelV #design #implementation #lazy evaluation #on the #using
- On the design, implementation, and use of laziness in R (AG, JV), p. 27.
- POPL-2018-FluckigerSYGAV #correctness #optimisation
- Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.