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
2025
2024
SPLASH
- Author of First announcement of SIGPLAN's John Vlissides award; Closing Remarks within the Doctoral Symposium-track
- Doctoral Symposium Chair in Organizing Committee
- Doctoral Symposium Chair of Welcome and Introduction within the Doctoral Symposium-track
- Committee Member in Review Committee within the OOPSLA 2024-track
- Doctoral Symposium Chair in Program Committee within the Doctoral Symposium-track
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