Projects

Sporq

Sporq is an interactive IDE extension that allows to explore code using query-by-example techniques. It offers an easy to use It offers a flexible, familiar and easy-to-use interface to allow developers to conveniently synthesize their own custom program analyzers over code.

GenSynth

GenSynth is a genetic algorithm which synthesizes Datalog queries given a set of input data and a (optionally partial) set of output data. Unlike most logic synthesis tools, GenSynth does not require language biases and can synthesize challenging problems with competitive performance.

Code2Inv

Code2Inv is a general end-to-end deep learning framework which learns a valid loop invariant for any given verification task. It is based on the Counter-Example Guided Inductive Synthesis (CEGIS) paradigm and leverages deep reinforcement learning to infer invariants in a manner similar to how a human expert would.