Maruth Goyal

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Probabilistic Networks

Logical Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Maruth Goyal, Aditya Akella
Think before you shuffle: data-driven shuffles for geo-distributed analytics. BiDEDE@SIGMOD (2022)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. CoRR (2020)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. ICLR (2020)