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

Minesweeper: in collaboration with Dave Walker and Ryan Beckett

Security of Firmware-Hardware

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

Other Recent Publications