default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSusmit Jha
Person information
- affiliation: SRI International, Menlo Park, CA, USA
SPARQL queries 
🛈 Please note that only 73% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j13]Ismail R. Alkhouri
, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. IEEE Trans. Artif. Intell. 5(7): 3384-3392 (2024)- [c70]Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha:
Direct Amortized Likelihood Ratio Estimation. AAAI 2024: 20362-20369 - [c69]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. DAC 2024: 315:1-315:6 - [c68]Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey:
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. ICAA 2024: 48-57 - [c67]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. ICAA 2024: 118-121 - [c66]Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez:
Neuro-symbolic Generative AI Assistant for System Design. MEMOCODE 2024: 75-76 - [c65]Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen:
Task-Agnostic Detector for Insertion-Based Backdoor Attacks. NAACL-HLT (Findings) 2024: 2808-2822 - [c64]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV 2024: 49-77 - [i44]Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed:
Calibration and Correctness of Language Models for Code. CoRR abs/2402.02047 (2024) - [i43]Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen:
Task-Agnostic Detector for Insertion-Based Backdoor Attacks. CoRR abs/2403.17155 (2024) - [i42]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR abs/2403.19837 (2024) - [i41]Adam D. Cobb, Atilim Günes Baydin, Barak A. Pearlmutter, Susmit Jha:
Second-Order Forward-Mode Automatic Differentiation for Optimization. CoRR abs/2408.10419 (2024) - [i40]Ramneet Kaur, Colin Samplawski, Adam D. Cobb, Anirban Roy, Brian Matejek, Manoj Acharya, Daniel Elenius, Alexander M. Berenbeim, John A. Pavlik, Nathaniel D. Bastian, Susmit Jha:
Addressing Uncertainty in LLMs to Enhance Reliability in Generative AI. CoRR abs/2411.02381 (2024) - [i39]Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey:
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. CoRR abs/2411.12967 (2024) - 2023
- [j12]Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha:
Principled Out-of-Distribution Detection via Multiple Testing. J. Mach. Learn. Res. 24: 378:1-378:35 (2023) - [c63]Susmit Jha:
Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding. DAC 2023: 1-2 - [c62]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA 2023: 19-28 - [c61]Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha:
Detecting Trojaned DNNs Using Counterfactual Attributions. ICAA 2023: 76-85 - [c60]Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema:
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA 2023: 149-152 - [c59]Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS 2023: 120-131 - [c58]Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha:
TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. ICCV 2023: 165-175 - [c57]Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha:
Principled OOD Detection via Multiple Testing. ISIT 2023: 1026-1031 - [c56]Susmit Jha, Anirban Roy, Adam D. Cobb, Alexander M. Berenbeim, Nathaniel D. Bastian:
Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models. MILCOM 2023: 156-161 - [c55]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM 2023: 655-660 - [c54]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM 2023: 944-949 - [c53]Adam B. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha:
AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. NeurIPS 2023 - [i38]Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha:
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR abs/2301.04093 (2023) - [i37]Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian:
Measuring Classification Decision Certainty and Doubt. CoRR abs/2303.14568 (2023) - [i36]Adam D. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha:
AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. CoRR abs/2306.05562 (2023) - [i35]Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha:
TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. CoRR abs/2308.03906 (2023) - [i34]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR abs/2309.15386 (2023) - [i33]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR abs/2309.16436 (2023) - [i32]Hassen Saïdi, Susmit Jha, Tuhin Sahai:
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. CoRR abs/2310.17064 (2023) - [i31]Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha:
Direct Amortized Likelihood Ratio Estimation. CoRR abs/2311.10571 (2023) - 2022
- [j11]Jingtong Hu, Qi Zhu, Susmit Jha:
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. 6(2): 10:1-10:3 (2022) - [c52]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI 2022: 7104-7114 - [c51]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha:
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI 2022: 9567-9574 - [c50]Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha:
Dual-Key Multimodal Backdoors for Visual Question Answering. CVPR 2022: 15354-15364 - [c49]Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen:
Trigger Hunting with a Topological Prior for Trojan Detection. ICLR 2022 - [c48]Edmond Cunningham, Adam D. Cobb, Susmit Jha:
Principal Component Flows. ICML 2022: 4492-4519 - [c47]Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran:
Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network. IJCAI 2022: 629-635 - [c46]Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha:
ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI 2022: 5916-5919 - [c45]Tarek F. Abdelzaher, Nathaniel D. Bastian, Susmit Jha, Lance M. Kaplan, Mani B. Srivastava, Venugopal V. Veeravalli:
Context-aware Collaborative Neuro-Symbolic Inference in IoBTs. MILCOM 2022: 1053-1058 - [i30]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR abs/2201.02331 (2022) - [i29]Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran:
Detecting out-of-context objects using contextual cues. CoRR abs/2202.05930 (2022) - [i28]Edmond Cunningham, Adam D. Cobb, Susmit Jha:
Principal Manifold Flows. CoRR abs/2202.07037 (2022) - [i27]Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha:
Multiple Testing Framework for Out-of-Distribution Detection. CoRR abs/2206.09522 (2022) - [i26]Susmit Jha, John Rushby:
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. CoRR abs/2207.05058 (2022) - [i25]Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR abs/2207.11769 (2022) - [i24]Adam D. Cobb, Anirban Roy, Daniel Elenius, Susmit Jha:
Design of Unmanned Air Vehicles Using Transformer Surrogate Models. CoRR abs/2211.08138 (2022) - 2021
- [j10]Jingtong Hu, Qi Zhu, Susmit Jha:
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. ACM Trans. Cyber Phys. Syst. 5(4): 33:1-33:3 (2021) - [c44]Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
MISA: Online Defense of Trojaned Models using Misattributions. ACSAC 2021: 570-585 - [c43]Susmit Jha, Anirban Roy:
On Detection of Out of Distribution Inputs in Deep Neural Networks. CogMI 2021: 282-288 - [c42]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI 2021: 522-528 - [c41]Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha:
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS 2021: 1-5 - [i23]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR abs/2103.12628 (2021) - [i22]Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
Online Defense of Trojaned Models using Misattributions. CoRR abs/2103.15918 (2021) - [i21]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee:
Detecting OODs as datapoints with High Uncertainty. CoRR abs/2108.06380 (2021) - [i20]Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
Protein Folding Neural Networks Are Not Robust. CoRR abs/2109.04460 (2021) - [i19]Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen:
Trigger Hunting with a Topological Prior for Trojan Detection. CoRR abs/2110.08335 (2021) - [i18]Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha:
Dual-Key Multimodal Backdoors for Visual Question Answering. CoRR abs/2112.07668 (2021) - 2020
- [c40]Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha:
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI 2020: 1627-1635 - [c39]Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control Using Contraction Metric. CoRL 2020: 1519-1539 - [c38]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC 2020: 1-6 - [c37]Uyeong Jang, Susmit Jha, Somesh Jha:
On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. ICLR 2020 - [c36]Susmit Jha, John Rushby, Natarajan Shankar:
Model-Centered Assurance for Autonomous Systems. SAFECOMP 2020: 228-243 - [e2]Ritchie Lee, Susmit Jha, Anastasia Mavridou:
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lecture Notes in Computer Science 12229, Springer 2020, ISBN 978-3-030-55753-9 [contents] - [i17]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami:
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks. CoRR abs/2009.08097 (2020) - [i16]Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control using Contraction Metric. CoRR abs/2011.12569 (2020) - [i15]Karan Sikka, Indranil Sur, Susmit Jha, Anirban Roy, Ajay Divakaran:
Detecting Trojaned DNNs Using Counterfactual Attributions. CoRR abs/2012.02275 (2020)
2010 – 2019
- 2019
- [j9]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54(3): 364-387 (2019) - [j8]Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis:
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. 63(4): 1055-1075 (2019) - [c35]Susmit Jha, John Rushby:
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. AAAI Spring Symposium: Towards Conscious AI Systems 2019 - [c34]Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin:
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. ACC 2019: 2958-2963 - [c33]Susmit Jha:
Trust, Resilience and Interpretability of AI Models. NSV@CAV 2019: 3-25 - [c32]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c31]Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami:
Attribution-Based Confidence Metric For Deep Neural Networks. NeurIPS 2019: 11826-11837 - [i14]Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin:
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. CoRR abs/1902.11277 (2019) - [i13]Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami:
Attribution-driven Causal Analysis for Detection of Adversarial Examples. CoRR abs/1903.05821 (2019) - [i12]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR abs/1903.06638 (2019) - [i11]Uyeong Jang, Susmit Jha, Somesh Jha:
On Need for Topology Awareness of Generative Models. CoRR abs/1909.03334 (2019) - [i10]Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha:
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. CoRR abs/1910.13088 (2019) - 2018
- [j7]Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli:
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51(11): 24-36 (2018) - [j6]Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia:
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60(1): 43-62 (2018) - [c30]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c29]Susmit Jha, Patrick Lincoln:
Data Efficient Learning of Robust Control Policies. Allerton 2018: 856-861 - [c28]Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu:
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops 2018: 194-199 - [c27]Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar:
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS 2018: 235-251 - [c26]Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli:
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS 2018: 1129-1138 - [c25]Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian:
Detecting Adversarial Examples Using Data Manifolds. MILCOM 2018: 547-552 - [c24]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - [c23]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382 - [i9]Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln:
Trusted Neural Networks for Safety-Constrained Autonomous Control. CoRR abs/1805.07075 (2018) - 2017
- [j5]Susmit Jha, Sanjit A. Seshia:
A theory of formal synthesis via inductive learning. Acta Informatica 54(7): 693-726 (2017) - [c22]Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis:
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM 2017: 99-114 - [c21]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: Passive STL Learning Using Only Positive Examples. RV 2017: 208-224 - [i8]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Neural Networks. CoRR abs/1709.09130 (2017) - [i7]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017) - [i6]Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha:
Machine Learning and Formal Method (Dagstuhl Seminar 17351). Dagstuhl Reports 7(8): 55-73 (2017) - 2016
- [c20]Susmit Jha, Vasumathi Raman, Sanjit A. Seshia:
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD 2016: 81-84 - [c19]Susmit Jha, Vasumathi Raman:
On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS 2016: 69-84 - [c18]Susmit Jha, Vasumathi Raman:
Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM 2016: 117-132 - 2015
- [c17]Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik:
Optimizing mobile display brightness by leveraging human visual perception. CASES 2015: 11-20 - [i5]Susmit Jha, Sanjit A. Seshia:
A Theory of Formal Synthesis via Inductive Learning. CoRR abs/1505.03953 (2015) - 2014
- [j4]Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead:
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int. J. Bioinform. Res. Appl. 10(4/5): 519-539 (2014) - [j3]Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha:
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. Int. J. Bioinform. Res. Appl. 10(4/5): 540-558 (2014) - [c16]Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik:
CAPED: Context-aware personalized display brightness for mobile devices. CASES 2014: 19:1-19:10 - [c15]Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90 - [c14]Susmit Jha, Sanjit A. Seshia:
Are There Good Mistakes? A Theoretical Analysis of CEGIS. SYNT 2014: 84-99 - [e1]Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents] - 2013
- [i4]Susmit Jha, Sanjit A. Seshia:
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction. CoRR abs/1302.1920 (2013) - 2012
- [j2]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. Int. J. Bioinform. Res. Appl. 8(3/4): 263-285 (2012) - [c13]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 - [c12]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 - 2011
- [b1]Susmit Jha:
Towards Automated System Synthesis Using SCIDUCTION. University of California, Berkeley, USA, 2011 - [c11]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116 - [c10]Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan:
Synthesis of loop-free programs. PLDI 2011: 62-73 - [i3]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011) - 2010
- [c9]Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
Automating Security Mediation Placement. ESOP 2010: 327-344 - [c8]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c7]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224
2000 – 2009
- 2009
- [c6]Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia:
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674 - [c5]Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner:
On voting machine design for verification and testability. CCS 2009: 463-476 - [c4]Susmit Jha, Wenchao Li, Sanjit A. Seshia:
Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87 - [i2]Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009) - [i1]Susmit Jha:
Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations. CoRR abs/0906.5110 (2009) - 2008
- [c3]Susmit Jha, Sumit Kumar Jha:
Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124 - [c2]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 - 2007
- [c1]Susmit Jha, Bryan A. Brady, Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256 - 2006
- [j1]Susmit Jha, R. K. Shyamasundar:
Adapting Biochemical Kripke Structures for Distributed Model Checking. Trans. Comp. Sys. Biology 7: 107-122 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
