Patrick Doolan

According to our database, Patrick Doolan authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Improving the Scalability of Automatic Linearizability Checking in SPIN.

Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan

Proceedings of the Formal Methods and Software Engineering, 2017