Paul T. Darga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | DAC | Faster symmetry discovery using sparsity of symmetries. | Paul T. Darga, Karem A. Sakallah, Igor L. Markov |
| 2008 | OOPSLA | Efficient software model checking of soundness of type systems. | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
| 2006 | OOPSLA | Efficient software model checking of data structure properties. | Paul T. Darga, Chandrasekhar Boyapati |
| 2004 | DAC | Exploiting structure in symmetry detection for CNF. | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |