Susmit Jha
Susmit Jha
Principal Scientist, SRI International
Verified email at - Homepage
Cited by
Cited by
Oracle-guided component-based program synthesis
S Jha, S Gulwani, SA Seshia, A Tiwari
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 215-224, 2010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
Beaver: Engineering an efficient smt solver for bit-vector arithmetic
S Jha, R Limaye, SA Seshia
International Conference on Computer Aided Verification, 668-674, 2009
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54 (7), 693-726, 2017
Synthesizing switching logic for safety and dwell-time requirements
S Jha, S Gulwani, SA Seshia, A Tiwari
Proc. 1st ACM/IEEE Intl. Conf. on Cyber-Physical Systems, ICCPS, 22-31, 2010
The emerging role of satellite rainfall data in improving the hydro-political situation of flood monitoring in the under-developed regions of the world
F Hossain, N Katiyar, Y Hong, A Wolf
Natural Hazards 43 (2), 199-210, 2007
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
Symbolic reachability analysis of lazy linear hybrid automata
S Jha, BA Brady, SA Seshia
Proceedings of the 5th international conference on Formal modeling and …, 2007
On voting machine design for verification and testability
C Sturton, S Jha, SA Seshia, D Wagner
Proceedings of the 16th ACM conference on Computer and communications …, 2009
Synthesis of optimal switching logic for hybrid systems
S Jha, SA Seshia, A Tiwari
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference …, 2011
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
Learning task specifications from demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, S Seshia
Advances in Neural Information Processing Systems, 5367-5377, 2018
Automating security mediation placement
D King, S Jha, D Muthukumaran, T Jaeger, S Jha, SA Seshia
European Symposium on Programming, 327-344, 2010
Towards automated system synthesis using sciduction
SK Jha
UC Berkeley, 2011
Safe autonomy under perception uncertainty using chance-constrained temporal logic
S Jha, V Raman, D Sadigh, SA Seshia
Journal of Automated Reasoning 60 (1), 43-62, 2018
Will distributed computing revolutionize peace? the emergence of battlefield iot
T Abdelzaher, N Ayanian, T Basar, S Diggavi, J Diesner, D Ganesan, ...
2018 IEEE 38th International Conference on Distributed Computing Systems …, 2018
Automated synthesis of safe autonomous vehicle control under perception uncertainty
S Jha, V Raman
NASA Formal Methods Symposium, 117-132, 2016
Localizing transient faults using dynamic bayesian networks
S Jha, W Li, SA Seshia
2009 IEEE International High Level Design Validation and Test Workshop, 82-87, 2009
The system can't perform the operation now. Try again later.
Articles 1–20