Aarti Gupta: Projects

SyLVer: Synthesis, Learning, and Verification

Algorithmic verification techniques have made tremendous progress by leveraging advancements in decision procedures based on SAT/SMT solvers. The project aims to develop techniques that improve their scalability for program verification and synthesis, by combining deductive learning with learning on data and examples.

The targeted applications include:

Verification of Program Security

Verification of Network Configurations