Efficient software model checking of soundness of type systems.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Faster symmetry discovery using sparsity of symmetries.
Proceedings of the 45th Design Automation Conference, 2008
Efficient software model checking of data structure properties.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Exploiting structure in symmetry detection for CNF.
Proceedings of the 41th Design Automation Conference, 2004