Di Wang

Minzu University of China — China

Computer Science · Physical Sciences

19h-index997citations115works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Cloud Computing and Resource Management(20), Parallel Computing and Optimization Techniques(19), Formal Methods in Verification(18), Logic, programming, and type systems(12), Software Testing and Debugging Techniques(12)

Publications115 total

Tuning Electrochemiluminescence Color Through Single Molecular Crystals
Advanced Functional Materials·2026
Identification and Characterization of the CRY Gene Family Involved in Safflower Flavonoid Biosynthesis
Agriculture·2026Open Access
Application of Attention Mechanism Models in the Identification of Oil–Water Two-Phase Flow Patterns
Processes·2026Open Access
Inferring Typing Rules for Contextual Sugars
2026
Deep multi-view clustering algorithm with integrated auto-encoder and non-negative matrix factorization
Applied Soft Computing·2026
Gumbel Sparse Attention Spatio-Temporal Network: A framework for traffic risk prediction
Advanced Engineering Informatics·2026
Numerical investigation of PCF-based biosensor for pathologies detection in blood
Sensing and Bio-Sensing Research·2026Open Access
Adaptive sampling for optimized sensor placement in sound field reconstruction
The Journal of the Acoustical Society of America·2026
Power Expansion Planning Considering Source-Load Side Influence of Heat Waves and Cold Waves
2025
TLV-HGNN: Thinking Like a Vertex for Memory-Efficient HGNN Inference
2025
Composable Effect Handling for Programming LLM-Integrated Scripts
2025Open Access
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
2025· 1 citedOpen Access
Probability Modeling of Distribution Network Equipment Failure Based on Finite Element Simulation Fault Mechanism Analysis
2025
Research and Implementation of Image Recognition for Lego Figures Based on Deep Learning
2025
A global collaborative scheduling method for embedded artificial intelligence task offloading in a multi-cloud environment
CCF Transactions on Pervasive Computing and Interaction·2025
PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
arXiv (Cornell University)·2025Open Access
Hunyuan-Game: Industrial-grade Intelligent Game Creation Model
arXiv (Cornell University)·2025Open Access
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Proceedings of the ACM on Programming Languages·2025Open Access
C*: Unifying Programming and Verification in C
arXiv (Cornell University)·2025Open Access
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
arXiv (Cornell University)·2025Open Access
page 1 of 6Next →

Frequent Co-authors

Jan Hoffmann(11), Anand Sivasubramaniam(10), Sriram Govindan(8), Thomas Reps(8), Bhuvan Urgaonkar(7), Ahmad Alrubaie(4), Chuangang Ren(3), Aman Kansal(3), Bixin Li(3), Dimitrios Stamoulis(2), Ruizhou Ding(2), Dimitrios Lymberopoulos(2), Bodhi Priyantha(2), Jie Liu(2), Diana Marculescu(2), Xiao‐Jun Zeng(2), John Keane(2), Kushagra Vaid(2), Yingfei Xiong(2), Lu Zhang(2)