Shivam Handa

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 10

Top Topics

Convergence Property

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Sanchith Venkatesan, Shivam Handa, Baskar M
Car Price Prediction. ICIMMI (2022)
Shivam Handa, Martin Rinard
Program Synthesis Over Noisy Data with Guarantees. CoRR (2021)
Shivam Handa, Martin Rinard
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization. CoRR (2021)
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
An order-aware dataflow model for parallel Unix pipelines. Proc. ACM Program. Lang. 5 (POPL) (2021)
Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. CCS (2021)
Shivam Handa, Martin Rinard
Inductive Program Synthesis Over Noisy Data. CoRR (2020)
Shivam Handa, Martin C. Rinard
Inductive program synthesis over noisy data. ESEC/SIGSOFT FSE (2020)
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin Rinard
An Order-aware Dataflow Model for Extracting Shell Script Parallelism. CoRR (2020)
Shivam Handa, Vikash Mansinghka, Martin Rinard
Compositional Inference Metaprogramming with Convergence Guarantees. CoRR (2019)
Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard
Probabilistic programming with programmable inference. PLDI (2018)