A probabilistic approach for counterexample generation to aid design debugging. - Payman Behnam; Hossein Sabaghian Bidgoli; Bijan Alizadeh; Kamyar Mohajerani; Zainalabedin Navabi (EWDTS, 2013)

Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs. - Bijan Alizadeh; Payman Behnam (Microprocess. Microsystems, 2013)

Automatic correction of certain design errors using mutation technique. - Payman Behnam; Bijan Alizadeh; Zainalabedin Navabi (ETS, 2014)

Improving polynomial datapath debugging with HEDs. - Somayeh Sadeghi Kohan; Payman Behnam; Bijan Alizadeh; Masahiro Fujita; Zainalabedin Navabi (ETS, 2014)

Hybrid history-based test overlapping to reduce test application time. - Vahid Janfaza; Bahjat Forouzandeh; Payman Behnam; Mohammadreza Najafi (EWDTS, 2014)

A Low-Power Enhanced Bitmask-Dictionary Scheme for Test Data Compression. - Vahid Janfaza; Payman Behnam; Bahjat Forouzandeh; Bijan Alizadeh (ISVLSI, 2014)

Formal Verification and Debugging of Array Dividers with Auto-correction Mechanism. - M. H. Haghbayan; Bijan Alizadeh; Payman Behnam; Saeed Safari (VLSID, 2014)

In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms. - Payman Behnam; Bijan Alizadeh (ATS, 2015)

A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. - Bijan Alizadeh; Payman Behnam; Somayeh Sadeghi Kohan (IEEE Trans. Computers, 2015)

Formally analyzing fault tolerance in datapath designs using equivalence checking. - Payman Behnam; Bijan Alizadeh; Sajjad Taheri; Masahiro Fujita (ASP-DAC, 2016)

High-Speed Hardware Implementation of Fixed and Runtime Variable Window Length 1-D Median Filters. - Eesa Nikahd; Payman Behnam; Reza Sameni (IEEE Trans. Circuits Syst. II Express Briefs, 2016)

A novel SAT-based ATPG approach for transition delay faults. - Farzaneh Zokaee; Hossein Sabaghian Bidgoli; Vahid Janfaza; Payman Behnam; Zainalabedin Navabi (HLDVT, 2017)

Reducing Search Space for Fault Diagnosis: A Probability-Based Scoring Approach. - Hossein Sabaghian Bidgoli; Payman Behnam; Bijan Alizadeh; Zainalabedin Navabi (ISVLSI, 2017)

Adaptive Time-based Encoding for Energy-Efficient Large Cache Architectures. - Payman Behnam; Naser Sedaghati; Mahdi Nazm Bojnordi (E2SC@SC, 2017)

Automated Formal Equivalence Verification of Pipelined Nested Loops in Datapath Designs. - Payman Behnam; Bijan Alizadeh; Sajjad Taheri (CoRR, 2017)

Acceleration Framework for FPGA Implementation of OpenVX Graph Pipelines. - Sajjad Taheri; Jin Heo; Payman Behnam; Jeffrey Chen; Alexander V. Veidenbaum; Alexandru Nicolau (FCCM, 2018)

R-Cache: A Highly Set-Associative In-Package Cache Using Memristive Arrays. - Payman Behnam; Arjun Pal Chowdhury; Mahdi Nazm Bojnordi (ICCD, 2018)

Validation of Hardware Security and Trust: A Survey. - Payman Behnam (CoRR, 2018)

Accelerating k-Medians Clustering Using a Novel 4T-4R RRAM Cell. - Yomi Karthik Rupesh; Payman Behnam; Goverdhan Reddy Pandla; Manikanth Miryala; Mahdi Nazm Bojnordi (IEEE Trans. Very Large Scale Integr. Syst., 2018)

STFL: Energy-Efficient Data Movement with Slow Transition Fast Level Signaling. - Payman Behnam; Mahdi Nazm Bojnordi (DAC, 2019)

AFFIX: Automatic Acceleration Framework for FPGA Implementation of OpenVX Vision Algorithms. - Sajjad Taheri; Payman Behnam; Eli Bozorgzadeh; Alexander V. Veidenbaum; Alexandru Nicolau (FPGA, 2019)

RedCache: Reduced DRAM Caching. - Payman Behnam; Mahdi Nazm Bojnordi (DAC, 2020)

STFL-DDR: Improving the Energy-Efficiency of Memory Interface. - Payman Behnam; Mahdi Nazm Bojnordi (IEEE Trans. Computers, 2020)

TinyADC: Peripheral Circuit-aware Weight Pruning Framework for Mixed-signal DNN Accelerators. - Geng Yuan; Payman Behnam; Yuxuan Cai 001; Ali Shafiee; Jingyan Fu; Zhiheng Liao; Zhengang Li; Xiaolong Ma; Jieren Deng; Jinhui Wang; Mahdi Nazm Bojnordi; Yanzhi Wang; et al. (DATE, 2021)

