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 2023 Panel: Next 50 Years of POPL
VMCAI 2023 Towards a Theoretical Understanding of Property-Directed Reachability
Show activities from other conferences

POPL 2023-profile
View general profile