Sumit Kumar Jha

154 papers A* 12A 15B 8C 18Journal 44Unranked 54

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ACE-RLHF: Automated Code Evaluation and Socratic Feedback Generation Tool using Large Language Models and Reinforcement Learning with Human Feedback. CoRR Tasnia Rahman, Sathish A. P. Kumar, Sumit Kumar Jha, Arvind Ramanathan
2025	C	`conf`	Attr-RAG: Attribution-Guided Retrieval-Augmented Generation for Scientific Experiment Design. ICMLA Fazle Rahat, M. Shifat Hossain, Arvind Ramanathan, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz
2025	J	`jnl`	Circuit Partitioning Using Large Language Models for Quantum Compilation and Simulations. CoRR Pranav Sinha, Sumit Kumar Jha, Sunny Raj
2025	A	`conf`	Data Augmentation for Image Classification Using Generative AI. WACV Fazle Rahat, M. Shifat Hossain, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz
2025	B	`conf`	Detecting and Removing Adversarial Patches using Frequency Signatures. IJCNN Dominic Simon, Chase Walker, Sumit Kumar Jha, Rickard Ewetz
2025	—	`conf`	Explaining Protein Folding Networks Using Integrated Gradients and Attention Mechanisms. ICCABS Rukmangadh Sai Myana, Sumit Kumar Jha
2025	A	`conf`	Explaining ViTs Using Information Flow. AISTATS Chase Walker, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz
2025	A*	`conf`	Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs. ICML William H. English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2025	J	`jnl`	Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs. CoRR William English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2025	A*	`conf`	Metric-Driven Attributions for Vision Transformers. ICLR Chase Walker, Sumit Kumar Jha, Rickard Ewetz
2025	C	`conf`	Multitask Contrastive Learning using Task-Wise Training and Partitioned Embedding Space. ICMLA M. Shifat Hossain, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz
2025	C	`conf`	Post-training Quantization without BN Statistics: A Data Free Approach. ICMLA Akash Chavan, Sumit Kumar Jha, Sunny Raj
2025	—	`conf`	Special Session Paper: Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory. DFT Chandan Kumar Jha, Sumit Kumar Jha, Ulf Schlichtmann, Rolf Drechsler
2025	C	`conf`	Street2Air: A Framework for Synthesizing Aerial Vehicle Views from Ground Images. ICMLA Md Rubel Ahmed, Fazle Rahat, M. Shifat Hossain, Sumit Kumar Jha, Rickard Ewetz
2025	J	`jnl`	Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite. CoRR William English, Chase Walker, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2024	J	`jnl`	AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing. CoRR Ana Nunez, Nafis Tanveer Islam, Sumit Kumar Jha, Peyman Najafirad
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	J	`jnl`	Data Augmentation for Image Classification using Generative AI. CoRR Fazle Rahat, M. Shifat Hossain, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz
2024	A	`conf`	Equivalence Checking for Flow-Based Computing using Iterative SAT Solving. ICCAD Sven Thijssen, Muhammad Rashedul Haq Rashed, Md Rubel Ahmed, Suraj Singireddy, Sumit Kumar Jha, Rickard Ewetz
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	A*	`conf`	Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. AAAI Chase Walker, Sumit Kumar Jha, Kenny Chen, Rickard Ewetz
2024	—	`conf`	Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics. MILCOM Laura L. Pullum, Sumit Kumar Jha, Rickard Ewetz
2024	J	`jnl`	Jailbreaking Large Language Models with Symbolic Mathematics. CoRR Emet Bethany, Mazal Bethany, Juan Arturo Nolazco Flores, Sumit Kumar Jha, Peyman Najafirad
2024	C	`conf`	NSP: A Neuro-Symbolic Natural Language Navigational Planner. ICMLA William English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2024	J	`jnl`	NSP: A Neuro-Symbolic Natural Language Navigational Planner. CoRR William English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2024	—	`conf`	Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. ICAA William English, Dominic Simon, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz
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	C	`conf`	Out-of-Distribution Detection for Contrastive Models Using Angular Distance Measures. ICMLA M. Shifat Hossain, Sumit Kumar Jha, Chase Walker, Rickard Ewetz
2024	J	`jnl`	PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2024	B	`conf`	READ-based In-Memory Computing using Sentential Decision Diagrams. ASPDAC Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
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	A*	`conf`	Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions. DAC Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2024	B	`conf`	Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. ASPDAC Sven Thijssen, Muhammad Rashedul Haq Rashed, Hao Zheng, Sumit Kumar Jha, Rickard Ewetz
2024	—	`conf`	Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks. GameSec Kavita Kumari, Murtuza Jadliwala, Sumit Kumar Jha, Anindya Maiti
2024	J	`jnl`	Towards a Game-theoretic Understanding of Explanation-based Membership Inference Attacks. CoRR Kavita Kumari, Murtuza Jadliwala, Sumit Kumar Jha, Anindya Maiti
2023	—	`conf`	Adversarial Pixel and Patch Detection Using Attribution Analysis. MILCOM Chase Walker, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
2023	A	`conf`	Automated Synthesis for In-Memory Computing. ICCAD Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2023	J	`jnl`	Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. CoRR Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez
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`	Discovering the in-Memory Kernels of 3D Dot-Product Engines. ASP-DAC Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2023	—	`conf`	FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. ASP-DAC Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2023	C	`conf`	Input-Aware Flow-Based In-Memory Computing. ICCD Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha
2023	J	`jnl`	Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. CoRR Chase Walker, Sumit Kumar Jha, Kenny Chen, Rickard Ewetz
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	A	`conf`	Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. ICCAD Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz
2023	J	`jnl`	STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
2023	A*	`conf`	UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. DAC Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2023	A	`conf`	Verification of Flow-Based Computing Systems Using Bounded Model Checking. ICCAD Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2022	J	`jnl`	A survey on the vulnerability of deep neural networks against adversarial attacks. Prog. Artif. Intell. Andy Michel, Sumit Kumar Jha, Rickard Ewetz
2022	—	`conf`	Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. ECCV Workshops (1) Steven Lawrence Fernandes, Senka Krivic, Poonam Sharma, Sumit Kumar Jha
2022	J	`jnl`	COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2022	—	`conf`	Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. AICAS Suraj Singireddy, Rickard Ewetz, Sumit Kumar Jha
2022	C	`conf`	Equivalence Checking for Flow-Based Computing. ICCD Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
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`	FAT-PIM: Low-Cost Error Detection for Processing-In-Memory. CoRR Kazi Abu Zubair, Sumit Kumar Jha, David Mohaisen, Clayton Hughes, Amro Awad
2022	A	`conf`	Hybrid Digital-Digital In-Memory Computing. DATE Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
2022	A	`conf`	Logic Synthesis for Digital In-Memory Computing. ICCAD Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2022	A*	`conf`	PATH: evaluation of boolean logic using path-based in-memory computing. DAC Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2022	—	`conf`	STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. ASP-DAC Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
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`	Towards resilient analog in-memory deep learning via data layout re-organization. DAC Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, Rickard Ewetz
2022	J	`jnl`	XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz
2021	—	`conf`	Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. ACM Great Lakes Symposium on VLSI Shravya Channamadhavuni, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2021	—	`conf`	Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. XLOOP@SC Arvind Ramanathan, Sumit Kumar Jha
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	A	`conf`	COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. DATE Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
2021	—	`ed.`	Computational Advances in Bio and Medical Sciences - 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers ICCABS Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, Alex Zelikovsky
2021	J	`jnl`	CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models. CoRR Max Zvyagin, Thomas S. Brettin, Arvind Ramanathan, Sumit Kumar Jha
2021	A	`conf`	Hybrid Analog-Digital In-Memory Computing. ICCAD Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
2021	J	`jnl`	Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO IEEE Trans. Circuits Syst. I Regul. Pap. Sarah Rafiq, Jubin Hazra, Maximilian Liehr, Karsten Beckmann, Minhaz Abedin, Jodh S. Pannu, Sumit Kumar Jha, Nathaniel C. Cady
2021	A*	`conf`	On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, 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`	Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). J. Comput. Biol. Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky
2020	—	`conf`	Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. ECCV Workshops (1) Steven Lawrence Fernandes, Sumit Kumar Jha
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`	Attacking NIST biometric image software using nonlinear optimization. Pattern Recognit. Lett. Sunny Raj, Jodh S. Pannu, Steven Lawrence Fernandes, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha
2020	—	`conf`	Automated Synthesis of Memristor Crossbars Using Deep Neural Networks. FICTA (2) Dwaipayan Chakraborty, Andy Michel, Jodh S. Pannu, Sunny Raj, Suresh Chandra Satapathy, Steven Lawrence Fernandes, Sumit Kumar Jha
2020	A	`conf`	DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. ICCAD Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz
2020	J	`jnl`	Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits IEEE Trans. Circuits Syst. II Express Briefs Jodh S. Pannu, Sunny Raj, Steven Lawrence Fernandes, Dwaipayan Chakraborty, Sarah Rafiq, Nathaniel C. Cady, Sumit Kumar Jha
2020	—	`conf`	Detecting Deepfake Videos using Attribution-Based Confidence Metric. CVPR Workshops Steven Lawrence Fernandes, Sunny Raj, Rickard Ewetz, Jodh Singh Pannu, Sumit Kumar Jha, Eddy Ortiz, Iustina Vintila, Margaret Salter
2020	J	`jnl`	Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics. CoRR Jason W. Bentley, Daniel Gibney, Gary Hoppenworth, Sumit Kumar Jha
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	—	`conf`	Directed Adversarial Attacks on Fingerprints using Attributions. ICB Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Sumit Kumar Jha
2019	J	`jnl`	Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. IEEE J. Emerg. Sel. Topics Circuits Syst. Dwaipayan Chakraborty, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha
2019	—	`conf`	On the Susceptibility of Deep Neural Networks to Natural Perturbations. AISafety@IJCAI Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha
2019	—	`conf`	Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. ICCV Workshops Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Margaret Salter, Gordana Urosevic, Sumit Kumar Jha
2018	C	`conf`	3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. ICCD Alvaro Velasquez, Sumit Kumar Jha
2018	B	`conf`	Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. SPAA Alvaro Velasquez, Sumit Kumar Jha
2018	—	`conf`	Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. BIBM Arfeen Khalid, Sumit Kumar Jha
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	—	`conf`	Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. NANOARCH Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, Sumit Kumar Jha
2018	J	`jnl`	Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. IEEE Trans. Circuits Syst. II Express Briefs Amad Ul Hassen, Dwaipayan Chakraborty, Sumit Kumar Jha
2018	A	`conf`	In-memory computing using paths-based logic and heterogeneous components. DATE Alvaro Velasquez, Sumit Kumar Jha
2018	—	`conf`	Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. ICCABS Arfeen Khalid, Sumit Kumar Jha
2018	—	`conf`	Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. IPDPS Workshops Sunny Raj, Sumit Kumar Jha
2017	—	`conf`	A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challenge. NANOARCH Dwaipayan Chakraborty, Sunny Raj, Sumit Kumar Jha
2017	J	`jnl`	A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC Bioinform. Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Jeff Chang, Sumit Kumar Jha
2017	—	`conf`	Adversarial attacks on computer vision algorithms using natural perturbations. IC3 Arvind Ramanathan, Laura L. Pullum, Zubir Husein, Sunny Raj, Neslisah Torosdagli, Sumanta N. Pattanaik, Sumit Kumar Jha
2017	A	`conf`	Automated synthesis of compact crossbars for sneak-path based in-memory computing. DATE Dwaipayan Chakraborty, Sumit Kumar Jha
2017	—	`conf`	Calibration of stochastic biochemical models against behavioral temporal logic specifications. ICCABS Sumit Kumar Jha, Arfeen Khalid
2017	C	`conf`	Computation of Boolean matrix chain products in 3D ReRAM. ISCAS Alvaro Velasquez, Sumit Kumar Jha
2017	C	`conf`	Design of compact memristive in-memory computing systems using model counting. ISCAS Dwaipayan Chakraborty, Sumit Kumar Jha
2017	—	`conf`	In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar Computing. ICRC Dwaipayan Chakraborty, Sunny Raj, Julio Cesar Gutierrez, Troyle Thomas, Sumit Kumar Jha
2017	—	`conf`	Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. EMSOFT Companion Sunny Raj, Sumit Kumar Jha, Arvind Ramanathan, Laura L. Pullum
2016	C	`conf`	Automated synthesis of stochastic computational elements using decision procedures. ISCAS Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha
2016	C	`conf`	Flow-based computing on nanoscale crossbars: Design and implementation of full adders. ISCAS Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha
2016	A	`conf`	Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. DATE Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha
2016	C	`conf`	Parallel boolean matrix multiplication in linear time using rectifying memristors. ISCAS Alvaro Velasquez, Sumit Kumar Jha
2016	B	`conf`	The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. NCA Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha
2015	J	`jnl`	Automated parameter estimation for biological models using Bayesian statistical model checking. BMC Bioinform. Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
2015	—	`conf`	Automated synthesis of crossbars for nanoscale computing using formal methods. NANOARCH Alvaro Velasquez, Sumit Kumar Jha
2015	B	`conf`	Distributed Markov Chains. VMCAI Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
2015	C	`conf`	Fault-tolerant in-memory crossbar computing using quantified constraint solving. ICCD Alvaro Velasquez, Sumit Kumar Jha
2015	—	`conf`	SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. ICCABS Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Chang, Sumit Kumar Jha
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	J	`jnl`	Distributed Markov Chains. CoRR Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan
2014	—	`conf`	EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. ICCABS Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha
2014	—	`conf`	Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck. IDT Alvaro Velasquez, Sumit Kumar Jha
2014	—	`conf`	Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. ICCABS Faraz Hussain, Christopher James Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
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	—	`conf`	Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. ICCABS Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha
2012	—	`conf`	A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. BCB Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, Arup K. Ghosh, Sumit Kumar Jha, James J. Hickman
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	J	`jnl`	Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC Bioinform. Sumit Kumar Jha, Christopher James Langmead
2012	J	`jnl`	Human tracking from a mobile agent: Optical flow and Kalman filter arbitration. Signal Process. Image Commun. Yuichi Motai, Sumit Kumar Jha, Daniel Kruse
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	—	`conf`	Exploring behaviors of SDE models of biological systems using change of measures. ICCABS Sumit Kumar Jha, Christopher James Langmead
2011	—	`conf`	Poster: Synthesis of biochemical models. ICCABS Sumit Kumar Jha, Christopher James Langmead
2011	J	`jnl`	Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comput. Sci. Sumit Kumar Jha, Christopher James Langmead
2011	A	`conf`	When to stop verification?: Statistical trade-off between expected loss and simulation cost. DATE Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh
2010	—	`—`	Model Validation and Discovery for Complex Stochastic Systems. Sumit Kumar Jha
2009	—	`conf`	A Bayesian Approach to Model Checking Biological Systems. CMSB Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani
2009	J	`jnl`	Symbolic Approaches for Finding Control Strategies in Boolean Networks. J. Bioinform. Comput. Biol. Christopher James Langmead, Sumit Kumar Jha
2008	—	`conf`	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
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
2008	—	`conf`	Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay
2008	B	`conf`	Symbolic Approaches for Finding Control Strategies in Boolean Networks. APBC Christopher James Langmead, Sumit Kumar Jha
2008	—	`conf`	d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. HSCC Sumit Kumar Jha
2007	J	`jnl`	Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata CoRR Sumit Kumar Jha
2007	C	`conf`	Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. WABI Christopher James Langmead, Sumit Kumar Jha
2007	—	`conf`	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
2007	B	`conf`	Verification of Object Relational Maps. SEFM Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
2006	—	`conf`	Model Checking For Fault Explanation. CDC Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha
2006	J	`jnl`	Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata CoRR Sumit Kumar Jha
2005	—	`conf`	Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh
2005	—	`ch.`	Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith