Sumit Kumar Jha

Employment

• University of Florida Professor
  2025 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (134)

• LOGIC: Logic Synthesis for Digital In-Memory Computing
  ACM Transactions on Design Automation of Electronic Systems 2025 DOI: 10.1145/3711848
  +Save
• Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks
  Lecture Notes in Computer Science 2025 DOI: 10.1007/978-3-031-74835-6_13
  +Save
• Equivalence Checking for Flow-Based Computing using Iterative SAT Solving
  2024 DOI: 10.1145/3676536.3676721
  +Save
• Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences
  IEEE Transactions on Artificial Intelligence 2024 DOI: 10.1109/TAI.2024.3353708
  +Save
• Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation
  2024 DOI: 10.1145/3649329.3657348
  +Save
• On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers
  2024 DOI: 10.1145/3649329.3658253
  +Save
• Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions
  2024 DOI: 10.1145/3649329.3657340
  +Save
• Co-Synthesis of Code and Formal Models Using Large Language Models and Functors
  Proceedings of IEEE Military Communications Conference 2024 DOI: 10.1109/MILCOM61039.2024.10773930
  +Save
• Neuro-symbolic Generative AI Assistant for System Design
  Proceedings of the ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) 2024 DOI: 10.1109/MEMOCODE63347.2024.00023
  +Save
• STREAM: 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 2023 DOI: 10.1109/TCAD.2023.3263723
  +Save