Andrew Healy

According to our database, Andrew Healy authored at least 2 papers in 2016.

Collaborative distances:

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

2016

Predicting SMT Solver Performance for Software Verification.

Andrew Healy, Rosemary Monahan, James F. Power

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.

Andrew Healy, Rosemary Monahan, James F. Power

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016