Correctness of speculative optimizations with dynamic deoptimization. - Olivier Flückiger; Gabriel Scherer; Ming-Ho Yee; Aviral Goel; Amal Ahmed 001; Jan Vitek (Proc. ACM Program. Lang., 2018)

On the design, implementation, and use of laziness in R. - Aviral Goel; Jan Vitek (Proc. ACM Program. Lang., 2019)

Designing types for R, empirically. - Alexi Turcotte; Aviral Goel; Filip Krikava; Jan Vitek (Proc. ACM Program. Lang., 2020)

First-class environments in R. - Aviral Goel; Jan Vitek (DLS, 2021)

What we eval in the shadows: a large-scale study of eval in R programs. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Proc. ACM Program. Lang., 2021)

Promises are made to be broken: migrating R to strict semantics. - Aviral Goel; Jan Jecmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek (Proc. ACM Program. Lang., 2021)

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

Why We Eval in the Shadows (Dataset). - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

A Comparative Survey of Centralised and Decentralised Identity Management Systems: Analysing Scalability, Security, and Feasibility. - Aviral Goel; Yogachandran Rahulamathavan (Future Internet, 2024)