publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. Data Augmentation for Image Classification using Generative AI
    Fazle Rahat, M Shifat Hossain, Md Rubel Ahmed, Sumit Jha, and Rickard Ewetz
    In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2025
  2. Zero-shot Detection of Out-of-Context Objects Using Foundation Models
    Anirban Roy, Adam Cobb, Ramneet Kaur, Sumit Jha, Nathaniel Bastian, Alexander Berenbeim, and 4 more authors
    In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2025
  3. On the Limitations of Explainable AI in Predictions of Protein Folding Networks
    Rukmangadh Sai Myana, and Sumit Kumar Jha
    In 13th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2025, 2025

2024

  1. Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
    Chase Walker, Sumit Kumar Jha, Kenny Chen, and Rickard Ewetz
    In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, February 20-27, 2024, Vancouver, Canada, 2024
  2. Equivalence Checking for Flow-Based Computing using Iterative SAT Solving
    S. Thijssen, M. Rashed, S. Singireddy, SK Jha, and R. Ewetz
    Proceedings of the 43rd International Conference on Computer-Aided Design (ICCAD), 2024
  3. Jailbreaking Large Language Models with Symbolic Mathematics
    E. Bethany, M. Bethany, J.A. Nolazco Flores, SK Jha, and P. Najafirad
    Workshop on Socially Responsible Language Modelling Research (SoLaR) at NeurIPS, 2024
  4. AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
    A. Nunez, NT. Islam, SK Jha, and P. Najafirad
    The First Workshop on Safe & Trustworthy Agents (SATA) at NeurIPS, 2024
  5. On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers
    SK Jha, S. Jha, R. Ewetz, and A. Velasquez
    61st ACM Design Automation Conference (DAC), 2024
  6. Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions
    S. Thijssen, M. Rashed, SK Jha, and R. Ewetz
    61st ACM Design Automation Conference (DAC), 2024
  7. Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation
    M. Rashed, S. Thijssen, D. Simon, SK Jha, and R. Ewetz
    61st ACM Design Automation Conference (DAC), 2024
  8. Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar Constrained Decoding in Large Language Models
    SK Jha, S. Jha, M. Rashed, R. Ewetz, and A. Velasquez
    IEEE National Aerospace and Electronics Conference (NAECON), 2024
  9. Co-Synthesis of Code and Formal Models Using Large Language Models and Functors
    SK Jha, S. Jha, R. Ewetz, and A. Velasquez
    Applications of Artificial Intelligence in Code Analysis (AICA) at IEEE Military Communications Conference (MILCOM), 2024
  10. Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models
    SK Jha, S. Jha, R. Ewetz, and A. Velasquez
    3rd International Conference on Assured Autonomy (ICAA), 2024
  11. Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation
    W. English, D. Simon, MR. Ahmed, SK Jha, and R. Ewetz
    3rd International Conference on Assured Autonomy (ICAA), 2024
  12. Out-of-Distribution Detection for Contrastive Models using Angular Distance Measures
    MS. Hossain, C. Walker, SK Jha, and R. Ewetz
    23rd International Conference on Machine Learning and Applications (ICMLA), 2024
  13. NSP: A Neuro-Symbolic Natural Language Navigational Planner
    W. English, D. Simon, SK Jha, and R. Ewetz
    23rd International Conference on Machine Learning and Applications (ICMLA), 2024
  14. Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics
    L. Pullum, SK Jha, and R. Ewetz
    IEEE Military Communications Conference (MILCOM), 2024
  15. Neuro-Symbolic Representations of 3D Scenes using Universal Scene Description Language
    M. Hossain, M. Ahmed, L. Pullum, R. Ewetz, and SK Jha
    Neuro-Symbolic Learning and Reasoning Workshop at AAAI, 2024
  16. Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations
    J. Brogan, O. Kotevska, A. Torres , M. Adams, and SK Jha
    IEEE International Workshop on Machine Learning for Signal Processing (MLSP), 2024
  17. Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences
    Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, and 1 more author
    IEEE Trans. Artif. Intell., 2024
  18. PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024
  19. Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Hao Zheng, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024
  20. READ-based In-Memory Computing using Sentential Decision Diagrams
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024
  21. Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks
    Kavita Kumari, Murtuza Jadliwala, Sumit Kumar Jha, and Anindya Maiti
    In Decision and Game Theory for Security - 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings, 2024
  22. Data Augmentation for Image Classification using Generative AI
    Fazle Rahat, M. Shifat Hossain, Md Rubel Ahmed, Sumit Kumar Jha, and Rickard Ewetz
    CoRR, 2024

