Alexander J. Summers

Registered user since Sun 21 Feb 2016

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

Contributions

SPLASH 2022 Author of Fractional Resources in Unbounded Separation Logic within the OOPSLA-track
ECOOP 2022 Session Chair of Verification and Compilation (part of Research Papers)
Author of REST: Integrating Term Rewriting with Program Verification within the Research Papers-track
Panelist of Programming languages and semantics within the Expert Discussion-track
FTfJP 2022 Session Chair of FTfJP 2022 B (part of FTfJP)
Steering Committee Member in Steering Committee within the FTfJP-track
Committee Member in Organizing Committee within the FTfJP 2022-track
SPLASH 2021 Author of Rich Specifications for Ethereum Smart Contract Verification within the OOPSLA-track
Author of Modular Specification and Verification of Closures in Rust within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
FTfJP 2021 Steering Committee Member in Steering Committee 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
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
Session Chair of Decision Procedures (part of VMCAI)
SPLASH 2020 Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
Author of Prusti – Deductive Verification for Rust within the FTfJP-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-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
FTfJP 2019 Steering Committee Member in Steering Commitee within the FTfJP 2019-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
ECOOP and ISSTA 2018 Mentor in Mentors within the Summer School-track
PLDI 2018 Committee Member in Student Research Competition Committee
SPLASH 2017 Committee Member in Program Committee within the Workshops-track
Committee Member in External Program Committee within the OOPSLA-track
IWACO 2016 Committee Member in Program Committee within the IWACO-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
FTfJP 2015 Committee Member in Program committee within the FTfJP-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