publications

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

2025

  1. LOGIC: Logic Synthesis for Digital In-Memory Computing
    Muhammad Rashedul Haq, Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    Transactions on Design Automation of Electronic Systems, Jan 2025
    Accepted for publication
  2. 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), Jan 2025
    PDF
  3. 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), Jan 2025
  4. 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, Jan 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, Jan 2024
    PDF
  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), Jan 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, Jan 2024
    PDF
  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, Jan 2024
    PDF
  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), Jan 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), Jan 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), Jan 2024
    PDF
  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), Jan 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), Jan 2024
    PDF
  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), Jan 2024
    PDF
  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), Jan 2024
    PDF
  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), Jan 2024
    PDF
  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), Jan 2024
    PDF
  14. Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics
    L. Pullum, SK Jha, and R. Ewetz
    IEEE Military Communications Conference (MILCOM), Jan 2024
    PDF
  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, Jan 2024
    PDF
  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), Jan 2024
    PDF
  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., Jan 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., Jan 2024
    PDF
  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, Jan 2024
    PDF
  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, Jan 2024
    PDF
  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, Jan 2024
    PDF
  22. Data Augmentation for Image Classification using Generative AI
    Fazle Rahat, M. Shifat Hossain, Md Rubel Ahmed, Sumit Kumar Jha, and Rickard Ewetz
    CoRR, Jan 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, Jan 2023
    BEST PAPER CANDIDATE
    PDF
  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, Jan 2023
    PDF
  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, Jan 2023
    PDF
  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, Jan 2023
    PDF
  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, Jan 2023
    PDF
  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, Jan 2023
    PDF
  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, Jan 2023
    PDF
  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., Jan 2023
    PDF
  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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2022
    Oral Presentation
    PDF
  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, Jan 2022
    PDF
  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, Jan 2022
    BEST PAPER CANDIDATE
    PDF
  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., Jan 2022
    PDF
  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., Jan 2022
    PDF
  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, Jan 2022
    PDF
  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), Jan 2022
    PDF
  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, Jan 2022
    PDF
  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, Jan 2022
    PDF
  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, Jan 2022
    PDF
  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, Jan 2022
    PDF
  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, Jan 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, Jan 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, Jan 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., Jan 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, Jan 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, Jan 2021
    PDF
  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, Jan 2021
    BEST PAPER CANDIDATE
    PDF
  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, Jan 2021
    PDF
  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., Jan 2021
    PDF
  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, Jan 2021
    PDF
  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., Jan 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, Jan 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, Jan 2021
  9. Computational Advances in Bio and Medical Sciences - 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers
    Jan 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, Jan 2021
  11. Protein Folding Neural Networks Are Not Robust
    Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, and Susmit Jha
    CoRR, Jan 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, Jan 2020
    PDF
  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, Jan 2020
    PDF
  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., Jan 2020
    PDF
  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, Jan 2020
    PDF
  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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2019
    PDF
  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, Jan 2019
    PDF
  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., Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2018
    PDF
  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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2018
    PDF
  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, Jan 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, Jan 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., Jan 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, Jan 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, Jan 2017
    PDF
  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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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., Jan 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, Jan 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, Jan 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, Jan 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, Jan 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., Jan 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., Jan 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, Jan 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, Jan 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, Jan 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, Jan 2014
  7. Distributed Markov Chains
    Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, and P. S. Thiagarajan
    CoRR, Jan 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., Jan 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., Jan 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., Jan 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, Jan 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, Jan 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, Jan 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., Jan 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, Jan 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, Jan 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, Jan 2011

2010

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

2009

  1. Symbolic Approaches for Finding Control Strategies in Boolean Networks
    Christopher James Langmead, and Sumit Kumar Jha
    J. Bioinform. Comput. Biol., Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2007
  4. Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
    Sumit Kumar Jha
    CoRR, Jan 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, Jan 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, Jan 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, Jan 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, Jan 2005