FORMS: Fine-grained Polarized ReRAM-based In-situ Computation for Mixed-signal DNN Accelerator. - Geng Yuan; Payman Behnam; Zhengang Li; Ali Shafiee; Sheng Lin 001; Xiaolong Ma; Hang Liu 001; Xuehai Qian; Mahdi Nazm Bojnordi; Yanzhi Wang; Caiwen Ding (ISCA, 2021)

CoDG-ReRAM: An Algorithm-Hardware Co-design to Accelerate Semi-Structured GNNs on ReRAM. - Yixuan Luo; Payman Behnam; Kiran Thorat; Zhuo Liu; Hongwu Peng; Shaoyi Huang; Shu Zhou; Omer Khan; Alexey Tumanov; Caiwen Ding; Tong Geng (ICCD, 2022)

An Algorithm-Hardware Co-design Framework to Overcome Imperfections of Mixed-signal DNN Accelerators. - Payman Behnam; Uday Kamal; Saibal Mukhopadhyay (CoRR, 2022)

Adaptively Reduced DRAM Caching for Energy-Efficient High Bandwidth Memory. - Payman Behnam; Mahdi Nazm Bojnordi (IEEE Trans. Computers, 2022)

Stereo: Assignment and Scheduling in MPSoC Under Process Variation by Combining Stochastic and Decomposition Approaches. - Behnam Khodabandeloo; Ahmad Khonsari; Payman Behnam; Alireza Majidi; Mohammad Hassan Hajiesmaili (IEEE Trans. Computers, 2022)

Subgraph Stationary Hardware-Software Inference Co-Design. - Payman Behnam; Alexey Tumanov; Tushar Krishna; Pranav Gadikar; Yangyu Chen; Jianming Tong; Yue Pan; Abhimanyu Rajeshkumar Bambhaniya; Alind Khare (MLSys, 2023)

ABKD: Graph Neural Network Compression with Attention-Based Knowledge Distillation. - Anshul Ahluwalia; Rohit Das; Payman Behnam; Alind Khare; Pan Li 005; Alexey Tumanov (CoRR, 2023)

Hardware-Software Co-Design for Real-Time Latency-Accuracy Navigation in Tiny Machine Learning Applications. - Payman Behnam; Jianming Tong; Alind Khare; Yangyu Chen; Yue Pan; Pranav Gadikar; Abhimanyu Bambhaniya; Tushar Krishna; Alexey Tumanov (IEEE Micro, 2023)

SuperFedNAS: Cost-Efficient Federated Neural Architecture Search for On-device Inference. - Alind Khare; Animesh Agrawal; Aditya Annavajjala; Payman Behnam; Myungjin Lee; Hugo Latapie; Alexey Tumanov (ECCV (79), 2024)

Harmonica: Hybrid Accelerator to Overcome Imperfections of Mixed-signal DNN Accelerators. - Payman Behnam; Uday Kamal; Ali Shafiee; Alexey Tumanov; Saibal Mukhopadhyay (IPDPS, 2024)

Zero-Space Cost Fault Tolerance for Transformer-based Language Models on ReRAM. - Bingbing Li; Geng Yuan; Zigeng Wang; Shaoyi Huang; Hongwu Peng; Payman Behnam; Wujie Wen; Hang Liu 001; Caiwen Ding (CoRR, 2024)

∇QDARTS: Quantization as an Elastic Dimension to Differentiable NAS. - Payman Behnam; Uday Kamal; Sanjana Vijay Ganesh; Zhaoyi Li; Michael Jurado; Alind Khare; Igor Fedorov; Gaowen Liu; Alexey Tumanov (Trans. Mach. Learn. Res., 2025)

RocketKV: Accelerating Long-Context LLM Inference via Two-Stage KV Cache Compression. - Payman Behnam; Yaosheng Fu; Ritchie Zhao; Po-An Tsai; Zhiding Yu; Alexey Tumanov (CoRR, 2025)

EMPIRIC: Exploring Missing Pieces in KV Cache Compression for Reducing Computation, Storage, and Latency in Long-Context LLM Inference. - Payman Behnam; Yaosheng Fu; Ritchie Zhao; Po-An Tsai; Zhiding Yu; Alexey Tumanov (ACM SIGOPS Oper. Syst. Rev., 2025)

Toward Weight Sharing Paradigm for Efficient AI: Training and Inference Serving. - Payman Behnam; Alind Khare; Dhruv Garg; Alexey Tumanov (ACM SIGOPS Oper. Syst. Rev., 2025)