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


POPL 2022 Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions
VMCAI 2022 Session Chair of Model Checking (part of VMCAI 2022)
Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Show activities from other conferences

POPL 2022-profile
View general profile