Susmit Jha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
30
Active years
2009–2026
Best venue rank
A*
Where they publish
- A*AAAI6 papers
- A*DAC3 papers
- A*IJCAI3 papers
- A*ICCV2 papers
- A*ICSE2 papers
- A*ICLR2 papers
- A*CAV2 papers
- Journal PublishedCASES2 papers
- A*ACL1 paper
- BCAIN1 paper
- A*EMNLP1 paper
- AWACV1 paper
- AUAI1 paper
- CMEMOCODE1 paper
- ANAACL1 paper
- BISIT1 paper
- A*CVPR1 paper
- A*ICML1 paper
- AACSAC1 paper
- CISCAS1 paper
- UnrankedCoRL1 paper
- BSAFECOMP1 paper
- ADSN1 paper
- AICDCS1 paper
- BRV1 paper
- BFMCAD1 paper
- Journal PublishedEMSOFT1 paper
- A*PLDI1 paper
- AESOP1 paper
- A*CCS1 paper
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Privacy Preserving In-Context-Learning Framework for Large Language Models. | Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha |
| 2026 | AAAI | On the Dataless Training of Neural Networks. | Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri |
| 2026 | ACL | NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering. | Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha, Sumit Kumar Jha |
| 2025 | CAIN | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). | Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha |
| 2025 | EMNLP | Polysemantic Dropout: Conformal OOD Detection for Specialized LLMs. | Ayush Gupta, Ramneet Kaur, Anirban Roy, Adam D. Cobb, Rama Chellappa, Susmit Jha |
| 2025 | ICCV | TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision. | Ayush Gupta, Anirban Roy, Rama Chellappa, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha |
| 2025 | ICSE | Calibration and Correctness of Language Models for Code. | Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed |
| 2025 | WACV | Zero-Shot Detection of Out-of-Context Objects Using Foundation Models. | Anirban Roy, Adam D. Cobb, Ramneet Kaur, Sumit Jha, Nathaniel D. Bastian, Alexander M. Berenbeim, Robert H. Thomson, Iain Cruickshank, Alvaro Velasquez, Susmit Jha |
| 2025 | UAI | Scalable Bayesian Low-Rank Adaptation of Large Language Models via Stochastic Variational Subspace Inference. | Colin Samplawski, Adam D. Cobb, Manoj Acharya, Ramneet Kaur, Susmit Jha |
| 2024 | AAAI | Direct Amortized Likelihood Ratio Estimation. | Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha |
| 2024 | DAC | On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. | Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez |
| 2024 | MEMOCODE | Neuro-symbolic Generative AI Assistant for System Design. | Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez |
| 2024 | NAACL | Task-Agnostic Detector for Insertion-Based Backdoor Attacks. | Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen |
| 2023 | DAC | Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding. | Susmit Jha |
| 2023 | ICCV | TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models. | Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha |
| 2023 | ISIT | Principled OOD Detection via Multiple Testing. | Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha |
| 2022 | AAAI | Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha |
| 2022 | AAAI | iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. | Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee |
| 2022 | CVPR | Dual-Key Multimodal Backdoors for Visual Question Answering. | Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha |
| 2022 | ICLR | Trigger Hunting with a Topological Prior for Trojan Detection. | Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen |
| 2022 | ICML | Principal Component Flows. | Edmond Cunningham, Adam D. Cobb, Susmit Jha |
| 2022 | IJCAI | ExplainIt!: A Tool for Computing Robust Attributions of DNNs. | Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha |
| 2022 | IJCAI | Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network. | Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran |
| 2021 | ACSAC | MISA: Online Defense of Trojaned Models using Misattributions. | Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha |
| 2021 | IJCAI | On Smoother Attributions using Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha |
| 2021 | ISCAS | Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. | Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha |
| 2020 | AAAI | Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. | Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha |
| 2020 | CoRL | Learning Certified Control Using Contraction Metric. | Dawei Sun, Susmit Jha, Chuchu Fan |
| 2020 | DAC | TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. | Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li |
| 2020 | ICLR | On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. | Uyeong Jang, Susmit Jha, Somesh Jha |
| 2020 | SAFECOMP | Model-Centered Assurance for Autonomous Systems. | Susmit Jha, John Rushby, Natarajan Shankar |
| 2019 | CAV | Trust, Resilience and Interpretability of AI Models. | Susmit Jha |
| 2018 | DSN | Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. | Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu |
| 2018 | ICDCS | Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. | Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrde 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 | RV | TeLEx: Passive STL Learning Using Only Positive Examples. | Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
| 2016 | FMCAD | On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. | Susmit Jha, Vasumathi Raman, Sanjit A. Seshia |
| 2015 | CASES | Optimizing mobile display brightness by leveraging human visual perception. | Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik |
| 2014 | CASES | CAPED: Context-aware personalized display brightness for mobile devices. | Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik |
| 2011 | EMSOFT | Synthesis of optimal switching logic for hybrid systems. | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
| 2011 | PLDI | Synthesis of loop-free programs. | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
| 2010 | ESOP | Automating Security Mediation Placement. | Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
| 2010 | ICSE | Oracle-guided component-based program synthesis. | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
| 2009 | CAV | Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. | Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia |
| 2009 | CCS | On voting machine design for verification and testability. | Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner |