Paul T. Darga

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati
Efficient software model checking of soundness of type systems. OOPSLA (2008)
Paul T. Darga, Karem A. Sakallah, Igor L. Markov
Faster symmetry discovery using sparsity of symmetries. DAC (2008)
Chandrasekhar Boyapati, Paul T. Darga
Efficient Software Model Checking of Data Structure Properties. Directed Model Checking (2006)
Paul T. Darga, Chandrasekhar Boyapati
Efficient software model checking of data structure properties. OOPSLA (2006)
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov
Exploiting structure in symmetry detection for CNF. DAC (2004)