Sharon Shoham - POPL 2018

Registered user since Sun 21 Jun 2015

Name:Sharon Shoham

Country:Israel

Affiliation:Tel Aviv university

Research interests:formal verification, model checking, program analysis, synthesis

Contributions

POPL 2018	Reducing Liveness to Safety in First-Order Logic Reducing Liveness to Safety in First-Order Logic
NetPL 2018	Safety Verification of Stateful Networks
VMCAI 2018	Abstraction-Based Interaction Model for Synthesis
Show activities from other conferences