Minghua Wang

1. DRAMDig: A Knowledge-assisted Tool to Uncover DRAM Address Mapping
   2020/04/05 by Minghua Wang, Wang, Minghua, Zhi Zhang +5 · 6 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques #Security and Verification in Computing
2. Tensor Decompositions for Hyperspectral Data Processing in Remote Sensing: A Comprehensive Review
   2022/05/13 by Minghua Wang, Wang, Minghua, Danfeng Hong +13 · 2 citations
   Earth and Planetary Sciences · Engineering · Mathematics · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Geophysics and Gravity Measurements #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #Sparse and Compressive Sensing Techniques #Tensor decomposition and applications #electronic engineering #information engineering
3. KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
   2026/07/24 by Minghua Wang, Yuxi Ling, Mingzhi Gao +2
   #cs.SE #cs.CR
4. HarnessLLM: Rust Verification Harness Generation with Large Language Models
   2026/07/24 by Minghua Wang, Yuwei Liu, Lin Huang
   #cs.SE #cs.CR
5. Filling Before Advancing: Capability-Gap-Driven Post-Training for Scenario-Specialized Remote Sensing MLLMs
   2026/07/24 by Yuheng Zong, Minghua Wang, Xin Zhao +3
   #cs.CV #cs.AI
6. The alleviating effect and mechanism of selenium on mercury toxicity in a marine copepod
   2026/07/16 by Yunting Wang, Fankang Zhao, Weidong Li +1
   Environmental Science · Engineering · #Mercury impact and mitigation studies #Environmental Toxicology and Ecotoxicology #Marine Biology and Environmental Chemistry