Sumit Kumar Jha

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 83

Top Venues

Publications

Sven Thijssen, Muhammad Rashedul Haq Rashed, Hao Zheng, Sumit Kumar Jha, Rickard Ewetz
Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. ASPDAC (2024)
Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (5) (2024)
Kavita Kumari, Murtuza Jadliwala, Sumit Kumar Jha, Anindya Maiti
Towards a Game-theoretic Understanding of Explanation-based Membership Inference Attacks. CoRR (2024)
Chase Walker, Sumit Kumar Jha, Kenny Chen, Rickard Ewetz
Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. AAAI (2024)
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) (2024)
Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
READ-based In-Memory Computing using Sentential Decision Diagrams. ASPDAC (2024)
Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. CoRR (2023)
Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
Discovering the in-Memory Kernels of 3D Dot-Product Engines. ASP-DAC (2023)
Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. DAC (2023)
Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha
Input-Aware Flow-Based In-Memory Computing. ICCD (2023)
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR (2023)
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM (2023)
Chase Walker, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz
Adversarial Pixel and Patch Detection Using Attribution Analysis. MILCOM (2023)
Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
Verification of Flow-Based Computing Systems Using Bounded Model Checking. ICCAD (2023)
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR (2023)
Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
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)
Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. ASP-DAC (2023)
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 (2023)
Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
Automated Synthesis for In-Memory Computing. ICCAD (2023)
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)
Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz
Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. ICCAD (2023)
Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
Equivalence Checking for Flow-Based Computing. ICCD (2022)
Andy Michel, Sumit Kumar Jha, Rickard Ewetz
A survey on the vulnerability of deep neural networks against adversarial attacks. Prog. Artif. Intell. 11 (2) (2022)
Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. ASP-DAC (2022)
Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Fan Yao, Rickard Ewetz
Hybrid Digital-Digital In-Memory Computing. DATE (2022)
Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
Logic Synthesis for Digital In-Memory Computing. ICCAD (2022)
Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz
XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (6) (2022)
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI (2022)
Kazi Abu Zubair, Sumit Kumar Jha, David Mohaisen, Clayton Hughes, Amro Awad
FAT-PIM: Low-Cost Error Detection for Processing-In-Memory. CoRR (2022)
Suraj Singireddy, Rickard Ewetz, Sumit Kumar Jha
Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. AICAS (2022)
Steven Lawrence Fernandes, Senka Krivic, Poonam Sharma, Sumit Kumar Jha
Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. ECCV Workshops (1) (2022)
Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, Rickard Ewetz
Towards resilient analog in-memory deep learning via data layout re-organization. DAC (2022)
Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha
ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI (2022)
Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
PATH: evaluation of boolean logic using path-based in-memory computing. DAC (2022)
Arvind Ramanathan, Sumit Kumar Jha
Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. XLOOP@SC (2021)
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI (2021)
Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz
Hybrid Analog-Digital In-Memory Computing. ICCAD (2021)
Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
Protein Folding Neural Networks Are Not Robust. CoRR (2021)
Sarah Rafiq, Jubin Hazra, Maximilian Liehr, Karsten Beckmann, Minhaz Abedin, Jodh S. Pannu, Sumit Kumar Jha, Nathaniel C. Cady
-Based ReRAM Arrays. IEEE Trans. Circuits Syst. I Regul. Pap. 68 (7) (2021)
Shravya Channamadhavuni, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. ACM Great Lakes Symposium on VLSI (2021)
Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS (2021)
Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz
COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. DATE (2021)
Max Zvyagin, Thomas S. Brettin, Arvind Ramanathan, Sumit Kumar Jha
CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models. CoRR (2021)
Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky
Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). J. Comput. Biol. 28 (11) (2021)
Steven Lawrence Fernandes, Sunny Raj, Rickard Ewetz, Jodh Singh Pannu, Sumit Kumar Jha, Eddy Ortiz, Iustina Vintila, Margaret Salter
Detecting Deepfake Videos using Attribution-Based Confidence Metric. CVPR Workshops (2020)
Sunny Raj, Jodh S. Pannu, Steven Lawrence Fernandes, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha
Attacking NIST biometric image software using nonlinear optimization. Pattern Recognit. Lett. 131 (2020)
Steven Lawrence Fernandes, Sumit Kumar Jha
Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. ECCV Workshops (1) (2020)
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 (2020)
Dwaipayan Chakraborty, Andy Michel, Jodh S. Pannu, Sunny Raj, Suresh Chandra Satapathy, Steven Lawrence Fernandes, Sumit Kumar Jha
Automated Synthesis of Memristor Crossbars Using Deep Neural Networks. FICTA (2) (2020)
Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz
DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. ICCAD (2020)
Jodh S. Pannu, Sunny Raj, Steven Lawrence Fernandes, Dwaipayan Chakraborty, Sarah Rafiq, Nathaniel C. Cady, Sumit Kumar Jha
. IEEE Trans. Circuits Syst. II Express Briefs (5) (2020)
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 (2019)
Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Sumit Kumar Jha
Directed Adversarial Attacks on Fingerprints using Attributions. ICB (2019)
Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Margaret Salter, Gordana Urosevic, Sumit Kumar Jha
Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. ICCV Workshops (2019)
Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha
On the Susceptibility of Deep Neural Networks to Natural Perturbations. AISafety@IJCAI (2019)
Dwaipayan Chakraborty, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha
Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. IEEE J. Emerg. Sel. Topics Circuits Syst. 9 (3) (2019)
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)
Alvaro Velasquez, Sumit Kumar Jha
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. ICCD (2018)
Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, Sumit Kumar Jha
Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. NANOARCH (2018)
Amad Ul Hassen, Dwaipayan Chakraborty, Sumit Kumar Jha
Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. IEEE Trans. Circuits Syst. II Express Briefs (5) (2018)
Arfeen Khalid, Sumit Kumar Jha
Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. ICCABS (2018)
Arfeen Khalid, Sumit Kumar Jha
Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. BIBM (2018)
Alvaro Velasquez, Sumit Kumar Jha
Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. SPAA (2018)
Sunny Raj, Sumit Kumar Jha
Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. IPDPS Workshops (2018)
Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS (2018)
Alvaro Velasquez, Sumit Kumar Jha
In-memory computing using paths-based logic and heterogeneous components. DATE (2018)
Dwaipayan Chakraborty, Sunny Raj, Sumit Kumar Jha
A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challenge. NANOARCH (2017)
Dwaipayan Chakraborty, Sumit Kumar Jha
Automated synthesis of compact crossbars for sneak-path based in-memory computing. DATE (2017)
Sumit Kumar Jha, Arfeen Khalid
Calibration of stochastic biochemical models against behavioral temporal logic specifications. ICCABS (2017)
Dwaipayan Chakraborty, Sumit Kumar Jha
Design of compact memristive in-memory computing systems using model counting. ISCAS (2017)
Dwaipayan Chakraborty, Sunny Raj, Julio Cesar Gutierrez, Troyle Thomas, Sumit Kumar Jha
In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar Computing. ICRC (2017)
Sunny Raj, Laura Pullum, Arvind Ramanathan, Sumit Kumar Jha
: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. FPS (2017)
Alvaro Velasquez, Sumit Kumar Jha
Computation of Boolean matrix chain products in 3D ReRAM. ISCAS (2017)
Arvind Ramanathan, Laura L. Pullum, Zubir Husein, Sunny Raj, Neslisah Torosdagli, Sumanta N. Pattanaik, Sumit Kumar Jha
Adversarial attacks on computer vision algorithms using natural perturbations. IC3 (2017)
Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Jeff Chang, Sumit Kumar Jha
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC Bioinform. 18 (8) (2017)
Sunny Raj, Sumit Kumar Jha, Arvind Ramanathan, Laura L. Pullum
Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. EMSOFT Companion (2017)
Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha
Automated synthesis of stochastic computational elements using decision procedures. ISCAS (2016)
Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha
Flow-based computing on nanoscale crossbars: Design and implementation of full adders. ISCAS (2016)
Alvaro Velasquez, Piotr J. Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. NCA (2016)
Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. DATE (2016)
Alvaro Velasquez, Sumit Kumar Jha
Parallel boolean matrix multiplication in linear time using rectifying memristors. ISCAS (2016)
Alvaro Velasquez, Sumit Kumar Jha
Fault-tolerant in-memory crossbar computing using quantified constraint solving. ICCD (2015)
Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
Distributed Markov Chains. VMCAI (2015)
Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Chang, Sumit Kumar Jha
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. ICCABS (2015)
Alvaro Velasquez, Sumit Kumar Jha
Automated synthesis of crossbars for nanoscale computing using formal methods. NANOARCH (2015)
Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
Automated parameter estimation for biological models using Bayesian statistical model checking. BMC Bioinform. 16 (S17) (2015)
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) (2014)
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) (2014)
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan
Distributed Markov Chains. CoRR (2014)
Faraz Hussain, Christopher James Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. ICCABS (2014)
Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha
EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. ICCABS (2014)
Alvaro Velasquez, Sumit Kumar Jha
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck. IDT (2014)
Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. ICCABS (2014)
Yuichi Motai, Sumit Kumar Jha, Daniel Kruse
Human tracking from a mobile agent: Optical flow and Kalman filter arbitration. Signal Process. Image Commun. 27 (1) (2012)
Sumit Kumar Jha, Christopher James Langmead
Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC Bioinform. 13 (S-5) (2012)
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)
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) (2012)
Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, Arup K. Ghosh, Sumit Kumar Jha, James J. Hickman
A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. BCB (2012)

Sumit Kumar Jha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sumit Kumar Jha