2023

  1. Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
    Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, and 1 more author
    In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
    BEST PAPER CANDIDATE
  2. Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
    Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, and Sandeep Neema
    In IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023, 2023
  3. UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 2023
  4. Automated Synthesis for In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
  5. Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications
    Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Hao Zheng, and Rickard Ewetz
    In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
  6. Verification of Flow-Based Computing Systems Using Bounded Model Checking
    Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
  7. Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
    Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, and Alvaro Velasquez
    In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
  8. STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications
    Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, and Rickard Ewetz
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023
  9. Discovering the in-Memory Kernels of 3D Dot-Product Engines
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, 2023
  10. FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, 2023
  11. Input-Aware Flow-Based In-Memory Computing
    Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, and Sumit Kumar Jha
    In 41st IEEE International Conference on Computer Design, ICCD 2023, Washington, DC, USA, November 6-8, 2023, 2023
  12. Adversarial Pixel and Patch Detection Using Attribution Analysis
    Chase Walker, Dominic Simon, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
  13. On the Robustness of AlphaFold: A COVID-19 Case Study
    Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, and 2 more authors
    CoRR, 2023
  14. Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
    Chase Walker, Sumit Kumar Jha, Kenny Chen, and Rickard Ewetz
    CoRR, 2023
  15. Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
    Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, and Alvaro Velasquez
    CoRR, 2023
  16. Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning
    Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, and Alvaro Velasquez
    CoRR, 2023
  17. Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
    Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, and 1 more author
    CoRR, 2023

2022

  1. Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations
    Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, and Susmit Jha
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, February 22 - March 1, 2022, 2022
    Oral Presentation
  2. ExplainIt!: A Tool for Computing Robust Attributions of DNNs
    Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, and Susmit Jha
    In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, 2022
  3. Logic Synthesis for Digital In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022, 2022
    BEST PAPER CANDIDATE
  4. XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices
    Necati Uysal, Baogang Zhang, Sumit Kumar Jha, and Rickard Ewetz
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
  5. COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
  6. Responsible Reasoning with Large Language Models and The Impact of Proper Nouns
    SK Jha, R. Ewetz, A. Velasquez, and S. Jha
    Workshop on Trustworthy and Socially Responsible Machine Learning at NeurIPS, 2022
  7. Detecting Adversarial Attacks On Breast Cancer Diagnostic Systems Using Attribution-based Confidence Metric
    S. Fernandes, S. Krivic, P. Sharma, and SK Jha
    Medical Imaging Meets NeurIPS (MedNeurIPS at NeurIPS), 2022
  8. Towards resilient analog in-memory deep learning via data layout re-organization
    Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, and Rickard Ewetz
    In DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
  9. PATH: evaluation of boolean logic using path-based in-memory computing
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
  10. Hybrid Digital-Digital In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Fan Yao, and Rickard Ewetz
    In 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, 2022
  11. Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images
    Steven Lawrence Fernandes, Senka Krivic, Poonam Sharma, and Sumit Kumar Jha
    In Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part I, 2022
  12. Equivalence Checking for Flow-Based Computing
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022, 2022
  13. Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems
    Suraj Singireddy, Rickard Ewetz, and Sumit Kumar Jha
    In 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2022, Incheon, Republic of Korea, June 13-15, 2022, 2022
  14. STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing
    Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, and Rickard Ewetz
    In 27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022, 2022
  15. A survey on the vulnerability of deep neural networks against adversarial attacks
    Andy Michel, Sumit Kumar Jha, and Rickard Ewetz
    Prog. Artif. Intell., 2022
  16. FAT-PIM: Low-Cost Error Detection for Processing-In-Memory
    Kazi Abu Zubair, Sumit Kumar Jha, David Mohaisen, Clayton Hughes, and Amro Awad
    CoRR, 2022

