Projects

AutoMerge

AutoMerge aims to resolve merge conflicts that cannot be resolved by existing structured merge approaches.

paper

Zord

Zord is a bounded model checker for concurrent programs. We propose a new ordering consistency theory for concurrent program verification under sequential consistency, and we elaborate its theory solver.