conf.researchr.org / Alexander J. Summers
Registered user since Sun 21 Feb 2016
Name:Alexander J. Summers
Country:Canada
Affiliation:University of British Columbia
Personal website: https://www.cs.ubc.ca/~alexsumm/
Research interests:Software Verification, Programming Languages, Type Systems, SMT Solving, Static Analysis
Contributions
2023
2022
ECOOP
2021
SPLASH
ECOOP
2020
FTfJP
2019
SPLASH
- Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track
- Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track
- Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track
- Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track