Shuai Lu

Harbin University of Science and Technology — China

Computer Science · Physical Sciences

15h-index2.1kcitations54works3.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

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

Research Topics

Software Engineering Research(15), Topic Modeling(13), Software Testing and Debugging Techniques(9), Natural Language Processing Techniques(8), Bone health and osteoporosis research(4)

Publications54 total

AutoVerus: Automated Proof Generation for Rust Code
Proceedings of the ACM on Programming Languages·2025· 3 citedOpen Access
Design and Experimental Demonstration of an Integrated Sensing and Communication System for Vital Sign Detection
Sensors·2025· 2 citedOpen Access
Fluid thermal coupling analysis of double-layer cooled coaxial powder feeder laser sinter
Journal of Thermal Stresses·2025
Effects of Surfactants on Microstructure and Performance of Ni Coatings via Cathodic Plasma Electrolytic Deposition
Journal of Materials Engineering and Performance·2025
Early detection for elderly people with musculoskeletal aging related diseases based on artificial intelligence model
2025Open Access
Global knowledge mapping of receptor activator of nuclear factor kappa-B ligand in osteoporotic fractures: a bibliometric analysis (2001–2024)
Frontiers in Molecular Biosciences·2025· 1 citedOpen Access
Effect of Austenitizing Temperature on Microstructure and Wear Resistance of Hot Work Die Steels with Different Silicon Content
steel research international·2025Open Access
Hydrogen Permeation and Hydrogen Embrittlement Behavior of GPa‐Grade Hot‐Rolled Transformation‐Induced Plasticity Steels under Different Coiling Temperatures
steel research international·2024
Automated Proof Generation for Rust Code via Self-Evolution
ArXiv.org·2024Open Access
Contextualized Data-Wrangling Code Generation in Computational Notebooks
2024· 4 citedOpen Access
Development and Prospect of Space Debris Protection Structures for Spacecraft
Recent Patents on Engineering·2024
AutoVerus: Automated Proof Generation for Rust Code
arXiv (Cornell University)·2024· 1 citedOpen Access
Review of Cathode Plasma Electrolysis Treatment: Progress, Applications, and Advancements in Metal Coating Preparation
Materials·2024· 9 citedOpen Access
Influence of impurity content on corrosion behavior of Al-Zn-Mg-Cu alloys in a tropical marine atmospheric environment
Corrosion Science·2024· 24 cited
Inter- and trans-generational impacts of real-world PM2.5 exposure on male-specific primary hypogonadism
Cell Discovery·2024· 18 citedOpen Access
Development and Outlook for the FDM Printed Nozzle Structure
Recent Patents on Engineering·2024
Development and Outlook for Pipeline Inspection Robots
Recent Patents on Engineering·2024· 1 cited
Effect of ultrasound assistance on the mechanical performance and corrosion resistance of Zn-Ni coatings produced by cathode plasma electrolysis deposition
Surface and Coatings Technology·2024· 9 cited
Economical Operation and Control Methods of Diesel Generators and Battery Energy Storage Hybrid Power Systems
2024
Selene: Pioneering Automated Proof in Software Verification
arXiv (Cornell University)·2024Open Access
page 1 of 3Next →

Frequent Co-authors

Nan Duan(14), Neel Sundaresan(10), A. Svyatkovskiy(8), Daxin Jiang(8), Daya Guo(7), Duyu Tang(7), Colin B. Clement(6), Dawn Drain(6), Michele Tufano(6), Yejun Zha(6), Linjun Shou(5), Long Zhou(5), Ming Gong(5), Zhi Jin(5), Maoqi Gong(5), Shuo Ren(4), Ge Li(4), Ming Zhou(4), Sheng‐Yu Fu(4), Shujie Liu(4)