2021

  1. On Smoother Attributions using Neural Stochastic Differential Equations
    Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, and Susmit Jha
    In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, 2021
  2. COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, 2021
    BEST PAPER CANDIDATE
  3. Hybrid Analog-Digital In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, 2021
  4. Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO\(_\mbox2\)-Based ReRAM Arrays
    Sarah Rafiq, Jubin Hazra, Maximilian Liehr, Karsten Beckmann, Minhaz Abedin, Jodh S. Pannu, and 2 more authors
    IEEE Trans. Circuits Syst. I Regul. Pap., 2021
  5. Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures
    Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, and Susmit Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, 2021
  6. Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020)
    Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, and Alexander Zelikovsky
    J. Comput. Biol., 2021
  7. Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities
    Shravya Channamadhavuni, Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In GLSVLSI ’21: Great Lakes Symposium on VLSI 2021, Virtual Event, USA, June 22-25, 2021, 2021
  8. Adversarial Attacks against AI-driven Experimental Peptide Design Workflows
    Arvind Ramanathan, and Sumit Kumar Jha
    In 3rd Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, XLOOP@SC 2021, St. Louis, MO, USA, November 19, 2021, 2021
  9. Computational Advances in Bio and Medical Sciences - 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers
    2021
  10. CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models
    Max Zvyagin, Thomas S. Brettin, Arvind Ramanathan, and Sumit Kumar Jha
    CoRR, 2021
  11. Protein Folding Neural Networks Are Not Robust
    Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, and Susmit Jha
    CoRR, 2021

2020

  1. DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision
    Necati Uysal, Baogang Zhang, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020, 2020
  2. Predicting Heart Rate Variations of Deepfake Videos using Neural ODE
    S. Fernandes, S. Raj, E. Ortiz, I. Vintila, M. Salter, G. Urosevic, and 1 more author
    Proceedings of the International Conference on Computer Vision (ICCV) Workshops, 2020
  3. Attacking NIST biometric image software using nonlinear optimization
    Sunny Raj, Jodh S. Pannu, Steven Lawrence Fernandes, Arvind Ramanathan, Laura L. Pullum, and Sumit Kumar Jha
    Pattern Recognit. Lett., 2020
  4. Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits\(^\mbox1\)
    Jodh S. Pannu, Sunny Raj, Steven Lawrence Fernandes, Dwaipayan Chakraborty, Sarah Rafiq, Nathaniel C. Cady, and 1 more author
    IEEE Trans. Circuits Syst. II Express Briefs, 2020
  5. Detecting Deepfake Videos using Attribution-Based Confidence Metric
    Steven Lawrence Fernandes, Sunny Raj, Rickard Ewetz, Jodh Singh Pannu, Sumit Kumar Jha, Eddy Ortiz, and 2 more authors
    In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2020, Seattle, WA, USA, June 14-19, 2020, 2020
  6. Adversarial Attack on Deepfake Detection Using RL Based Texture Patches
    Steven Lawrence Fernandes, and Sumit Kumar Jha
    In Computer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part I, 2020
  7. Automated Synthesis of Memristor Crossbars Using Deep Neural Networks
    Dwaipayan Chakraborty, Andy Michel, Jodh S. Pannu, Sunny Raj, Suresh Chandra Satapathy, Steven Lawrence Fernandes, and 1 more author
    In Intelligent Data Engineering and Analytics - Frontiers in Intelligent Computing: Theory and Applications (FICTA 2020), Volume 2, Karnataka, Surathkal, India, January 4-5, 2020, 2020
  8. Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics
    Jason W. Bentley, Daniel Gibney, Gary Hoppenworth, and Sumit Kumar Jha
    CoRR, 2020
  9. An Extension of Fano’s Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
    Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, and 1 more author
    CoRR, 2020

