Alexander J. Summers

Registered user since Sun 21 Feb 2016

Name:Alexander J. Summers
Country:Canada
Affiliation:University of British Columbia (UBC)
Research interests:Software Verification, Programming Languages, Type Systems, SMT Solving, Static Analysis

Contributions

FTfJP 2021 Steering Committee Member in Steering Committee within the FTfJP-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
Session Chair of Decision Procedures (part of VMCAI)
FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
Author of Prusti – Deductive Verification for Rust within the FTfJP-track
ECOOP 2021 Session Chair of Modular Programming / Types (time band 1) (part of ECOOP Technical Papers)
PC Member in Program Committee within the ECOOP Technical Papers-track
SPLASH 2020 Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
FTfJP 2019 Steering Committee Member in Steering Commitee within the FTfJP 2019-track
SPLASH 2019 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
ECOOP 2019 Committee Member in External Review Committee within the Research Papers-track
TACAS 2019 Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track
FTfJP 2018 Program Chair in Program Committee within the FTfJP-track
PLDI 2018 Committee Member in Student Research Competition Committee
IWACO 2016 Committee Member in Program Committee within the IWACO-track
ECOOP and ISSTA 2018 Mentor in Mentors within the Summer School-track
SPLASH 2017 Committee Member in Program Committee within the Workshops-track
Committee Member in External Program Committee within the OOPSLA-track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track
ECOOP 2015 Author of Lightweight Support for Magic Wands in an Automatic Verifier within the Artifacts-track
Speaker of Software Verification "Across the Stack" within the Research Track-track
Author of Lightweight Support for Magic Wands in an Automatic Verifier within the Research Track-track
SPLASH 2013 Committee Member in Program Committee within the OOPSLA-track
SPLASH 2011 Author of Freedom Before Commitment : A Lightweight Type System for Object Initialisation within the OOPSLA-track