Alexander J. Summers

Registered user since Sun 21 Feb 2016

Name: Alexander J. Summers

Country: Canada

Affiliation: The University of British Columbia

Personal website: http://people.inf.ethz.ch/summersa/

Research interests: Software Verification, Programming Languages, Type Systems

Contributions

VMCAI 2021Committee Member in Program Committee within the VMCAI-track
FTfJP 2020Steering Committee Member in Steering Commitee within the FTfJP-track
Author of Prusti – Deductive Verification for Rust within the FTfJP-track
ECOOP 2021PC Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2020Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
FTfJP 2019Steering Committee Member in Steering Commitee within the FTfJP 2019-track
SPLASH 2019Author 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 2019Committee Member in External Review Committee within the Research Papers-track
TACAS 2019Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track
FTfJP 2018Program Chair in Program Committee within the FTfJP-track
PLDI 2018Committee Member in Student Research Competition Committee
IWACO 2016Committee Member in Program Committee within the IWACO-track
ECOOP and ISSTA 2018Mentor in Mentors within the Summer School-track
SPLASH 2017Committee Member in Program Committee within the Workshops-track
Committee Member in External Program Committee within the OOPSLA-track
FTfJP 2015Committee Member in Program committee within the FTfJP-track
ECOOP 2015Author 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 2013Committee Member in Program Committee within the OOPSLA-track
SPLASH 2011Author of Freedom Before Commitment : A Lightweight Type System for Object Initialisation within the OOPSLA-track