2019

  1. Attribution-Based Confidence Metric For Deep Neural Networks
    Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, and 2 more authors
    In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, 2019
  2. Towards AI-driven Predictive Modeling of Gas Turbines Using Big Data
    S. Raj, SL Fernandes, A. Michel, and SK Jha
    AIAA Propulsion and Energy, 2019
  3. Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection
    Dwaipayan Chakraborty, Sunny Raj, Steven Lawrence Fernandes, and Sumit Kumar Jha
    IEEE J. Emerg. Sel. Topics Circuits Syst., 2019
  4. Directed Adversarial Attacks on Fingerprints using Attributions
    Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, and Sumit Kumar Jha
    In 2019 International Conference on Biometrics, ICB 2019, Crete, Greece, June 4-7, 2019, 2019
  5. Predicting Heart Rate Variations of Deepfake Videos using Neural ODE
    Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Margaret Salter, Gordana Urosevic, and 1 more author
    In 2019 IEEE/CVF International Conference on Computer Vision Workshops, ICCV Workshops 2019, Seoul, Korea (South), October 27-28, 2019, 2019
  6. On the Susceptibility of Deep Neural Networks to Natural Perturbations
    Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, and Sumit Kumar Jha
    In Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019, 2019
  7. Attribution-driven Causal Analysis for Detection of Adversarial Examples
    Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, and 2 more authors
    CoRR, 2019

2018

  1. Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing
    Amad Ul Hassen, Dwaipayan Chakraborty, and Sumit Kumar Jha
    IEEE Trans. Circuits Syst. II Express Briefs, 2018
  2. Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking
    Arfeen Khalid, and Sumit Kumar Jha
    In IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018, Madrid, Spain, December 3-6, 2018, 2018
  3. In-memory computing using paths-based logic and heterogeneous components
    Alvaro Velasquez, and Sumit Kumar Jha
    In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, 2018
  4. Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems
    Susmit Jha, Sunny Raj, Sumit Kumar Jha, and Natarajan Shankar
    In Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, 2018
  5. Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing
    Arfeen Khalid, and Sumit Kumar Jha
    In 8th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2018, Las Vegas, NV, USA, October 18-20, 2018, 2018
  6. 3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability
    Alvaro Velasquez, and Sumit Kumar Jha
    In 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018, 2018
  7. Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis
    Sunny Raj, and Sumit Kumar Jha
    In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018, 2018
  8. Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing
    Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, and Sumit Kumar Jha
    In Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2018, Athens, Greece, July 17-19, 2018, 2018
  9. Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory
    Alvaro Velasquez, and Sumit Kumar Jha
    In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, Vienna, Austria, July 16-18, 2018, 2018

