Scholar
Shan Lu
Google Scholar ID: 5qSIhVkAAAAJ
Professor of Computer Science, University of Chicago
Computer Systems
Software Reliability
Program Analysis
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
12,005
H-index
51
i10-index
100
Publications
20
Co-authors
57
list available
Contact
No contact links provided.
Publications
15 items
ExVerus: Verus Proof Repair via Counterexample Reasoning
2026
Cited
0
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
2026
Cited
0
VeruSAGE: A Study of Agent-Based Verification for Rust Systems
2025
Cited
0
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
2025
Cited
0
Performance Evaluation of an Integrated System for Visible Light Communication and Positioning Using an Event Camera
2025
Cited
0
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
2025
Cited
0
The Role of Excitatory Parvalbumin-positive Neurons in the Tectofugal Pathway of Pigeon (Columba livia) Hierarchical Visual Processing
2025
Cited
0
Distance Estimation in Outdoor Driving Environments Using Phase-only Correlation Method with Event Cameras
2025
Cited
0
Load more
Resume (English only)
Co-authors
57 total
Co-author 1
Co-author 2
Wei Zhang
IBM T.J.Watson Research Center
Henry Hoffmann
Liew Family Chair of Computer Science, University of Chicago
Linhai Song
Professor, Institute of Computing Technology, Chinese Academy of Sciences
Co-author 6
Co-author 7
Harry Xu
Professor of Computer Science, University of California, Los Angeles
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up