Concepedia

Susmit Jha

SJ

Statistics

Publications

37

Citations

2.1K

H-Index

20

Active since

2008

Affiliations

SRI International(Current)

University of California, Berkeley

Berkeley College

University of Central Florida

Susmit Jha is an author at SRI International specializing in engineering, computer science, and machine learning.

Top concepts

EngineeringComputer ScienceMachine LearningComputer EngineeringFormal MethodsSystems EngineeringAutomated ReasoningFormal VerificationArtificial IntelligenceData Science

Publications per year

2008–2025

37

Publications

37

Oracle-guided component-based program synthesis

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia et al. · 2010 · 471 citations

Program Checking, Engineering, Oracle-guided Learning +19

Synthesis of loop-free programs

Sumit Gulwani, Susmit Jha, Ashish Tiwari et al. · ACM SIGPLAN Notices · 2011 · 241 citations

Library Components, Engineering, Compiler Technology +20

Synthesis of loop-free programs

Sumit Gulwani, Susmit Jha, Ashish Tiwari et al. · 2011 · 195 citations

Library Components, Engineering, Compiler Technology +18

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Susmit Jha, Sumit Kumar Jha · 2008 · 122 citations

Hardware Trojan, Engineering, Information Security +21

A theory of formal synthesis via inductive learning

Susmit Jha, Sanjit A. Seshia · Acta Informatica · 2017 · 99 citations

Engineering, Inductive Learning, Automated Reasoning +5

1–5 of 37