Overview
research interests
- Artificial Intelligence, Quantum Computing, Logic and Automata Theory, Emerging Architectures
Scholarly & Creative Works
selected scholarly works & creative activities
-
Article
-
2025A state-of-the-art survey on noise removal in a non-stationary signal using adaptive finite impulse response filtering: challenges, techniques, and applications. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE. 56:885-918.Full Text via DOI: 10.1080/00207721.2024.2409850
-
2025LOGIC: Logic Synthesis for Digital In-Memory Computing. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. 30.Full Text via DOI: 10.1145/3711848
-
2024PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 43:1387-1400.Full Text via DOI: 10.1109/TCAD.2023.3344523 Web of Science: 001225897600006
-
2023STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 42:3854-3867.Full Text via DOI: 10.1109/TCAD.2023.3263723 Web of Science: 001098114300029
-
2022COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 41:4600-4611.Full Text via DOI: 10.1109/TCAD.2021.3138356 Web of Science: 000877295000091
-
2022XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 41:1827-1841.Full Text via DOI: 10.1109/TCAD.2021.3097299 Web of Science: 000799624800022
-
2021Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO2-Based ReRAM Arrays. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS. 68:2900-2910.Full Text via DOI: 10.1109/TCSI.2021.3072210 Web of Science: 000658349200013
-
2021A formula for the number of non-negative integer solutions of a(1)x(1)Full Text via DOI: 10.7546/nntdm.2021.27.2.64-69 Web of Science: 000665848000008
-
2020Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits1. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS. 67:961-965.Full Text via DOI: 10.1109/TCSII.2020.2984155 Web of Science: 000531324100033
-
2020Attacking NIST biometric image software using nonlinear optimization. PATTERN RECOGNITION LETTERS. 131:79-84.Full Text via DOI: 10.1016/j.patrec.2019.12.003 Web of Science: 000521971700012
-
2018Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS. 65:622-626.Full Text via DOI: 10.1109/TCSII.2018.2821678 Web of Science: 000431451700020
-
2017A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC BIOINFORMATICS. 18.Full Text via DOI: 10.1186/s12859-017-1662-4 Web of Science: 000410134600004
-
2015Automated parameter estimation for biological models using Bayesian statistical model checking. BMC BIOINFORMATICS. 16.Full Text via DOI: 10.1186/1471-2105-16-S17-S8 Web of Science: 000367880900008
-
2013Big-Data-Driven Control Strategies for Complex NetworksFull Text via DOI: 10.4172/2165-7866.1000e117
-
2012Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC BIOINFORMATICS. 13.Full Text via DOI: 10.1186/1471-2105-13-S5-S8 Web of Science: 000303938200008
-
2011Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. THEORETICAL COMPUTER SCIENCE. 412:2162-2187.Full Text via DOI: 10.1016/j.tcs.2011.01.012 Web of Science: 000290078000007
-
2011Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models. JOURNAL OF CRITICAL CARE. 26:e8.Full Text via DOI: 10.1016/j.jcrc.2010.12.031
-
2007Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear ProgrammingFull Text via DOI: 10.1016/j.entcs.2006.12.023 Web of Science: 000214230800006
-
-
Book Chapter
-
2025Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks. 263-283.Full Text via DOI: 10.1007/978-3-031-74835-6_13 Web of Science: 001416979800013
-
2018: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. 277-292.Full Text via DOI: 10.1007/978-3-319-75650-9_18
-
2018Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. 235-251.Full Text via DOI: 10.1007/978-3-030-00151-3_14 Web of Science: 000884993200014
-
-
Conference
-
2024Synthesis of Compact Flow-based Computing Circuits from Boolean ExpressionsFull Text via DOI: 10.1145/3649329.3657340
-
2024Co-Synthesis of Code and Formal Models Using Large Language Models and Functors. 215-220.Full Text via DOI: 10.1109/MILCOM61039.2024.10773930 Web of Science: 001419571100072
-
2024Human Fatality Estimation in Aircraft Accidents. 190-193.Full Text via DOI: 10.1109/NAECON61878.2024.10670669 Web of Science: 001323558600035
-
2024Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics. 633-638.Full Text via DOI: 10.1109/MILCOM61039.2024.10773812 Web of Science: 001419571100122
-
2024Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. 114-117.Full Text via DOI: 10.1109/ICAA64256.2024.00027
-
2024Neuro-symbolic Generative AI Assistant for System Design. 75-76.Full Text via DOI: 10.1109/MEMOCODE63347.2024.00023 Web of Science: 001411691000009
-
2024READ-based In-Memory Computing using Sentential Decision Diagrams. 818-823.Full Text via DOI: 10.1109/ASP-DAC58780.2024.10473963 Web of Science: 001196002900131
-
2024Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. 118-121.Full Text via DOI: 10.1109/ICAA64256.2024.00028
-
2024Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. 812-817.Full Text via DOI: 10.1109/ASP-DAC58780.2024.10473850 Web of Science: 001196002900130
-
2023Adversarial Pixel and Patch Detection Using Attribution AnalysisFull Text via DOI: 10.1109/MILCOM58377.2023.10356375 Web of Science: 001156887600121
-
2023Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. DISTRIBUTED COMPUTING (DISC 2014). 501-516.Full Text via DOI: 10.1007/978-3-031-25056-9_32
-
2023Automated Synthesis for In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323667 Web of Science: 001116715100031
-
2023Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability SolvingFull Text via DOI: 10.1109/MILCOM58377.2023.10356332 Web of Science: 001156887600158
-
2023Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. 149-152.Full Text via DOI: 10.1109/ICAA58325.2023.00029 Web of Science: 001050787900021
-
2023Discovering the In-Memory Kernels of 3D Dot-Product Engines. 240-245.Full Text via DOI: 10.1145/3566097.3567855 Web of Science: 000981940000043
-
2023FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. 775-780.Full Text via DOI: 10.1145/3566097.3567937 Web of Science: 000981940000127
-
2023Input-Aware Flow-Based In-Memory Computing. 523-530.Full Text via DOI: 10.1109/ICCD58817.2023.00086 Web of Science: 001146866200075
-
2023Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated EmissionsFull Text via DOI: 10.1109/MILCOM58377.2023.10356358 Web of Science: 001156887600112
-
2023Path-based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323622 Web of Science: 001116715100009
-
2023UpTime: Towards Flow-based In-Memory Computing with High Fault-ToleranceFull Text via DOI: 10.1109/DAC56929.2023.10247692 Web of Science: 001073487300032
-
2023Verification of Flow-Based Computing Systems Using Bounded Model Checking. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323708 Web of Science: 001116715100058
-
2022Comparison of Different-Image Fusion Techniques in Wavelet Domain. 1-6.Full Text via DOI: 10.1109/upcon56432.2022.9986490
-
2022A Survey on Reinforcement Learning based Adaptive Optimal Control Design. 254-260.Full Text via DOI: 10.1109/icsc56524.2022.10009252
-
2022Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. 50-53.Full Text via DOI: 10.1109/AICAS54282.2022.9869979 Web of Science: 000859273200014
-
2022Equivalence Checking for Flow-Based Computing. 656-663.Full Text via DOI: 10.1109/ICCD56317.2022.00101 Web of Science: 000925873100090
-
2022ExplainIt! A Tool for Computing Robust Attributions of DNNs. 5916-5919.Web of Science: 001202342306009
-
2022Hybrid Digital-Digital In-Memory Computing. 1177-1180.Web of Science: 000819484300222
-
2022Logic Synthesis for Digital In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1145/3508352.3549348 Web of Science: 000981574300089
-
2022PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing. 1129-1134.Full Text via DOI: 10.1145/3489517.3530596 Web of Science: 001041471300188
-
2022STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. 690-695.Web of Science: 001228322500117
-
2022Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. 9567-9574.Web of Science: 000893639102066
-
2022Towards Resilient Analog In-Memory Deep Learning via Data Layout Re-Organization. 859-864.Full Text via DOI: 10.1145/3489517.3530532 Web of Science: 001041471300144
-
2021Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. 379-384.Full Text via DOI: 10.1145/3453688.3461746
-
2021Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. 30-35.Full Text via DOI: 10.1109/XLOOP54565.2021.00010 Web of Science: 000758608400005
-
2021Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision ProceduresFull Text via DOI: 10.1109/ISCAS51556.2021.9401587 Web of Science: 000706507900110
-
2021Automated synthesis of memristor crossbars using deep neural networks. 345-357.Full Text via DOI: 10.1007/978-981-15-5679-1_32
-
2021COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. 232-237.Full Text via DOI: 10.23919/DATE51398.2021.9473995 Web of Science: 000805289900044
-
2021Hybrid Analog-Digital In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD51958.2021.9643526 Web of Science: 000747493600091
-
2021On Smoother Attributions using Neural Stochastic Differential Equations. 522-528.Web of Science: 001202335500073
-
2020Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. DISTRIBUTED COMPUTING (DISC 2014). 220-235.Full Text via DOI: 10.1007/978-3-030-66415-2_14
-
2020DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1145/3400302.3415683 Web of Science: 000671087100146
-
2020Detecting Deepfake Videos using Attribution-Based Confidence Metric. 1250-1259.Full Text via DOI: 10.1109/CVPRW50498.2020.00162 Web of Science: 000788279001041
-
2019Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. 580-591.Full Text via DOI: 10.1109/JETCAS.2019.2933774 Web of Science: 000487198700014
-
2019
-
2019Data-driven Approximate Edge Detection using Flow-based Computing on Memristor CrossbarsFull Text via DOI: 10.1109/ans47466.2019.8963745 Web of Science: 000540919300008
-
2019
-
2019Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. 1721-1729.Full Text via DOI: 10.1109/ICCVW.2019.00213 Web of Science: 000554591601095
-
2019Towards ai-driven predictive modeling of turbines using big dataFull Text via DOI: 10.2514/6.2019-4385
-
2018Memory-Efficient Filter Based Novel Policy Iteration Technique for Adaptive LQR. 4963-4968.Full Text via DOI: 10.23919/acc.2018.8431061
-
20183D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. 171-178.Full Text via DOI: 10.1109/ICCD.2018.00035 Web of Science: 000458293200024
-
2018Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. 95-98.Full Text via DOI: 10.1145/3210377.3210657 Web of Science: 000545269600012
-
2018Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. 179-184.Web of Science: 000458654000033
-
2018Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. 107-113.Full Text via DOI: 10.1145/3232195.3232222 Web of Science: 000457790100020
-
2018In-Memory Computing Using Paths-Based Logic and Heterogeneous Components. 1512-1515.Web of Science: 000435148800285
-
2018Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. 347-352.Full Text via DOI: 10.1109/IPDPSW.2018.00066 Web of Science: 000541051600042
-
2018SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. DISTRIBUTED COMPUTING (DISC 2014). 277-292.Full Text via DOI: 10.1007/978-3-319-75650-9_18 Web of Science: 000455448700018
-
2017In-memory execution of compute kernels using flow-based memristive crossbar computing. 1-6.Full Text via DOI: 10.1109/ICRC.2017.8123643
-
2017Adversarial attacks on computer vision algorithms using natural perturbations. 1-6.Full Text via DOI: 10.1109/IC3.2017.8284294
-
2017Adversarial Attacks on Computer Vision Algorithms using Natural Perturbations. 55-60.Web of Science: 000425895300010
-
2017Automated synthesis of compact crossbars for sneak-path based in-memory computing. 770-775.Web of Science: 000404171500145
-
2017Computation of Boolean Matrix Chain Products in 3D ReRAM. 2643-2646.Web of Science: 000439261800175
-
2017Design of Compact Memristive In-Memory Computing Systems using Model Counting. 2655-2658.Web of Science: 000439261800178
-
2017In-Memory Execution of Compute Kernels using Flow-based Memristive Crossbar Computing. 69-74.Web of Science: 000425037900013
-
2017
-
2017Work-in-Progress: Testing Autonomous Cyber-Physical Systems using Fuzzing Features from Convolutional Neural NetworksFull Text via DOI: 10.1145/3125503.3125568 Web of Science: 000463897600001
-
2016Automated Synthesis of Stochastic Computational Elements using Decision Procedures. 1678-1681.Web of Science: 000390094701209
-
2016Flow-based Computing on Nanoscale Crossbars: Design and Implementation of Full Adders. 1870-1873.Web of Science: 000390094701255
-
2016Parallel Boolean Matrix Multiplication in Linear Time using Rectifying Memristors. 1874-1877.Web of Science: 000390094702001
-
2016
-
2015Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods. 130-136.Web of Science: 000380908200025
-
2015Distributed Markov Chains. DISTRIBUTED COMPUTING (DISC 2014). 117-134.Web of Science: 000354784200007
-
2015Fault-Tolerant In-Memory Crossbar Computing using Quantified Constraint Solving. 101-108.Web of Science: 000370645200014
-
2014
-
2012Quantifying Uncertainty in Epidemiological Models. 80-85.Full Text via DOI: 10.1109/BioMedCom.2012.20 Web of Science: 000323455700014
-
2011Exploring behaviors of SDE models of biological systems using change of measures. 111-116.Full Text via DOI: 10.1109/ICCABS.2011.5729862
-
2011Poster: Synthesis of Biochemical Models. 248-248.Full Text via DOI: 10.1109/iccabs.2011.5729901
-
2011When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost. 1309-1314.Web of Science: 000410278900251
-
2009Symbolic approaches for finding control strategies in boolean networks. 323-338.Full Text via DOI: 10.1142/S0219720009004084
-
2009A Bayesian Approach to Model Checking Biological Systems. DISTRIBUTED COMPUTING (DISC 2014). 218-+.Web of Science: 000276319600015
-
2008A counterexample-guided approach to parameter synthesis for linear hybrid automata. DISTRIBUTED COMPUTING (DISC 2014). 187-+.Web of Science: 000254857900014
-
2008Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata. 147-+.Full Text via DOI: 10.1109/HASE.2008.38 Web of Science: 000263156000015
-
2008Randomization Based Probabilistic Approach to Detect Trojan Circuits. 117-+.Full Text via DOI: 10.1109/HASE.2008.37 Web of Science: 000263156000012
-
2008Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. DISTRIBUTED COMPUTING (DISC 2014). 231-+.Web of Science: 000260924200015
-
2008d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata. DISTRIBUTED COMPUTING (DISC 2014). 618-621.Web of Science: 000254857900048
-
2007Predicting protein folding kinetics via temporal logic model checking. DISTRIBUTED COMPUTING (DISC 2014). 252-264.Full Text via DOI: 10.1007/978-3-540-74126-8_24
-
2007Predicting protein folding kinetics via temporal logic model checking (Extended abstract). DISTRIBUTED COMPUTING (DISC 2014). 252-+.Web of Science: 000249739200023
-
2007Reachability for linear hybrid automata using iterative relaxation abstraction. DISTRIBUTED COMPUTING (DISC 2014). 287-+.Web of Science: 000246007000021
-
2007Verification of object relational maps. 283-292.Full Text via DOI: 10.1109/SEFM.2007.39 Web of Science: 000251162400029
-
2006Model checking for fault explanation. 405-+.Web of Science: 000252251604144
-
2005Refining abstractions of hybrid systems using counterexample fragments. DISTRIBUTED COMPUTING (DISC 2014). 242-257.Web of Science: 000229036300016
-
Editorial Material
-
2021Preface. DISTRIBUTED COMPUTING (DISC 2014). v.
-
-
Other Scholarly Work
-
2024Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. 5289-5297.Web of Science: 001239936300022
-
2021Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). JOURNAL OF COMPUTATIONAL BIOLOGY. 1033-1034.Full Text via DOI: 10.1089/cmb.2021.29048.skj Web of Science: 001087738500001
-
-
Preprint
-
2023On the Robustness of AlphaFold: A COVID-19 Case StudyFull Text via DOI: 10.48550/arxiv.2301.04093
-
2022A Game-theoretic Understanding of Repeated Explanations in ML ModelsFull Text via DOI: 10.48550/arxiv.2202.02659
-
Report
-
Review
-
2022A survey on the vulnerability of deep neural networks against adversarial attacks. 131-141.Full Text via DOI: 10.1007/s13748-021-00269-9 Web of Science: 000742996400001
-
Research
principal investigator on
- Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods awarded by National Science Foundation 2023 - 2027
- INSTA-AI: Integrating Neural Representation and their Symbolic Twins for Assured AI awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2027
- Mobilizing the Emerging Diverse AI Talent (MEDAL) through Design and Automated Control of Autonomous Scientific Laboratories awarded by U.S. Department of Energy 2023 - 2026
- AI-CRAFT: Artificial Intelligence Cybersecurity Readiness and Future Training awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2025
- RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis awarded by U.S. Air Force Research Laboratory 2023 - 2025
- PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions awarded by U.S. Air Force Research Laboratory 2023 - 2025
- Collaborative Research: SPX: Collaborative Research: Automated Synthesis of Extreme-Scale Computing Systems Using Non-Volatile Memory awarded by National Science Foundation 2023 - 2024
- Robust Explanations using Diverse Adversarially Trained Ensembles, Multi-Modal Contrastive Learning, and Attribution-based Confidence Metrics awarded by U.S. Department of Energy 2023 - 2024
- Attributions and Learning Dynamics based Adaptive Defense and Robustness Metric (ALARM) awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2024
Contact
full name
- Sumit Jha
Identifiers
ORCID iD
- https://orcid.org/0000-0003-0354-2940 (confirmed)
