Yuwei Liu
Scholar

Yuwei Liu

Google Scholar ID: 8hAHWa0AAAAJ
PhD student, Institute of Software Chinese Academy of Sciences
Computer ScienceSoftware and System Security
Google Scholar↗
Citations & Impact
All-time
Citations
259
 
H-index
6
 
i10-index
6
 
Publications
9
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
5 items
HarnessLLM: Rust Verification Harness Generation with Large Language Models
2026
Cited
0
KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
2026
Cited
0
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
2026
Cited
0
Deception by Design: A Temporal Dark Patterns Audit of McDonald's Self-Ordering Kiosk Flow
2026
Cited
0
Spatial Policy: Guiding Visuomotor Robotic Manipulation with Spatial-Aware Modeling and Reasoning
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Tiffany Bao
Tiffany Bao
Arizona State University
Co-author 4
Co-author 4
Chao Zhang
Chao Zhang
Tsinghua University
Yanhao Wang
Yanhao Wang
Independent Researcher