Alexander J. Summers - SPLASH 2021

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