Exploiting structure in symmetry detection for CNF. - Paul T. Darga; Mark H. Liffiton; Karem A. Sakallah; Igor L. Markov (DAC, 2004)

Efficient software model checking of data structure properties. - Paul T. Darga; Chandrasekhar Boyapati (OOPSLA, 2006)

Faster symmetry discovery using sparsity of symmetries. - Paul T. Darga; Karem A. Sakallah; Igor L. Markov (DAC, 2008)

Efficient software model checking of soundness of type systems. - Michael Roberson; Melanie Harries; Paul T. Darga; Chandrasekhar Boyapati (OOPSLA, 2008)