2017

  1. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
    Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, and 3 more authors
    BMC Bioinform., 2017
  2. Automated synthesis of compact crossbars for sneak-path based in-memory computing
    Dwaipayan Chakraborty, and Sumit Kumar Jha
    In Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, 2017
  3. Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress
    Sunny Raj, Sumit Kumar Jha, Arvind Ramanathan, and Laura L. Pullum
    In Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT 2017 Companion, Seoul, Republic of Korea, October 15-20, 2017, 2017
  4. SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing
    Sunny Raj, Laura Pullum, Arvind Ramanathan, and Sumit Kumar Jha
    In Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers, 2017
  5. Adversarial attacks on computer vision algorithms using natural perturbations
    Arvind Ramanathan, Laura L. Pullum, Zubir Husein, Sunny Raj, Neslisah Torosdagli, Sumanta N. Pattanaik, and 1 more author
    In Tenth International Conference on Contemporary Computing, IC3 2017, Noida, India, August 10-12, 2017, 2017
  6. Calibration of stochastic biochemical models against behavioral temporal logic specifications
    Sumit Kumar Jha, and Arfeen Khalid
    In 7th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2017, Orlando, FL, USA, October 19-21, 2017, 2017
  7. In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar Computing
    Dwaipayan Chakraborty, Sunny Raj, Julio Cesar Gutierrez, Troyle Thomas, and Sumit Kumar Jha
    In IEEE International Conference on Rebooting Computing, ICRC 2017, Washington, DC, USA, November 8-9, 2017, 2017
  8. Design of compact memristive in-memory computing systems using model counting
    Dwaipayan Chakraborty, and Sumit Kumar Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, 2017
  9. Computation of Boolean matrix chain products in 3D ReRAM
    Alvaro Velasquez, and Sumit Kumar Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, 2017
  10. A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challenge
    Dwaipayan Chakraborty, Sunny Raj, and Sumit Kumar Jha
    In IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2017, Newport, RI, USA, July 25-26, 2017, 2017

2016

  1. Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision
    Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, and Sumit Kumar Jha
    In 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, 2016
  2. Automated synthesis of stochastic computational elements using decision procedures
    Amad Ul Hassen, Brigadesh Chandrasekar, and Sumit Kumar Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
  3. Flow-based computing on nanoscale crossbars: Design and implementation of full adders
    Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, and Sumit Kumar Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
  4. Parallel boolean matrix multiplication in linear time using rectifying memristors
    Alvaro Velasquez, and Sumit Kumar Jha
    In IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
  5. The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks
    Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, and Sumit Kumar Jha
    In 15th IEEE International Symposium on Network Computing and Applications, NCA 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016, 2016

2015

  1. Automated parameter estimation for biological models using Bayesian statistical model checking
    Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, and Sumit Kumar Jha
    BMC Bioinform., 2015
  2. SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures
    Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Chang, and 1 more author
    In 5th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2015, Miami, FL, USA, October 15-17, 2015, 2015
  3. Fault-tolerant in-memory crossbar computing using quantified constraint solving
    Alvaro Velasquez, and Sumit Kumar Jha
    In 33rd IEEE International Conference on Computer Design, ICCD 2015, New York City, NY, USA, October 18-21, 2015, 2015
  4. Automated synthesis of crossbars for nanoscale computing using formal methods
    Alvaro Velasquez, and Sumit Kumar Jha
    In Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2015, Boston, MA, USA, July 8-10, 2015, 2015
  5. Distributed Markov Chains
    Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, and P. S. Thiagarajan
    In Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015

2014

  1. Parameter discovery in stochastic biological models using simulated annealing and statistical model checking
    Faraz Hussain, Sumit Kumar Jha, Susmit Jha, and Christopher James Langmead
    Int. J. Bioinform. Res. Appl., 2014
  2. Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model
    Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, and Sumit Kumar Jha
    Int. J. Bioinform. Res. Appl., 2014
  3. Parameter discovery for stochastic computational models in systems biology using Bayesian model checking
    Faraz Hussain, Christopher James Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, and Sumit Kumar Jha
    In IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
  4. EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth
    Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, and Sumit Kumar Jha
    In IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
  5. Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data
    Faraz Hussain, Alvaro Velasquez, Emily Sassano, and Sumit Kumar Jha
    In IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
  6. Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck
    Alvaro Velasquez, and Sumit Kumar Jha
    In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014, 2014
  7. Distributed Markov Chains
    Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, and P. S. Thiagarajan
    CoRR, 2014

