Scholar
Guannan Wei
Google Scholar ID: b_6L2goAAAAJ
Tufts University
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
315
H-index
11
i10-index
14
Publications
20
Co-authors
18
list available
Publications
5 items
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
2026
Cited
0
The Next Challenge for Agentic Cybersecurity: A Realistic, Contamination-Free Reverse Engineering Benchmark
2026
Cited
0
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-Stage Programming with Let-Insertion (Extended Version)
2026
Cited
0
Escape with Your Self: A Solution to the Avoidance Problem with Decidable Bidirectional Typing for Reachability Types
2024
Cited
2
Modeling Reachability Types with Logical Relations
arXiv.org · 2023
Cited
3
Co-authors
12 total
Tiark Rompf
Purdue University
Oliver Bračevac
Engineer / Researcher at EPFL/LAMP
Songlin Jia
Purdue University
Shangyin Tan
PhD Student, UC Berkeley
Xiangyu Zhang
Samuel Conte Professor of Computer Science, Purdue University
ZHUO ZHANG
Assistant Professor, Columbia University
Guanhong Tao
Assistant Professor, University of Utah
Xiangzhe Xu
Purdue University
