Susmit Jha - RankMe

161 papers A* 25A 5B 5C 3Misc 4Journal 75Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Do Diffusion Models Dream of Electric Planes? Discrete and Continuous Simulation-Based Inference for Aircraft Design. CoRR Aurelien Ghiglino, Daniel Elenius, Anirban Roy, Ramneet Kaur, Manoj Acharya, Colin Samplawski, Brian Matejek, Susmit Jha, Juan Alonso, Adam D. Cobb
2026	A*	`conf`	On the Dataless Training of Neural Networks. AAAI Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
2026	J	`jnl`	Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs). CoRR Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2026	A*	`conf`	Privacy Preserving In-Context-Learning Framework for Large Language Models. AAAI Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
2026	J	`jnl`	Trojans in Artificial Intelligence (TrojAI) Final Report. CoRR Kristopher W. Reese, Taylor Kulp-McDowall, Michael Majurski, Timothy Blattner, Derek Juba, Peter Bajcsy, Antonio Cardone, Philippe Dessauw, Alden Dima, Anthony J. Kearsley, Melinda Kleczynski, Joel Vasanth, Walid Keyrouz, Chace Ashcraft, Neil Fendley, Ted Staley, Trevor Stout, Josh Carney, Greg Canal, William Redman, Aurora Schmidt, Cameron Hickert, William Paul, Jared Markowitz, Nathan Drenkow, David Shriver, Marissa Connor, Keltin Grimes, Marco Christiani, Hayden Moore, Jordan Widjaja, Kasimir Gabert, Uma Balakrishnan, Satyanadh Gundimada, John Jacobellis, Sandya Lakkur, Vitus Leung, Jon Roose, Casey Battaglino, Farinaz Koushanfar, Greg Fields, Xihe Gu, Yaman Jandali, Xinqiao Zhang, Tara Javidi, Akash Vartak, Tim Oates, Ben Erichson, Michael Mahoney, Rauf Izmailov, Xiangyu Zhang, Guangyu Shen, Siyuan Cheng, Shiqing Ma, Xiaofeng Wang, Haixu Tang, Di Tang, Xiaoyi Chen, Zihao Wang, Rui Zhu, Susmit Jha, Xiao Lin, Manoj Acharya, Weichao Zhou, Feisi Fu, Panagiota Kiourti, Chenyu Wang, Zijian Guo, H. M. Sabbir Ahmad, Wenchao Li, Chao Chen
2025	J	`jnl`	AGENT: An Aerial Vehicle Generation and Design Tool Using Large Language Models. CoRR Colin Samplawski, Adam D. Cobb, Susmit Jha
2025	J	`jnl`	Backpropagation-Free Metropolis-Adjusted Langevin Algorithm. CoRR Adam D. Cobb, Susmit Jha
2025	J	`jnl`	Calibrating Uncertainty Quantification of Multi-Modal LLMs using Grounding. CoRR Trilok Padhi, Ramneet Kaur, Adam D. Cobb, Manoj Acharya, Anirban Roy, Colin Samplawski, Brian Matejek, Alexander M. Berenbeim, Nathaniel D. Bastian, Susmit Jha
2025	A*	`conf`	Calibration and Correctness of Language Models for Code. ICSE Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
2025	B	`conf`	Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). CAIN Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025	J	`jnl`	Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). CoRR Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025	J	`jnl`	On the Dataless Training of Neural Networks. CoRR Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
2025	J	`jnl`	On the Evaluation of Engineering Artificial General Intelligence. CoRR Sandeep Neema, Susmit Jha, Adam Nagel, Ethan Lew, Chandrasekar Sureshkumar, Aleksa Gordic, Chase Shimmin, Hieu Nguygen, Paul Eremenko
2025	A*	`conf`	Polysemantic Dropout: Conformal OOD Detection for Specialized LLMs. EMNLP Ayush Gupta, Ramneet Kaur, Anirban Roy, Adam D. Cobb, Rama Chellappa, Susmit Jha
2025	J	`jnl`	Polysemantic Dropout: Conformal OOD Detection for Specialized LLMs. CoRR Ayush Gupta, Ramneet Kaur, Anirban Roy, Adam D. Cobb, Rama Chellappa, Susmit Jha
2025	—	`conf`	Predicting Secure Messaging Traffic in Clinical Settings. MedInfo Laura R. Baratta, Sunny S. Lou, Thomas George Kannampallil, Susmit Jha, Anirban Roy, Adam D. Cobb
2025	J	`jnl`	Privacy-Aware In-Context Learning for Large Language Models. CoRR Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
2025	—	`ed.`	Proceedings of the 7th Workshop on Design Automation for CPS and IoT, DESTION 2025, Irvine, CA, USA, May 6-9, 2025 DESTION@CPSIoTWeek Susmit Jha, Ramneet Kaur, Fangqi Liu, Hyunjee Jin, Karthik Ramani, Arun Ramamurthy, Himanshu Neema
2025	J	`jnl`	SAFE-NID: Self-Attention with Normalizing-Flow Encodings for Network Intrusion Detection. Trans. Mach. Learn. Res. Brian Matejek, Ashish Gehani, Nathaniel D. Bastian, Daniel J. Clouse, Bradford J. Kline, Susmit Jha
2025	—	`conf`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. ICCPS Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. CoRR Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	A	`conf`	Scalable Bayesian Low-Rank Adaptation of Large Language Models via Stochastic Variational Subspace Inference. UAI Colin Samplawski, Adam D. Cobb, Manoj Acharya, Ramneet Kaur, Susmit Jha
2025	J	`jnl`	Scalable Bayesian Low-Rank Adaptation of Large Language Models via Stochastic Variational Subspace Inference. CoRR Colin Samplawski, Adam D. Cobb, Manoj Acharya, Ramneet Kaur, Susmit Jha
2025	J	`jnl`	Spatio-Temporal Pruning for Compressed Spiking Large Language Models. CoRR Yi Jiang, Malyaban Bal, Brian Matejek, Susmit Jha, Adam D. Cobb, Abhronil Sengupta
2025	J	`jnl`	TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision. CoRR Ayush Gupta, Anirban Roy, Rama Chellappa, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha
2025	—	`conf`	Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. NeuS Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025	J	`jnl`	Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. CoRR Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025	J	`jnl`	TeleLoRA: Teleporting Model-Specific Alignment Across LLMs. CoRR Xiao Lin, Manoj Acharya, Anirban Roy, Susmit Jha
2025	A	`conf`	Zero-Shot Detection of Out-of-Context Objects Using Foundation Models. WACV Anirban Roy, Adam D. Cobb, Ramneet Kaur, Sumit Jha, Nathaniel D. Bastian, Alexander M. Berenbeim, Robert H. Thomson, Iain Cruickshank, Alvaro Velasquez, Susmit Jha
2024	J	`jnl`	Addressing Uncertainty in LLMs to Enhance Reliability in Generative AI. CoRR 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
2024	J	`jnl`	Calibration and Correctness of Language Models for Code. CoRR Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
2024	—	`conf`	Co-Synthesis of Code and Formal Models Using Large Language Models and Functors. MILCOM Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024	—	`conf`	Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024	J	`jnl`	Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024	A*	`conf`	Direct Amortized Likelihood Ratio Estimation. AAAI Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha
2024	J	`jnl`	Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. IEEE Trans. Artif. Intell. Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024	C	`conf`	Neuro-symbolic Generative AI Assistant for System Design. MEMOCODE Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez
2024	A*	`conf`	On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. DAC Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024	—	`conf`	Post-hoc Uncertainty Quantification for Neurosymbolic Artificial Intelligence. MILCOM Alexander M. Berenbeim, Ramneet Kaur, Adam D. Cobb, Anirban Roy, Susmit Jha, Nathaniel D. Bastian
2024	J	`jnl`	Second-Order Forward-Mode Automatic Differentiation for Optimization. CoRR Adam D. Cobb, Atilim Günes Baydin, Barak A. Pearlmutter, Susmit Jha
2024	—	`conf`	Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. ICAA Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024	J	`jnl`	Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. CoRR Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024	—	`conf`	Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. ICAA Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024	—	`conf`	Task-Agnostic Detector for Insertion-Based Backdoor Attacks. NAACL-HLT (Findings) Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen
2024	J	`jnl`	Task-Agnostic Detector for Insertion-Based Backdoor Attacks. CoRR Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen
2023	A*	`conf`	AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. NeurIPS 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
2023	J	`jnl`	AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs. CoRR 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
2023	—	`conf`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models. MILCOM Susmit Jha, Anirban Roy, Adam D. Cobb, Alexander M. Berenbeim, Nathaniel D. Bastian
2023	—	`conf`	Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2023	—	`conf`	Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
2023	—	`conf`	Detecting Trojaned DNNs Using Counterfactual Attributions. ICAA Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha
2023	J	`jnl`	Direct Amortized Likelihood Ratio Estimation. CoRR Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha
2023	A*	`conf`	Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding. DAC Susmit Jha
2023	J	`jnl`	Measuring Classification Decision Certainty and Doubt. CoRR Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian
2023	—	`conf`	Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2023	J	`jnl`	Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2023	J	`jnl`	Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2023	J	`jnl`	On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
2023	—	`conf`	Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	B	`conf`	Principled OOD Detection via Multiple Testing. ISIT Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
2023	J	`jnl`	Principled Out-of-Distribution Detection via Multiple Testing. J. Mach. Learn. Res. Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
2023	A*	`conf`	TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. ICCV Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
2023	J	`jnl`	TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. CoRR Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha
2023	J	`jnl`	math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. CoRR Hassen Saïdi, Susmit Jha, Tuhin Sahai
2022	J	`jnl`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2022	—	`conf`	Context-aware Collaborative Neuro-Symbolic Inference in IoBTs. MILCOM Tarek F. Abdelzaher, Nathaniel D. Bastian, Susmit Jha, Lance M. Kaplan, Mani B. Srivastava, Venugopal V. Veeravalli
2022	J	`jnl`	Design of Unmanned Air Vehicles Using Transformer Surrogate Models. CoRR Adam D. Cobb, Anirban Roy, Daniel Elenius, Susmit Jha
2022	A*	`conf`	Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network. IJCAI Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
2022	J	`jnl`	Detecting out-of-context objects using contextual cues. CoRR Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran
2022	A*	`conf`	Dual-Key Multimodal Backdoors for Visual Question Answering. CVPR Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
2022	A*	`conf`	ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha
2022	J	`jnl`	Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. CoRR Susmit Jha, John Rushby
2022	J	`jnl`	Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. Jingtong Hu, Qi Zhu, Susmit Jha
2022	J	`jnl`	Multiple Testing Framework for Out-of-Distribution Detection. CoRR Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha
2022	A*	`conf`	Principal Component Flows. ICML Edmond Cunningham, Adam D. Cobb, Susmit Jha
2022	J	`jnl`	Principal Manifold Flows. CoRR Edmond Cunningham, Adam D. Cobb, Susmit Jha
2022	A*	`conf`	Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha
2022	A*	`conf`	Trigger Hunting with a Topological Prior for Trojan Detection. ICLR Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
2022	A*	`conf`	iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2021	C	`conf`	Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha
2021	J	`jnl`	Detecting OODs as datapoints with High Uncertainty. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Dual-Key Multimodal Backdoors for Visual Question Answering. CoRR Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha
2021	J	`jnl`	Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. ACM Trans. Cyber Phys. Syst. Jingtong Hu, Qi Zhu, Susmit Jha
2021	A	`conf`	MISA: Online Defense of Trojaned Models using Misattributions. ACSAC Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
2021	—	`conf`	On Detection of Out of Distribution Inputs in Deep Neural Networks. CogMI Susmit Jha, Anirban Roy
2021	A*	`conf`	On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
2021	J	`jnl`	Online Defense of Trojaned Models using Misattributions. CoRR Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
2021	J	`jnl`	Protein Folding Neural Networks Are Not Robust. CoRR Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
2021	J	`jnl`	Trigger Hunting with a Topological Prior for Trojan Detection. CoRR Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen
2020	J	`jnl`	An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks. CoRR Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami
2020	J	`jnl`	Detecting Trojaned DNNs Using Counterfactual Attributions. CoRR Karan Sikka, Indranil Sur, Susmit Jha, Anirban Roy, Ajay Divakaran
2020	A*	`conf`	Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
2020	Misc	`conf`	Learning Certified Control Using Contraction Metric. CoRL Dawei Sun, Susmit Jha, Chuchu Fan
2020	J	`jnl`	Learning Certified Control using Contraction Metric. CoRR Dawei Sun, Susmit Jha, Chuchu Fan
2020	B	`conf`	Model-Centered Assurance for Autonomous Systems. SAFECOMP Susmit Jha, John Rushby, Natarajan Shankar
2020	—	`ed.`	NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings NFM Ritchie Lee, Susmit Jha, Anastasia Mavridou
2020	A*	`conf`	On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. ICLR Uyeong Jang, Susmit Jha, Somesh Jha
2020	A*	`conf`	TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
2019	C	`conf`	A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. ACC Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
2019	J	`jnl`	A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. CoRR Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
2019	A*	`conf`	Attribution-Based Confidence Metric For Deep Neural Networks. NeurIPS Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
2019	J	`jnl`	Attribution-driven Causal Analysis for Detection of Adversarial Examples. CoRR Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami
2019	J	`jnl`	Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. CoRR Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
2019	J	`jnl`	Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
2019	—	`conf`	Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. AAAI Spring Symposium: Towards Conscious AI Systems Susmit Jha, John Rushby
2019	J	`jnl`	On Need for Topology Awareness of Generative Models. CoRR Uyeong Jang, Susmit Jha, Somesh Jha
2019	—	`conf`	Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2019	J	`jnl`	TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2019	J	`jnl`	TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
2019	—	`conf`	Trust, Resilience and Interpretability of AI Models. NSV@CAV Susmit Jha
2018	—	`conf`	Data Efficient Learning of Robust Control Policies. Allerton Susmit Jha, Patrick Lincoln
2018	—	`conf`	Detecting Adversarial Examples Using Data Manifolds. MILCOM Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian
2018	—	`conf`	Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
2018	A*	`conf`	Learning Task Specifications from Demonstrations. NeurIPS Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
2018	—	`conf`	Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018	—	`conf`	Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
2018	—	`conf`	Output Range Analysis for Deep Feedforward Neural Networks. NFM Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018	J	`jnl`	Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
2018	J	`jnl`	Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 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
2018	J	`jnl`	Trusted Neural Networks for Safety-Constrained Autonomous Control. CoRR Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
2018	A	`conf`	Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS 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
2017	J	`jnl`	A theory of formal synthesis via inductive learning. Acta Informatica Susmit Jha, Sanjit A. Seshia
2017	J	`jnl`	Machine Learning and Formal Method (Dagstuhl Seminar 17351). Dagstuhl Reports Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha
2017	—	`conf`	On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
2017	J	`jnl`	Output Range Analysis for Deep Neural Networks. CoRR Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2017	J	`jnl`	Specification Inference from Demonstrations. CoRR Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
2017	B	`conf`	TeLEx: Passive STL Learning Using Only Positive Examples. RV Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
2016	—	`conf`	Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM Susmit Jha, Vasumathi Raman
2016	—	`conf`	On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS Susmit Jha, Vasumathi Raman
2016	B	`conf`	On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD Susmit Jha, Vasumathi Raman, Sanjit A. Seshia
2015	J	`jnl`	A Theory of Formal Synthesis via Inductive Learning. CoRR Susmit Jha, Sanjit A. Seshia
2015	Misc	`conf`	Optimizing mobile display brightness by leveraging human visual perception. CASES Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
2014	—	`conf`	Are There Good Mistakes? A Theoretical Analysis of CEGIS. SYNT Susmit Jha, Sanjit A. Seshia
2014	Misc	`conf`	CAPED: Context-aware personalized display brightness for mobile devices. CASES Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
2014	J	`jnl`	Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. Int. J. Bioinform. Res. Appl. Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha
2014	—	`conf`	Game theoretic secure localization in wireless sensor networks. IOT Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
2014	J	`jnl`	Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int. J. Bioinform. Res. Appl. Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead
2014	—	`ed.`	Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. SYNT Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
2013	J	`jnl`	SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction CoRR Susmit Jha, Sanjit A. Seshia
2012	—	`conf`	Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. ICCABS Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
2012	—	`conf`	Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
2012	J	`jnl`	Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. Int. J. Bioinform. Res. Appl. Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano
2011	A*	`conf`	Synthesis of loop-free programs. PLDI Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
2011	Misc	`conf`	Synthesis of optimal switching logic for hybrid systems. EMSOFT Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
2011	J	`jnl`	Synthesizing Switching Logic to Minimize Long-Run Cost CoRR Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
2011	—	`—`	Towards Automated System Synthesis Using SCIDUCTION. Susmit Jha
2010	A	`conf`	Automating Security Mediation Placement. ESOP Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
2010	—	`conf`	Oracle-guided component-based program synthesis. ICSE (1) Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2010	—	`conf`	Synthesizing switching logic for safety and dwell-time requirements. ICCPS Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2009	A*	`conf`	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
2009	—	`conf`	Localizing transient faults using dynamic bayesian networks. HLDVT Susmit Jha, Wenchao Li, Sanjit A. Seshia
2009	J	`jnl`	On the Computational Complexity of Satisfiability Solving for String Theories CoRR Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
2009	A*	`conf`	On voting machine design for verification and testability. CCS Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner
2009	J	`jnl`	Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations CoRR Susmit Jha
2008	—	`conf`	Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. HASE Sumit Kumar Jha, Susmit Jha
2008	—	`conf`	Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE Susmit Jha, Sumit Kumar Jha
2007	—	`conf`	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
2006	J	`jnl`	Adapting Biochemical Kripke Structures for Distributed Model Checking. Trans. Comp. Sys. Biology Susmit Jha, R. K. Shyamasundar