SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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 2021 Rich Specifications for Ethereum Smart Contract Verification
Modular Specification and Verification of Closures in Rust
Committee Member in Review Committee within the OOPSLA-track
Show activities from other conferences

Using general profile