LambdaNet: Probabilistic Type Inference using Graph Neural Networks. - Jiayi Wei; Maruth Goyal; Greg Durrett; Isil Dillig (ICLR, 2020)

Think before you shuffle: data-driven shuffles for geo-distributed analytics. - Maruth Goyal; Aditya Akella (BiDEDE@SIGMOD, 2022)

Synthesis-powered optimization of smart contracts via data type refactoring. - Yanju Chen; Yuepeng Wang 001; Maruth Goyal; James Dong; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2022)