Arie Gurfinkel

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel
Affiliation:University of Waterloo
Research interests:Model Checking, Program Analysis, Verification, Decision Procedures


VMCAI 2022 Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
POPL 2022 Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions
Show activities from other conferences

Using general profile