Follow
Shivam Handa
Shivam Handa
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Probabilistic programming with programmable inference
VK Mansinghka, U Schaechtle, S Handa, A Radul, Y Chen, M Rinard
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
492018
Inductive program synthesis over noisy data
S Handa, MC Rinard
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
242020
Supply-chain vulnerability elimination via active learning and regeneration
N Vasilakis, A Benetopoulos, S Handa, A Schoen, J Shen, MC Rinard
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
202021
Hierarchy similarity measure
S Shukla, V Agarawal, R Bhargava, S Handa
US Patent 9,378,432, 2016
152016
An order-aware dataflow model for parallel unix pipelines
S Handa, K Kallas, N Vasilakis, MC Rinard
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-28, 2021
102021
An order-aware dataflow model for extracting shell script parallelism
S Handa, K Kallas, N Vasilakis, M Rinard
arXiv preprint arXiv:2012.15422, 2020
42020
Program Synthesis Over Noisy Data with Guarantees
S Handa, M Rinard
arXiv preprint arXiv:2103.05030, 2021
32021
Landau quantization of a circular Quantum Dot using the BenDaniel-Duke boundary condition
S Gopalakrishnan, S Biswas, S Handa
Superlattices and Microstructures 147, 106693, 2020
12020
Compositional Inference Metaprogramming with Convergence Guarantees
S Handa, V Mansinghka, M Rinard
arXiv preprint arXiv:1907.05451, 2019
12019
BayesDB For Data-Centric Scientific Discovery
V Mansinghka, U Schaecthle, Z Shelby, H Tella, C Freer, F Saad, ...
2022
Program Synthesis over Noisy Data
S Handa
Massachusetts Institute of Technology, 2022
2022
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
S Handa, M Rinard
arXiv preprint arXiv:2104.13315, 2021
2021
Composable inference metaprogramming using subproblems
S Handa
Massachusetts Institute of Technology, 2019
2019
Network Function Virtualization using Native Client
S Handa
The system can't perform the operation now. Try again later.
Articles 1–14