Alexander J. Summers

Registered user since Sun 21 Feb 2016

Name: Alexander J. Summers

Affiliation: ETH Zurich

Personal website: http://people.inf.ethz.ch/summersa/wiki/index.php

Contributions

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 ISSTAMentor 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