Peter Senyao Du

According to our database, Peter Senyao Du authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.

Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011