Aarti Gupta: Projects and Related Publications

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:

Related Papers

Network Verification and Synthesis

Minesweeper: in collaboration with Dave Walker and Ryan Beckett

Verification of Firmware-Hardware in Systems-on-chip (SoCs)

Instruction Level Abstraction (ILA): in collaboration with Sharad Malik group

Other Recent Publications