Susmit Jha

Susmit Jha, Sanjit A. Seshia: SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction. CoRR abs/1302.1920 (2013)

Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano: Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. IJBRA 8(3/4): 263-285 (2012)

Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha: Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. ICCABS 2012: 1-6

Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha: Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS 2012: 1-6

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116

Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan: Synthesis of loop-free programs. PLDI 2011: 62-73

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011)

Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia: Automating Security Mediation Placement. ESOP 2010: 327-344

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224

Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner: On voting machine design for verification and testability. ACM Conference on Computer and Communications Security 2009: 463-476

Susmit Jha, Wenchao Li, Sanjit A. Seshia: Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87

Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009)

Susmit Jha: Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations. CoRR abs/0906.5110 (2009)

Susmit Jha, Sumit Kumar Jha: Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124

Sumit Kumar Jha, Susmit Jha: Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. HASE 2008: 147-153

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256

Susmit Jha, R. K. Shyamasundar: Adapting Biochemical Kripke Structures for Distributed Model Checking. : 107-122 (2006)