Shan Lu
Scholar

Shan Lu

Google Scholar ID: 5qSIhVkAAAAJ
Professor of Computer Science, University of Chicago
Computer SystemsSoftware ReliabilityProgram AnalysisConcurrency
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
Resume (English only)
Co-authors
57 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Wei Zhang
Wei Zhang
IBM T.J.Watson Research Center
Henry Hoffmann
Henry Hoffmann
Liew Family Chair of Computer Science, University of Chicago
Linhai Song
Linhai Song
Professor, Institute of Computing Technology, Chinese Academy of Sciences
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Harry Xu
Harry Xu
Professor of Computer Science, University of California, Los Angeles