Roy Tan

According to our database, Roy Tan authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Line-up: a complete and automatic linearizability checker.

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010