Paul T. Darga

According to our database, Paul T. Darga authored at least 4 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Efficient software model checking of soundness of type systems.

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Faster symmetry discovery using sparsity of symmetries.

Paul T. Darga, Karem A. Sakallah, Igor L. Markov

Proceedings of the 45th Design Automation Conference, 2008

2006

Efficient Software Model Checking of Data Structure Properties.

Chandrasekhar Boyapati, Paul T. Darga

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

2004

Exploiting structure in symmetry detection for CNF.

Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov

Proceedings of the 41th Design Automation Conference, 2004