LabCompass

Guannan Wei

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Established · publishing since 1998Rising activity
Logic, programming, and type systemsComposite Structure Analysis and OptimizationImage and Signal Denoising MethodsAcoustic Wave Phenomena ResearchParallel Computing and Optimization Techniques

Publications

61

Citations

2,362

Est. group size

~3

Recurring co-author estimate

Active years

29

Publishing since 1998

Research summary
AI-generated

Guannan Wei works in programming languages and formal methods, focusing on how programs are structured, staged, and verified for correctness. Recent work examines multi-stage programming (generating and compiling code at different phases), semantics of WebAssembly execution, and formal verification techniques for smart contracts.

Programming languages and type systemsMulti-stage (generative) programmingProgram semantics and verificationWebAssembly compilationSmart contract correctness

Publication output has fluctuated over the past decade with some inactive years, but has been relatively steady with a modest increase in the most recent years (2023-2026).

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 2.6/year recently
172018: 1 publication182019: 5 publications5192020: 1 publication202021: 2 publications21222023: 5 publications5232024: 3 publications242025: 2 publications252026: 3 publications26
Recent publications
Publishes in
  • Proceedings of the ACM on Programming Languages×12
  • arXiv (Cornell University)×6
  • Lecture notes in computer science×1
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile