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/

GitHub:https://github.com/alexanderjsummers

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