2012

  1. Exploring behaviors of stochastic differential equation models of biological systems using change of measures
    Sumit Kumar Jha, and Christopher James Langmead
    BMC Bioinform., 2012
  2. Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
    Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, and Emily Sassano
    Int. J. Bioinform. Res. Appl., 2012
  3. Human tracking from a mobile agent: Optical flow and Kalman filter arbitration
    Yuichi Motai, Sumit Kumar Jha, and Daniel Kruse
    Signal Process. Image Commun., 2012
  4. A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout
    Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, and 3 more authors
    In ACM International Conference on Bioinformatics, Computational Biology and Biomedicine, BCB’ 12, Orlando, FL, USA - October 08 - 10, 2012, 2012
  5. Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems
    Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, and Susmit Jha
    In IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012, Las Vegas, NV, USA, February 23-25, 2012, 2012
  6. Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing
    Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, and Susmit Jha
    In IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012, Las Vegas, NV, USA, February 23-25, 2012, 2012

2011

  1. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
    Sumit Kumar Jha, and Christopher James Langmead
    Theor. Comput. Sci., 2011
  2. When to stop verification?: Statistical trade-off between expected loss and simulation cost
    Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, and S. Ramesh
    In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, 2011
  3. Exploring behaviors of SDE models of biological systems using change of measures
    Sumit Kumar Jha, and Christopher James Langmead
    In IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011, Orlando, FL, USA, February 3-5, 2011, 2011
  4. Poster: Synthesis of biochemical models
    Sumit Kumar Jha, and Christopher James Langmead
    In IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011, Orlando, FL, USA, February 3-5, 2011, 2011

2010

  1. Model Validation and Discovery for Complex Stochastic Systems
    Sumit Kumar Jha
    Carnegie Mellon University, USA, 2010

2009

  1. Symbolic Approaches for Finding Control Strategies in Boolean Networks
    Christopher James Langmead, and Sumit Kumar Jha
    J. Bioinform. Comput. Biol., 2009
  2. A Bayesian Approach to Model Checking Biological Systems
    Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, and Paolo Zuliani
    In Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, 2009

2008

  1. Symbolic Approaches for Finding Control Strategies in Boolean Networks
    Christopher James Langmead, and Sumit Kumar Jha
    In Proceedings of the 6th Asia-Pacific Bioinformatics Conference, APBC 2008, 14-17 January 2008, Kyoto, Japan, 2008
  2. Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
    Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, and Axel Legay
    In Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, 2008
  3. Randomization Based Probabilistic Approach to Detect Trojan Circuits
    Susmit Jha, and Sumit Kumar Jha
    In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, 2008
  4. Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking
    Sumit Kumar Jha, and Susmit Jha
    In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, 2008
  5. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
    Goran Frehse, Sumit Kumar Jha, and Bruce H. Krogh
    In Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, 2008
  6. d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
    Sumit Kumar Jha
    In Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, 2008

2007

  1. Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
    Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, and Edmund M. Clarke
    In Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, 2007
  2. Verification of Object Relational Maps
    Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, and Sumit Kumar Jha
    In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, 2007
  3. Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
    Christopher James Langmead, and Sumit Kumar Jha
    In Algorithms in Bioinformatics, 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings, 2007
  4. Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
    Sumit Kumar Jha
    CoRR, 2007

2006

  1. Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming
    Xuandong Li, Sumit Jha Aanand, and Lei Bu
    In Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, 2006
  2. Model Checking For Fault Explanation
    Shengbing Jiang, Thomas E. Fuhrman, and Sumit Kumar Jha
    In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, 2006

2005

  1. Refining Abstractions of Hybrid Systems Using Counterexample Fragments
    Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, and Bruce H. Krogh
    In Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, 2005
  2. Temporal Logic Model Checking
    Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, and Helmut Veith
    In Handbook of Networked and Embedded Control Systems, 2005