Arie Gurfinkel - POPL 2022

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel

Country:Canada

Affiliation:University of Waterloo

Research interests:Model Checking, Program Analysis, Verification, Decision Procedures

Contributions

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