Sharon Shoham

Registered user since Sun 21 Jun 2015

Name:Sharon Shoham
Affiliation:Tel Aviv University
Research interests:formal verification, model checking, program analysis, synthesis


POPL 2022 Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions
Show activities from other conferences

Using general profile