Scholar
Alexander J. Summers
Google Scholar ID: q1bbqYEAAAAJ
The University of British Columbia
Software Verification
Programming Languages
Type Systems
SMT Solving
Static Analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,552
H-index
18
i10-index
26
Publications
20
Co-authors
32
list available
Publications
2 items
Modular Responsiveness Verification of Rust Async Runtimes
2026
Cited
0
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
2025
Cited
0
Co-authors
5 total
Peter Müller
ETH Zurich
Sophia Drossopoulou
Professor, Imperial College London
Adrian Francalanza
University of Malta
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Thomas Wies
New York University
