Concepedia

Shivam Handa

SH

2

Publications

57

Citations

2

H-Index

2018

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Shivam Handa is an author at Massachusetts Institute of Technology specializing in program analysis, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationBusinessLogisticsProbabilityData ScienceSupply Chain

Publications per year

2018–2021

2

Publications

2

Probabilistic programming with programmable inference

Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa et al. · 2018 · 35 citations

Artificial Intelligence, Engineering, Machine Learning +21

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa et al. · 2021 · 22 citations · Full text

Software Maintenance, Engineering, Information Security +27

Rows per page

1–2 of 2