Yangdi Lyu - RankMe

39 papers A* 1A 11C 4Journal 16Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning. CoRR Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2026	—	`conf`	AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code. ASP-DAC Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2026	J	`jnl`	DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification. ACM Trans. Design Autom. Electr. Syst. Yuntao Lu, Chen Bai, Yuxuan Zhao, Ziyue Zheng, Yangdi Lyu, Mingyu Liu, Bei Yu
2026	—	`conf`	FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design. ASP-DAC Xiangchen Meng, Yangdi Lyu
2025	A*	`conf`	An Enhanced Data Packing Method for General Matrix Multiplication in Brakerski/Fan-Vercauteren Scheme. DAC Xiangchen Meng, Yan Tan, Zijun Jiang, Yangdi Lyu
2025	J	`jnl`	AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code. CoRR Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2025	C	`conf`	BNRV: A Lightweight SIMD Extension for Efficient BitNet Inference on RISC-V CPUs. ICCD Zijun Jiang, Yangdi Lyu
2025	A	`conf`	COTIA: Concolic Testing with Intelligent Agent. ICCAD Yan Tan, Xiangchen Meng, Yangdi Lyu
2025	A	`conf`	CPP-SGS: Cycle-Accurate Power Prediction Framework via SNN and Genetic Signal Selection. DATE Tong Liu, Zijun Jiang, Yangdi Lyu
2025	A	`conf`	DuSGAI: A Dual-Side Sparse GEMM Accelerator with Flexible Interconnects. DATE Wujie Zhong, Yangdi Lyu
2025	J	`jnl`	FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design. CoRR Xiangchen Meng, Yangdi Lyu
2025	C	`conf`	Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. ICCD Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu
2025	A	`conf`	Invited Paper: CURE-Fuzz: Curiosity-Driven Reinforcement Learning for Agile Hardware Testing. ICCAD Hanwei Fan, Ya Wang, Xiaofeng Zhou, Sicheng Li, Binguang Zhao, Yangdi Lyu, Jiang Xu, Wei Zhang
2025	—	`conf`	LLM-assisted Path Exploration for RTL Verification. MLCAD Yan Tan, Xiangchen Meng, Yangdi Lyu
2025	—	`conf`	MACO: A HW-Mapping Co-optimization Framework for DNN Accelerators. ASP-DAC Wujie Zhong, Zijun Jiang, Yangdi Lyu
2025	A	`conf`	MiCo: End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI. ICCAD Zijun Jiang, Yangdi Lyu
2025	J	`jnl`	MiCo: End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI. CoRR Zijun Jiang, Yangdi Lyu
2024	C	`conf`	APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration. ICCD Ziyue Zheng, Xiangchen Meng, Yangdi Lyu
2024	C	`conf`	Efficient Microprocessor Design Space Exploration via Space Partitioning. ICCD Zijun Jiang, Yangdi Lyu
2024	J	`jnl`	HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform. CoRR Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2024	A	`conf`	Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization. DATE Zijun Jiang, Yangdi Lyu
2023	A	`conf`	STSearch: State Tracing-based Search Heuristics for RTL Validation. DATE Ziyue Zheng, Yangdi Lyu
2022	J	`jnl`	A Survey on Assertion-based Hardware Verification. ACM Comput. Surv. Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra
2021	J	`jnl`	Directed Test Generation for Activation of Security Assertions in RTL Models. ACM Trans. Design Autom. Electr. Syst. Hasini Witharana, Yangdi Lyu, Prabhat Mishra
2021	J	`jnl`	MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns. ACM Trans. Design Autom. Electr. Syst. Yangdi Lyu, Prabhat Mishra
2021	J	`jnl`	Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yangdi Lyu, Prabhat Mishra
2021	J	`jnl`	Scalable Concolic Testing of RTL Models. IEEE Trans. Computers Yangdi Lyu, Prabhat Mishra
2020	—	`conf`	Automated Test Generation for Activation of Assertions in RTL Models. ASP-DAC Yangdi Lyu, Prabhat Mishra
2020	A	`conf`	Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. DATE Yangdi Lyu, Prabhat Mishra
2020	—	`conf`	Automated Trigger Activation by Repeated Maximal Clique Sampling. ASP-DAC Yangdi Lyu, Prabhat Mishra
2020	J	`jnl`	Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Subodha Charles, Yangdi Lyu, Prabhat Mishra
2020	J	`jnl`	System-on-Chip Security Assertions. CoRR Yangdi Lyu, Prabhat Mishra
2019	A	`conf`	Automated Activation of Multiple Targets in RTL Models using Concolic Testing. DATE Yangdi Lyu, Alif Ahmed, Prabhat Mishra
2019	J	`jnl`	Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra
2019	A	`conf`	Efficient Test Generation for Trojan Detection using Side Channel Analysis. DATE Yangdi Lyu, Prabhat Mishra
2019	A	`conf`	Real-time Detection and Localization of DoS Attacks in NoC based SoCs. DATE Subodha Charles, Yangdi Lyu, Prabhat Mishra
2018	J	`jnl`	A Survey of Side-Channel Attacks on Caches and Countermeasures. J. Hardw. Syst. Secur. Yangdi Lyu, Prabhat Mishra
2016	—	`conf`	A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains. CCCG Yangdi Lyu, Alper Üngör
2016	J	`jnl`	A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains. CoRR Yangdi Lyu, Alper Üngör