Shivam Handa

According to our database, Shivam Handa authored at least 8 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

An order-aware dataflow model for parallel Unix pipelines.

Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard

Proc. ACM Program. Lang., 2021

Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization.

Shivam Handa, Martin C. Rinard

CoRR, 2021

Program Synthesis Over Noisy Data with Guarantees.

Shivam Handa, Martin C. Rinard

CoRR, 2021

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration.

Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

An Order-aware Dataflow Model for Extracting Shell Script Parallelism.

Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard

CoRR, 2020

Inductive program synthesis over noisy data.

Shivam Handa, Martin C. Rinard

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Compositional Inference Metaprogramming with Convergence Guarantees.

Shivam Handa, Vikash Mansinghka, Martin C. Rinard

CoRR, 2019

2018

Probabilistic programming with programmable inference.

Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018